GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 11:22:33 +03:00
Code Issues Projects Releases Wiki Activity

Fix test, due to changes in the Prelude.

Browse Source
This commit is contained in:
Iavor Diatchki 2017-07-10 11:05:59 -07:00
parent 0f825daf2f
commit 1e4fb89f4c
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -72,7 +72,8 @@ Symbols
negate : {a} (Arith a) => a -> a negate : {a} (Arith a) => a -> a
pdiv : {a, b} (fin a, fin b) => [a] -> [b] -> [a] pdiv : {a, b} (fin a, fin b) => [a] -> [b] -> [a]
pmod : {a, b} (fin a, fin b) => [a] -> [1 + b] -> [b] pmod : {a, b} (fin a, fin b) => [a] -> [1 + b] -> [b]
pmult : {a, b} (fin a, fin b) => [a] -> [b] -> [max 1 (a + b) - 1] pmult : {a, b} (fin a, fin b) => [1 + a] -> [1 + b] -> [1 +
(a + b)]
random : {a} [256] -> a random : {a} [256] -> a
reverse : {a, b} (fin a) => [a]b -> [a]b reverse : {a, b} (fin a) => [a]b -> [a]b
split : {parts, each, a} (fin each) => [parts * split : {parts, each, a} (fin each) => [parts *
@ -82,8 +83,8 @@ Symbols
tail : {a, b} [1 + a]b -> [a]b tail : {a, b} [1 + a]b -> [a]b
take : {front, back, elem} (fin front) => [front + take : {front, back, elem} (fin front) => [front +
back]elem -> [front]elem back]elem -> [front]elem
trace : {n, a, b} [n][8] -> a -> b -> b trace : {n, a, b} (fin n) => [n][8] -> a -> b -> b
traceVal : {n, a} [n][8] -> a -> a traceVal : {n, a} (fin n) => [n][8] -> a -> a
transpose : {a, b, c} [a][b]c -> [b][a]c transpose : {a, b, c} [a][b]c -> [b][a]c
undefined : {a} a undefined : {a} a
update : {a, b, c} (fin c) => [a]b -> [c] -> b -> [a]b update : {a, b, c} (fin c) => [a]b -> [c] -> b -> [a]b
@ -96,5 +97,4 @@ Symbols
bits >= width len) => [len]elem -> [bits] bits >= width len) => [len]elem -> [bits]
zero : {a} a zero : {a} a
(||) : {a} a -> a -> a (||) : {a} a -> a -> a
(~) : {a} a -> a