Ssreflect Users Discussion List

[Christian Neukirchen <>]

Hello,

in order to build ssreflect with the current camlp5 6.05, I had to build
camlp5 with -transitional and apply this tiny patch.


diff -aur ssreflect-1.3pl2.orig/src/ssreflect.ml 
ssreflect-1.3pl2/src/ssreflect.ml
--- ssreflect-1.3pl2.orig/src/ssreflect.ml      2011-11-21 15:20:53.000000000 
+0100
+++ ssreflect-1.3pl2/src/ssreflect.ml   2012-03-20 16:36:25.859060780 +0100
@@ -2683,8 +2683,8 @@
     try tac gl
     with 
     | UserError (l, s) -> raise (UserError (l, prefix i ++ s))
-    | Stdpp.Exc_located(loc, UserError (l, s))  -> 
-        raise (Stdpp.Exc_located(loc, UserError (l, prefix i ++ s))) in
+    | Compat.Exc_located(loc, UserError (l, s))  -> 
+        raise (Compat.Exc_located(loc, UserError (l, prefix i ++ s))) in
   let rec loop i gl =
     if i = n then tac_err_at i gl else
     (tclTHEN (tac_err_at i) (loop (i + 1))) gl in


I hope this helps others in the same situation,
-- 
Christian Neukirchen  <>  http://chneukirchen.org