Commit 6866537a authored by charguer's avatar charguer

demos

parent c81b8483
......@@ -135,7 +135,7 @@ let app_partial_add () =
let app_partial_appto () =
let appto x f = f x in
appto 3 ((+) 1);
let r = appto 3 ((+) 1) in
appto 3 (fun x -> x + 1)
let test_partial_app_arities () =
......@@ -184,7 +184,7 @@ let match_term_when () =
| _ -> 3
let match_nested () =
let l = [ (1,1), (0,0), (2,2) ] in
let l = [ (1,1); (0,0); (2,2) ] in
match l with
| _::(0,0)::q -> q
| _ -> []
......@@ -199,9 +199,10 @@ let exn_assert_false () =
let exn_failwith () =
failwith "ok"
exception my_exn
exception My_exn
let exn_raise () =
raise my_exn
raise My_exn
(********************************************************************)
......
......@@ -57,7 +57,7 @@ endif
OCAMLBUILD := \
$(OCAMLBIN)ocamlbuild \
-I ocamllib \
-classic-display -use-ocamlfind -cflags "-g" -lflags "-g" -X .coq-native \
-classic-display -use-ocamlfind -cflags "-g" -lflags "-g" -X ocamllib -X .coq-native \
$(OCAMLBUILD_FLAGS) \
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment