d726674 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Enable :unlet for ideslave

commitd7266745d3a0bad83faee475dcf848df91b42673 authorMelvar Chen <Melvar.Chen@googlemail.com> dateThu 28 Aug 2014, 00:59 (12 years ago) parent91eecdb

1 file changed+1

unifiedsplit

src/Idris/REPL.hs+1

@@ -511,6 +511,7 @@ ideslaveProcess fn (ChangeDirectory f) = do process fn (ChangeDirectory f)

511511ideslaveProcess fn (Eval t) = process fn (Eval t)

512512ideslaveProcess fn (NewDefn decls) = do process fn (NewDefn decls)

513513 iPrintResult "defined"

514+ideslaveProcess fn (Undefine n) = process fn (Undefine n)

514515ideslaveProcess fn (ExecVal t) = process fn (ExecVal t)

515516ideslaveProcess fn (Check (PRef x n)) = process fn (Check (PRef x n))

516517ideslaveProcess fn (Check t) = process fn (Check t)