<NME> superclass.cry
<BEF> ADDFILE
<MSG> Make test binary translate and check some additional cryptol code.

The extra cryptol code comprises two files:
  * superclass.cry
  * instance.cry

These two files are copied from tests/regression in the cryptol
repository, and are intended to test all the implicit subclass
relationships and class instance rules of cryptol.

<DFF> @@ -0,0 +1,32 @@
+zeroRing : {a} (Ring a) => a
+zeroRing = zero
+
+zeroLogic : {a} (Logic a) => a
+zeroLogic = zero
+
+zeroIntegral : {a} (Integral a) => a
+zeroIntegral = zero
+
+zeroField : {a} (Field a) => a
+zeroField = zero
+
+zeroRound : {a} (Round a) => a
+zeroRound = zero
+
+fromIntIntegral : {a} (Integral a) => a
+fromIntIntegral = fromInteger 42
+
+fromIntField : {a} (Field a) => a
+fromIntField = fromInteger 42
+
+fromIntRound : {a} (Round a) => a
+fromIntRound = fromInteger 42
+
+recipRound : {a} (Round a) => a -> Integer
+recipRound x = trunc (recip x)
+
+compareRound : {a} (Round a) => a -> a -> Bit
+compareRound x y = x < y
+
+eqCmp : {a} (Cmp a) => a -> a -> Bit
+eqCmp x y = x == y

{'addition_count': 32, 'commit_subject': 'Make test binary translate and check some additional cryptol code.', 'deletion_count': 0, 'file_extension': '.cry', 'lang': 'cry', 'license': 'bsd-3-clause', 'repo_name': 'GaloisInc/saw-script'}