GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-08-16 17:30:27 +03:00
Code Issues Projects Releases Wiki Activity

Update tests outputs

Browse Source
This commit is contained in:
Rob Dockins 2021-02-10 14:50:01 -08:00
parent 2a2ec6e020
commit 5f269dd628
3 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tests/issues/issue322.icry.stdout
View File

@ -1,4 +1,5 @@
Loading module Cryptol
[error] at issue322.icry:1:5--1:10:
Named and positional type applications may not be mixed.
Parse error at issue322.icry:1:4--1:19
Explicit type applications can only be applied to named values.
Unexpected: (split`{a = [3]})

2
tests/issues/issue845.icry.stdout
View File

@ -6,7 +6,7 @@ Loading module Main
[warning] at issue845.cry:1:9--1:24:
Assuming m to have a numeric type
[error] at issue845.cry:2:1--2:18:
[error] at issue845.cry:2:1--2:37:
Failed to validate user-specified signature.
in the definition of 'Main::rfrac', at issue845.cry:2:1--2:6,
we need to show that

5
tests/regression/tc-errors.icry.stdout
View File

@ -33,8 +33,9 @@ Loading module Cryptol
Parse error at tc-errors.icry:6:8,
unexpected: ,
[error] at tc-errors.icry:7:1--7:5:
Named and positional type applications may not be mixed.
Parse error at tc-errors.icry:7:1--7:10
Explicit type applications can only be applied to named values.
Unexpected: take`{1}
[error] at tc-errors.icry:8:1--8:5:
Type mismatch: