Add test using the new valid symbols

anoma · Jul 18, 2022 · e88b487 · e88b487
1 parent bf435d6
commit e88b487
Show file tree

Hide file tree

Showing 2 changed files with 37 additions and 1 deletion.
diff --git a/test/Scope/Positive.hs b/test/Scope/Positive.hs
@@ -199,5 +199,10 @@ tests =
       "Import embedded standard library"
       "StdlibImport"
       StdlibInclude
-      "StdlibImport.juvix"
+      "StdlibImport.juvix",
+    PosTest
+      "Check Valid Symbols"
+      ""
+      StdlibInclude
+      "Symbols.juvix"
   ]
diff --git a/tests/positive/Symbols.juvix b/tests/positive/Symbols.juvix
@@ -0,0 +1,31 @@
+module Symbols;
+
+  open import Stdlib.Data.Nat;
+
+  ╘⑽╛ : ℕ;
+  ╘⑽╛ ≔ suc nine;
+
+   -- no - function!?
+   - : ℕ -> ℕ -> ℕ;
+   - ≔ (+);
+
+  （-） : ℕ -> ℕ -> ℕ;
+  （-） ≔ (-);
+
+  （*） : ℕ -> ℕ -> ℕ;
+  （*） ≔ (*);
+
+  infixl 6 －;
+  － : ℕ -> ℕ -> ℕ;
+  － ≔ （-）;
+
+  infixl 7 ·;
+  · : ℕ -> ℕ -> ℕ;
+  · ≔ （*）;
+
+  （0） : ℕ;
+  （0） ≔ ╘⑽╛ － ╘⑽╛ · zero;
+
+  主功能 : ℕ;
+  主功能 ≔ （0）;
+end;