GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-26 14:20:59 +03:00
Code Issues Projects Releases Wiki Activity

Fix tests that should be passing

Browse Source
This commit is contained in:
Iavor Diatchki 2022-06-06 17:02:41 -07:00
parent 5c4b74b7a9
commit f426edca1c
8 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/modsys/functors/T002.cry
View File

@ -4,7 +4,7 @@ signature A where
x : [n] x : [n]
submodule F where submodule F where
import parameter A import signature submodule A
y : [n] y : [n]
y = 1 + x y = 1 + x

2
tests/modsys/functors/T003.cry
View File

@ -4,7 +4,7 @@ signature A where
x : [n] x : [n]
submodule F where submodule F where
import signature A import signature submodule A
y : [n] y : [n]
y = 1 + x y = 1 + x

4
tests/modsys/functors/T004.cry
View File

@ -4,8 +4,8 @@ signature A where
x : [n] x : [n]
submodule F where submodule F where
import signature A as X import signature submodule A as X
import signature A as Y import signature submodule A as Y
parameter type constraint (X::n == Y::n) parameter type constraint (X::n == Y::n)

4
tests/modsys/functors/T005.cry
View File

@ -4,8 +4,8 @@ signature A where
x : [n] x : [n]
submodule F where submodule F where
import signature A as X import signature submodule A as X
import signature A as Y import signature submodule A as Y
parameter type constraint (X::n == Y::n) parameter type constraint (X::n == Y::n)

4
tests/modsys/functors/T006.cry
View File

@ -4,12 +4,12 @@ signature A where
x : [n] x : [n]
submodule F where submodule F where
import signature A as X import signature submodule A as X
parameter type constraint (X::n >= 3) parameter type constraint (X::n >= 3)
submodule G where submodule G where
import signature A import signature submodule A
parameter type constraint (X::n == n) parameter type constraint (X::n == n)
y : [n] y : [n]

2
tests/modsys/functors/T009.cry
View File

@ -4,7 +4,7 @@
import T009_S import T009_S
submodule F where submodule F where
import signature A import signature submodule A
y : [n] y : [n]
y = 1 y = 1

2
tests/modsys/functors/T010.icry.stdout
View File

@ -4,6 +4,6 @@ Loading module T010$argument
Loading module T010_S Loading module T010_S
Loading module T010_F Loading module T010_F
Loading module T010 Loading module T010
[warning] at ./T010_F.cry:4:18--4:19 [warning] at ./T010_F.cry:4:28--4:29
Unused name: T010_F::A::n Unused name: T010_F::A::n
0x0a 0x0a

2
tests/modsys/functors/T010_F.cry
View File

@ -1,7 +1,7 @@
module T010_F where module T010_F where
import T010_S import T010_S
import signature A import signature submodule A
y = x + 3 y = x + 3