Added second problem with bombs and pacmans: it works!

[fireball-separation.git] / ocaml / problems.ml

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index 2a99a5c09180cb679a8cfe6dba65f738146526f7..b604231c89bae9fb0be52c3b78abe940720953d7 100644 (file)
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -334,9 +334,14 @@ let n3 () = magic_conv
 "g e f (f (k. f) (f (k. f) (k. l. f)) (c d e b)) (f (k. f) (k. f) (k. l. l) b) (f (k. h)) (c d e (f i) (e e) (g e) (k. l. e)) (f (k. f) f) (f (k. f) (k. f) (k. l. l) (c (k. i (l. c (c d e f))))) a";
 ] ["*"];;
 
-(* main ([p34]);; *)
+(* ************************************************************************** *)
 
-main ([
+let o1 () = magic_conv None [] ["x a b"; "x (_. BOT) c"] ["*"];;
+let o2 () = magic_conv None [] ["x (y (_. BOT) a) c"; "x (y a PAC) d"] ["*"];;
+
+main [o1() ; o2() ];;
+
+(* main ([
  p2 ; p4 ; p5 ; p6 ; p7 ; p8 ; p9 ; p10 ; p11 ; p12 ; p13 ;
  p14 ; p15 ; p16 ; p17 ; p18 ; p19 ; p20 ; p21 ; p22 ; p23 ;
  p24 ; p25 ; p26 ; p27 ; p28 ; p29 ; p30 ; p31 ; p32 ; p33 ;
@@ -358,4 +363,4 @@ main ([
  n1 ;
  n2 ;
  n3
-]));;
+]));; *)