Enable builtin list syntax in the standard library (#2282)

anoma · Aug 8, 2023 · 9718433 · 9718433
1 parent 98b3621
commit 9718433
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 9 deletions.
diff --git a/juvix-stdlib b/juvix-stdlib
diff --git a/tests/Compilation/positive/test059.juvix b/tests/Compilation/positive/test059.juvix
@@ -1,14 +1,7 @@
 -- builtin list
 module test059;
 
-import Stdlib.Data.Nat open;
-import Stdlib.System.IO open;
-
-syntax infixr 5 ::;
-builtin list
-type List (a : Type) :=
-  | nil : List a
-  | :: : a → List a → List a;
+import Stdlib.Prelude open hiding {head};
 
 mylist : List Nat;
 mylist := [1; 2; 3 + 1];