From fd6d331805a1f82352d808431580eea2c319f991 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Tue, 28 Jan 2014 14:03:14 +0100
Subject: [PATCH] Add lambdas for partial constructor application

---
 coalgcompare.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/coalgcompare.ml b/coalgcompare.ml
index e7f5363..8f2ad95 100644
--- a/coalgcompare.ml
+++ b/coalgcompare.ml
@@ -145,8 +145,8 @@ let doTestK () : testresults =
   let timeout = 300 in (* 5 minutes *)
   let lF = List.map (fun p -> (string_of_int p, 1)) (0--10) in
   let lFF = [((fun x -> C.NOT x),1)] in
-  let lFFF = [(C.AND,1),(C.OR,1)] in
-  let lPFF = [(C.EX,1),(C.AX,1)] in
+  let lFFF = [((fun x y -> C.AND x y),1), ((fun x y -> C.OR x y),1)] in
+  let lPFF = [(fun p f -> C.EX p f,1),(fun p f -> C.AX p f,1)] in
   (* role names *)
   let lP = List.map (fun p -> (string_of_int p, 1)) (0--10) in
   let lPP = [] in
-- 
GitLab