ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-13 07:26:59 +03:00
Code Issues Projects Releases Wiki Activity
f0f1d72848
Idris-dev/test/io001
History
Edwin Brady f8cb234577 Reading from a file shouldn't strip \n 
We need to get exactly what's in the file or strange things might happen
and assumptions get broken.
Change getLine to strip newlines itself rather than have the RTS do it,
for consistency with the REPL behaviour.
2015-05-16 14:03:13 +01:00
..
expected Reading from a file shouldn't strip \n 2015-05-16 14:03:13 +01:00
run Categorise tests 2014-01-30 17:24:08 +00:00
test004.idr Reading from a file shouldn't strip \n 2015-05-16 14:03:13 +01:00