Merge pull request #1961 from david-christiansen/issue/idris-mode-299
Fix :unlet and the IDE protocol
commit54f0cc31f8c3ca189d6e3d9bd020438024e1c63a
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 27 Feb 2015, 14:00 (12 years ago)
parent24d06178688f43
src/Idris/REPL.hs+1−1
@@ -821,7 +821,7 @@ process fn (Undefine names) = undefine names
821821 -- Keep track of which names you've removed so you can
822822 -- print them out to the user afterward
823823 undefine names = undefine' names []
824− undefine' [] list = do iRenderOutput $ printUndefinedNames list
824+ undefine' [] list = do iRenderResult $ printUndefinedNames list
825825 return ()
826826 undefine' (n:names) already = do
827827 allDefined <- idris_repl_defs `fmap` get