GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-02 23:25:03 +03:00
Code Issues Projects Releases Wiki Activity

Fix fragile tests

Browse Source
This commit is contained in:
Rob Dockins 2020-07-02 16:05:38 -07:00
parent 39eec9c90b
commit a4b137da4a
4 changed files with 13 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
tests/issues/T146.icry.stdout
View File

@ -3,14 +3,14 @@ Loading module Cryptol
Loading module Main
[error] at T146.cry:1:18--6:10:
The type ?fv`955 is not sufficiently polymorphic.
It cannot depend on quantified variables: fv`939
The type ?fv`958 is not sufficiently polymorphic.
It cannot depend on quantified variables: fv`942
where
?fv`955 is type argument 'fv' of 'Main::ec_v1' at T146.cry:4:19--4:24
fv`939 is signature variable 'fv' at T146.cry:11:10--11:12
?fv`958 is type argument 'fv' of 'Main::ec_v1' at T146.cry:4:19--4:24
fv`942 is signature variable 'fv' at T146.cry:11:10--11:12
[error] at T146.cry:5:19--5:24:
The type ?fv`957 is not sufficiently polymorphic.
It cannot depend on quantified variables: fv`939
The type ?fv`960 is not sufficiently polymorphic.
It cannot depend on quantified variables: fv`942
where
?fv`957 is type argument 'fv' of 'Main::ec_v2' at T146.cry:5:19--5:24
fv`939 is signature variable 'fv' at T146.cry:11:10--11:12
?fv`960 is type argument 'fv' of 'Main::ec_v2' at T146.cry:5:19--5:24
fv`942 is signature variable 'fv' at T146.cry:11:10--11:12

1
tests/issues/issue226.icry.stdout
View File

@ -160,6 +160,7 @@ Symbols
negate : {a} (Ring a) => a -> a
number : {val, rep} (Literal val rep) => rep
or : {n} (fin n) => [n] -> Bit
parmap : {a, b, n} (fin n) => (a -> b) -> [n]a -> [n]b
pdiv : {u, v} (fin u, fin v) => [u] -> [v] -> [u]
pmod : {u, v} (fin u, fin v) => [u] -> [1 + v] -> [v]
pmult :

4
tests/issues/issue290v2.icry.stdout
View File

@ -4,9 +4,9 @@ Loading module Main
[error] at issue290v2.cry:2:1--2:19:
Unsolved constraints:
• n`936 == 1
• n`939 == 1
arising from
checking a pattern: type of 1st argument of Main::minMax
at issue290v2.cry:2:8--2:11
where
n`936 is signature variable 'n' at issue290v2.cry:1:11--1:12
n`939 is signature variable 'n' at issue290v2.cry:1:11--1:12

4
tests/issues/issue723.icry.stdout
View File

@ -10,9 +10,9 @@ Loading module Main
assuming
• fin k
the following constraints hold:
• k == n`936
• k == n`939
arising from
matching types
at issue723.cry:7:17--7:19
where
n`936 is signature variable 'n' at issue723.cry:1:6--1:7
n`939 is signature variable 'n' at issue723.cry:1:6--1:7