Update tests

GaloisInc · Sep 29, 2020 · 2d2e2b9 · 2d2e2b9
1 parent da2e2c5
commit 2d2e2b9
Show file tree

Hide file tree

Showing 3 changed files with 92 additions and 96 deletions.
diff --git a/tests/issues/issue226.icry.stdout b/tests/issues/issue226.icry.stdout
@@ -55,6 +55,7 @@ Primitive Types
     lengthFromThenTo : # -> # -> # -> #
     max : # -> # -> #
     min : # -> # -> #
+    prime : # -> Prop
     Rational : *
     Ring : * -> Prop
     Round : * -> Prop

diff --git a/tests/regression/instance.cry b/tests/regression/instance.cry
@@ -198,6 +198,10 @@ fieldRational = recip
 fieldFloat : {e, p} (ValidFloat e p) => Float e p -> Float e p
 fieldFloat = recip
 
+/** instance (prime p) => Field (Z p) */
+fieldZ : {p} prime p => Z p -> Z p
+fieldZ = recip
+
 ////////////////////////////////////////////////////////////////////////////////
 // Round