ab1fbfe · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Allow :let in ideslave

commitab1fbfe63f419e621b6088f69e05cecbbdcba53d authorMelvar Chen <Melvar.Chen@googlemail.com> dateThu 10 Jul 2014, 10:27 (12 years ago) parent330eaa5

1 file changed+2

unifiedsplit

src/Idris/REPL.hs+2

@@ -473,6 +473,8 @@ ideslaveProcess fn Help = process stdout fn Help

473473ideslaveProcess fn (ChangeDirectory f) = do process stdout fn (ChangeDirectory f)

474474 iPrintResult "changed directory to"

475475ideslaveProcess fn (Eval t) = process stdout fn (Eval t)

476+ideslaveProcess fn (NewDefn decls) = do process stdout fn (NewDefn decls)

477+ iPrintResult "defined"

476478ideslaveProcess fn (ExecVal t) = process stdout fn (ExecVal t)

477479ideslaveProcess fn (Check (PRef x n)) = process stdout fn (Check (PRef x n))

478480ideslaveProcess fn (Check t) = process stdout fn (Check t)