git.iko.soy/Idris-dev
on master help sign in
Fix elabExec to use right version of printLn
commit888542fa1580894c505aa3c8ccce6a52439d7977 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSat 30 Apr 2016, 10:52 (10 years ago) parent59d44d4
1 file changed+1−2
compare with master
unifiedsplit
src/Idris/Elab/Value.hs+1−2
src/Idris/Elab/Value.hs+1−2
@@ -130,8 +130,7 @@ elabExec fc tm = runtm (PAlternative [] FirstSuccess
130130 where
131131 runtm t = PApp fc (PRef fc [] (sUN "run__IO"))
132132 [pimp (sUN "ffi") (PRef fc [] (sUN "FFI_C")) False, pexp t]
133− printtm t = PApp fc (PRef fc [] (sUN "printLn"))
134− [pimp (sUN "ffi") (PRef fc [] (sUN "FFI_C")) False, pexp t]
133+ printtm t = PApp fc (PRef fc [] (sUN "printLn")) [pexp t]
135134
136135elabREPL :: ElabInfo -> ElabMode -> PTerm -> Idris (Term, Type)
137136elabREPL info aspat tm