Implement a basic test for "coq.env.query-extra-dep"

LPCIC · Oct 21, 2023 · 6b65ec9 · 6b65ec9
1 parent ace0641
commit 6b65ec9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tests/test_query_extra_dep.v b/tests/test_query_extra_dep.v
@@ -0,0 +1,5 @@
+From elpi Require Import elpi.
+
+From elpi.apps.NES Extra Dependency "nes.elpi" as nes.
+
+Elpi Query lp:{{ coq.env.query-extra-dep "nes" File }}.