mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-20 09:48:38 +03:00
Add :let test
This commit is contained in:
parent
d36e804012
commit
018c17b69a
@ -64,7 +64,7 @@ idrisTests
|
||||
"interface009", "interface010", "interface011", "interface012",
|
||||
"interface013", "interface014", "interface015",
|
||||
-- Miscellaneous REPL
|
||||
"interpreter001",
|
||||
"interpreter001", "interpreter002",
|
||||
-- Implicit laziness, lazy evaluation
|
||||
"lazy001",
|
||||
-- QTT and linearity related
|
||||
|
3
tests/idris2/interpreter002/expected
Normal file
3
tests/idris2/interpreter002/expected
Normal file
@ -0,0 +1,3 @@
|
||||
Main> Main> Main> "Privet, mir!"
|
||||
Main>
|
||||
Bye for now!
|
3
tests/idris2/interpreter002/input
Normal file
3
tests/idris2/interpreter002/input
Normal file
@ -0,0 +1,3 @@
|
||||
:let i : String
|
||||
:let i = "Privet, mir!"
|
||||
i
|
3
tests/idris2/interpreter002/run
Executable file
3
tests/idris2/interpreter002/run
Executable file
@ -0,0 +1,3 @@
|
||||
$1 --no-banner --no-prelude < input
|
||||
|
||||
rm -rf build
|
Loading…
Reference in New Issue
Block a user