test

Author: gares

tests/test_detcheck.v

@@ -9,9 +9,10 @@ kind f type -> type.
 kind s type.
 typeabbrev pstring (f s).
 /*)*/}}.
-Elpi Accumulate foo File buggy_inline.
-Elpi Accumulate Db foo.
+Fail Elpi Accumulate foo File buggy_inline.
+(* Elpi Accumulate Db foo.
 Elpi Query lp:{{/*(*/
   coq.string->pstring "x" Primx,
-  coq.elpi.accumulate _ "foo" (clause _ _ (test Primx)).
-/*)*/}}.
+  X = test Primx,
+  coq.elpi.accumulate _ "foo" (clause _ _ X).
+/*)*/}}. *)