Using ASTUtils instead of writing things out the long way
commit7d081b0bce2f41f583800a5086843e0852801b56
authorAlyssa Carter <trillionalyssa@gmail.com>
dateSat 19 Jul 2014, 16:56 (12 years ago)
parent5c4f5d2
src/Idris/REPL.hs+1−1
@@ -706,7 +706,7 @@ process h fn (NewDefn decls) = logLvl 3 ("Defining names using these decls: " ++
706706 setReplDefined Nothing = return ()
707707 setReplDefined (Just n) = do
708708 oldState <- get
709− put oldState { idris_repl_defs = n : idris_repl_defs oldState }
709+ fmodifyState repl_definitions (n:)
710710
711711process h fn (Undefine names) = undefine names
712712 where