[Caml-list] Assert fail in partial application

[Caml-list] Assert fail in partial application

[Diego Olivier Fernandez Pons]

    Bonjour,

I would like a function that contains an assert to fail in partial
application and the test are still removed when compiling in noassert
mode

# let f = fun x y -> assert (x > 0); assert (y > 0); x + y
val f : int -> int -> int
# f 0;;
- : int -> int = <fun>
# f 0 0;;
Exception: Assert_failure (" ", 1, 19).

        Diego Olivier



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Assert fail in partial application

[Basile Starynkevitch [local]]

Hello All,

On Thu, Jun 10, 2004 at 10:43:06AM +0200, Diego Olivier Fernandez Pons wrote:
> 
> I would like a function that contains an assert to fail in partial
> application and the test are still removed when compiling in noassert
> mode
> 
> # let f = fun x y -> assert (x > 0); assert (y > 0); x + y
> val f : int -> int -> int
> # f 0;;
> - : int -> int = <fun>
> # f 0 0;;
> Exception: Assert_failure (" ", 1, 19).
> 

assert is only a syntactical sugar for if <asserted-condition> then ()
else raise Assert_failure (<sourcefileposition>)

You might try to code

let f = fun x -> 
     begin 
       assert(x>0);
       fun y -> begin
         assert(y>0);
         x + y
       end
     end;;


# f 0;;
Exception: Assert_failure ("", 4, 7).
# f 1;;
- : int -> int = <fun>
# f 1 2;;
- : int = 3
# f 1 0;;
Exception: Assert_failure ("", 6, 9).

Assert has nothing magic (except that it passes the file position to
the Assert+failure exception). It could be implemented as a camlp4
macro.


Regards.
-- 
Basile STARYNKEVITCH -- basile dot starynkevitch at inria dot fr
Project cristal.inria.fr - (temporarily)
http://cristal.inria.fr/~starynke --- all opinions are only mine 

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Assert fail in partial application

[Benjamin Monate]

Bonjour,

Diego Olivier Fernandez Pons wrote:
> I would like a function that contains an assert to fail in partial
> application and the test are still removed when compiling in noassert
> mode
> 
> # let f = fun x y -> assert (x > 0); assert (y > 0); x + y
> val f : int -> int -> int
> # f 0;;
> - : int -> int = <fun>
> # f 0 0;;
> Exception: Assert_failure (" ", 1, 19).

What about :

         Objective Caml version 3.07+2

# let f x = assert (x>0) ; fun y -> assert (y>0) ; x+y;;
val f : int -> int -> int = <fun>
# f 0;
   ;;
Exception: Assert_failure ("", 1, 10).
# f 2 0 ;;
Exception: Assert_failure ("", 1, 34).

Hope this helps
-- 
| Benjamin Monate

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Assert fail in partial application

[Olivier Andrieu]

 Diego Olivier Fernandez Pons [Thu, 10 Jun 2004]:
 >     Bonjour,
 > 
 > I would like a function that contains an assert to fail in partial
 > application and the test are still removed when compiling in noassert
 > mode
 > 
 > # let f = fun x y -> assert (x > 0); assert (y > 0); x + y
 > val f : int -> int -> int
 > # f 0;;
 > - : int -> int = <fun>
 > # f 0 0;;
 > Exception: Assert_failure (" ", 1, 19).

nothing specific to assert here, regular partial application works:

# let f = fun x -> assert (x > 0) ; fun y -> assert (y > 0) ; x + y ;;
val f : int -> int -> int = <fun>
# f 0 ;;
Exception: Assert_failure ("", 1, 17).

-- 
   Olivier

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Assert fail in partial application

[Christophe TROESTLER]

On Thu, 10 Jun 2004, Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@etu.upmc.fr> wrote:
> 
> let f = fun x y -> assert (x > 0); assert (y > 0); x + y

let f = fun x -> assert (x > 0); fun y -> assert (y > 0); x + y;;

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Assert fail in partial application

[Diego Olivier Fernandez Pons]

    Bonjour,

> You might try to code [...]

My question wasn't correctly formulated. What I want is :

#if defined DEBUGMODE
let f = function x -> ... [explicit partial application]
#else
let f = fun x y -> ...
#endif

        Diego Olivier


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Assert fail in partial application

[Richard Jones]

On Thu, Jun 10, 2004 at 11:15:54AM +0200, Diego Olivier Fernandez Pons wrote:
>     Bonjour,
> 
> > You might try to code [...]
> 
> My question wasn't correctly formulated. What I want is :
> 
> #if defined DEBUGMODE
> let f = function x -> ... [explicit partial application]
> #else
> let f = fun x y -> ...
> #endif

You can preprocess with cpp, or camlp4's pa_ifdef.

See this example:

http://pauillac.inria.fr/~aschmitt/cwn/2003.09.02.html#4

Rich.

-- 
Richard Jones. http://www.annexia.org/ http://www.j-london.com/
Merjis Ltd. http://www.merjis.com/ - improving website return on investment
"One serious obstacle to the adoption of good programming languages is
the notion that everything has to be sacrificed for speed. In computer
languages as in life, speed kills." -- Mike Vanier

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Assert fail in partial application

[Brian Hurt]

On Thu, 10 Jun 2004, Diego Olivier Fernandez Pons wrote:

>     Bonjour,
> 
> I would like a function that contains an assert to fail in partial
> application and the test are still removed when compiling in noassert
> mode
> 
> # let f = fun x y -> assert (x > 0); assert (y > 0); x + y
> val f : int -> int -> int
> # f 0;;
> - : int -> int = <fun>
> # f 0 0;;
> Exception: Assert_failure (" ", 1, 19).

This seems to work:

# let f x = assert (x > 0); fun y -> x + y;;
val f : int -> int -> int = <fun>
# f 0;;
Exception: Assert_failure ("", 1, 10).
#

-- 
"Usenet is like a herd of performing elephants with diarrhea -- massive,
difficult to redirect, awe-inspiring, entertaining, and a source of
mind-boggling amounts of excrement when you least expect it."
                                - Gene Spafford 
Brian

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Assert fail in partial application

[Jean-Christophe Filliatre]

Basile Starynkevitch [local] writes:
 > 
 > Assert has nothing magic (except that it passes the file position to
 > the Assert+failure exception). It could be implemented as a camlp4
 > macro.

Apart from "assert false" which has a special typing rule (it has type
'a  not  unit) and  a  special  compilation  (cannot be  removed  when
-noassert is set).

-- 
Jean-Christophe

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Assert fail in partial application

[Damien Doligez]

On Jun 17, 2004, at 10:32, Jean-Christophe Filliatre wrote:

> Basile Starynkevitch [local] writes:
>>
>> Assert has nothing magic (except that it passes the file position to
>> the Assert+failure exception). It could be implemented as a camlp4
>> macro.
>
> Apart from "assert false" which has a special typing rule (it has type
> 'a  not  unit) and  a  special  compilation  (cannot be  removed  when
> -noassert is set).

Both features can be easily implemented with camlp4.  The real problem
in implementing assert within camlp4 is the fact that the asserted
condition is typechecked even if -noassert is set, although this is
not an unsolvable problem.

-- Damien

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners