mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-11-13 10:58:23 +03:00
fix remaining tests
This commit is contained in:
parent
2c179b1694
commit
2a8f7557e8
@ -10,4 +10,5 @@ Testing... ERROR for the following inputs:
|
||||
invalid sequence index: 1
|
||||
-- Backtrace --
|
||||
(Cryptol::@) called at issue103.icry:2:11--2:21
|
||||
<interactive>::f called at issue103.icry:3:9--3:10
|
||||
<interactive>::it called at issue103.icry:3:8--3:23
|
||||
|
4
tests/issues/issue565.icry.stdout.mingw32
Normal file
4
tests/issues/issue565.icry.stdout.mingw32
Normal file
@ -0,0 +1,4 @@
|
||||
Loading module Cryptol
|
||||
|
||||
Parse error at issue565\I.cry:3:8--3:9
|
||||
Backtick module imports are no longer supported.
|
4
tests/modsys/T12.icry.stdout.mingw32
Normal file
4
tests/modsys/T12.icry.stdout.mingw32
Normal file
@ -0,0 +1,4 @@
|
||||
Loading module Cryptol
|
||||
|
||||
Parse error at T12\Main.cry:4:8--4:9
|
||||
Instantiation of a parameterized module may not itself be parameterized
|
11
tests/modsys/T3.icry.stdout.mingw32
Normal file
11
tests/modsys/T3.icry.stdout.mingw32
Normal file
@ -0,0 +1,11 @@
|
||||
Loading module Cryptol
|
||||
Loading module Cryptol
|
||||
Loading interface module T3::A$interface
|
||||
Loading module T3::A
|
||||
Loading module T3::Main
|
||||
|
||||
[error] at T3\Main.cry:5:8--5:15
|
||||
Value not in scope: X::main
|
||||
[error] at T3\Main.cry:3:1--3:18
|
||||
• Expected a module
|
||||
• `T3::A` is a functor
|
12
tests/modsys/T5.icry.stdout.mingw32
Normal file
12
tests/modsys/T5.icry.stdout.mingw32
Normal file
@ -0,0 +1,12 @@
|
||||
Loading module Cryptol
|
||||
Loading module Cryptol
|
||||
Loading module T5::Main$argument
|
||||
|
||||
Parse error at .\T5\B.cry:4:3--4:4
|
||||
Instantiation of a parameterized module may not itself be parameterized
|
||||
|
||||
[error] at T5.icry:2:4--2:8
|
||||
Value not in scope: main
|
||||
|
||||
[error] at T5.icry:3:1--3:5
|
||||
Value not in scope: main
|
12
tests/modsys/T6.icry.stdout.mingw32
Normal file
12
tests/modsys/T6.icry.stdout.mingw32
Normal file
@ -0,0 +1,12 @@
|
||||
Loading module Cryptol
|
||||
Loading module Cryptol
|
||||
Loading module T5::Main$argument
|
||||
|
||||
Parse error at .\T5\B.cry:4:3--4:4
|
||||
Instantiation of a parameterized module may not itself be parameterized
|
||||
|
||||
[error] at T6.icry:2:4--2:8
|
||||
Value not in scope: main
|
||||
|
||||
[error] at T6.icry:3:1--3:5
|
||||
Value not in scope: main
|
11
tests/modsys/functors/T019.icry.stdout.mingw32
Normal file
11
tests/modsys/functors/T019.icry.stdout.mingw32
Normal file
@ -0,0 +1,11 @@
|
||||
Loading module Cryptol
|
||||
Loading module Cryptol
|
||||
Loading interface module T019::J
|
||||
Loading module T019::B$argument
|
||||
Loading interface module T019::I
|
||||
Loading module T019::A
|
||||
Loading module T019::B
|
||||
|
||||
[error] at .\T019\B.cry:1:8--1:15
|
||||
• Expected a module
|
||||
• `T019::B$argument` is a functor
|
Loading…
Reference in New Issue
Block a user