GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-22 19:41:22 +03:00
Code Issues Projects Releases Wiki Activity

Remove use of \ line continuations in tests

Browse Source 
These trigger the problem described in issue #1290. We should fix it,
but, in the meantime, it's nice to be able to use the portions of this
test that work. Testing the use of `\` continuations isn't the main
purpose of this test.
This commit is contained in:
Aaron Tomb 2021-09-22 10:40:10 -07:00
parent 0216c7e6ec
commit 2dc5e03567
1 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tests/regression/repl-decls.icry
View File

@ -5,8 +5,7 @@ let x ->- y = x - y; infixr 5 ->-; let (->-) : Integer -> Integer -> Integer
42 ->- 10 ->- 100
42 ->- 10 -<- 100
let even x = if x == 0 then True else odd (x-1);\
let odd x = if x == 0 then False else even (x-1)
let even x = if x == 0 then True else odd (x-1); let odd x = if x == 0 then False else even (x-1)
:t even
:t odd
@ -17,9 +16,7 @@ even 4
odd 5
odd 6
let even' : Integer -> Bool;\
let even' x = if x == 0 then True else odd' (x-1);\
let odd' x = if x == 0 then False else even' (x-1)
let even' : Integer -> Bool; let even' x = if x == 0 then True else odd' (x-1); let odd' x = if x == 0 then False else even' (x-1)
:t even'
:t odd'
@ -35,8 +32,7 @@ take [1...] : X 42
type constraint CS t = (Ring t, Logic t, Integral t)
let f : {a} CS a => a -> Integer;\
let f x = [1..100]@( (x + fromInteger 5) && fromInteger `0x1f)
let f : {a} CS a => a -> Integer; let f x = [1..100]@( (x + fromInteger 5) && fromInteger `0x1f)
:t f
f 0x1234