test

Author: gares

tests/sources/dune

@@ -15,4 +15,5 @@
 (executable (name sepcomp_perf5) (modules sepcomp_perf5) (libraries sepcomp))
 (executable (name sepcomp_tyid)  (modules sepcomp_tyid)  (libraries sepcomp))
 (executable (name sepcomp_tyid2)  (modules sepcomp_tyid2)  (libraries sepcomp))
-(executable (name sepcomp_hover)  (modules sepcomp_hover)  (libraries sepcomp))
+(executable (name sepcomp_hover)  (modules sepcomp_hover)  (libraries sepcomp))
+(executable (name sepcomp_extend_sig)  (modules sepcomp_extend_sig)  (libraries sepcomp))

tests/sources/sepcomp_extend_sig.ml

@@ -0,0 +1,28 @@
+let u = {|
+
+pred p i:int.
+p 2 :- !, fail.
+
+|}
+;;
+
+let v = {|
+
+p _.
+
+main :- p 2.
+
+|}
+;;
+
+let () =
+  let open Sepcomp.Sepcomp_template in
+  let elpi = init () in
+  let flags = Elpi.API.Compile.default_flags in
+  let base = Elpi.API.Compile.empty_base ~elpi in
+  let _, u = cc ~elpi ~flags ~base 0 u in
+  let su = signature_of u in
+  let p = extend_signature ~flags ~base su in
+  let p, _ = cc ~elpi ~flags ~base:p 0 v in
+  let q = query ~elpi p in
+  exec q

tests/sources/sepcomp_template.ml

@@ -11,6 +11,10 @@ let cc ~elpi ~flags ~base i u =
         (Lexing.from_string u))) in
   Compile.extend ~flags ~base u, u
 
+let signature_of u = Compile.signature u
+
+let extend ~flags ~base u = Compile.extend ~flags ~base u
+let extend_signature ~flags ~base u = Compile.extend_signature ~flags ~base u
 
 let check q =
   ()

tests/suite/elpi_api.ml

@@ -66,3 +66,9 @@ let () = declare "sepcomp_hover"
   ~expectation:Test.Success
   ()
 
+let () = declare "sepcomp_extend_sig"
+  ~source_dune:"sepcomp_extend_sig.exe"
+  ~description:"extend unit with signature"
+  ~expectation:Test.Success
+  ()
+