GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-15 10:46:37 +03:00
Code Issues Projects Releases Wiki Activity

Fix test output for #146.

Browse Source
This commit is contained in:
Brian Huffman 2018-06-20 14:57:54 -07:00
parent ae091dbaa9
commit bae811376c
2 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/issues/T146.icry.fails
View File

@ -1,2 +0,0 @@
Known problem. See #146.
See also #323, which seems to be another instance of the same problem.

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

@ -0,0 +1,16 @@
Loading module Cryptol
Loading module Cryptol
Loading module Main
[error] at ./T146.cry:1:18--6:10:
The type ?r33 is not sufficiently polymorphic.
It cannot depend on quantified variables: a`862
where
?r33 is type of field 'v1'
at ./T146.cry:3:9--6:10
[error] at ./T146.cry:5:19--5:24:
The type ?s33 is not sufficiently polymorphic.
It cannot depend on quantified variables: a`862
where
?s33 is type of field 'v2'
at ./T146.cry:3:9--6:10