git.iko.soy/Idris-dev
on master help sign in
Fix elabExec to use right version of printLn
888542fEdwin Brady
src/Idris/Elab/Value.hs+1−2
compare with master
unifiedsplit
@@ -130,8 +130,7 @@ elabExec fc tm = runtm (PAlternative [] FirstSuccess
130 where
130 where
131 runtm t = PApp fc (PRef fc [] (sUN "run__IO"))
131 runtm t = PApp fc (PRef fc [] (sUN "run__IO"))
132 [pimp (sUN "ffi") (PRef fc [] (sUN "FFI_C")) False, pexp t]
132 [pimp (sUN "ffi") (PRef fc [] (sUN "FFI_C")) False, pexp t]
133− printtm t = PApp fc (PRef fc [] (sUN "printLn"))
133+ printtm t = PApp fc (PRef fc [] (sUN "printLn")) [pexp t]
134− [pimp (sUN "ffi") (PRef fc [] (sUN "FFI_C")) False, pexp t]
135
134
136elabREPL :: ElabInfo -> ElabMode -> PTerm -> Idris (Term, Type)
135elabREPL :: ElabInfo -> ElabMode -> PTerm -> Idris (Term, Type)
137elabREPL info aspat tm
136elabREPL info aspat tm