git.iko.soy/Idris-dev
on master help sign in
Always finalise evaluator argument environments

This saves the caller from having to remember to do this, preventing confusing mistakes and un-substituted names.

commit8f1f0686a1990c72aeff34dca2a4ae22a41d0e5d authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateWed 29 Apr 2015, 16:51 (11 years ago) parent5d9ad32
1 file changed+2−2
compare with master
unifiedsplit
src/Idris/Core/Evaluate.hs+2−2
src/Idris/Core/Evaluate.hs+2−2
@@ -74,12 +74,12 @@ instance Show (a -> b) where
7474-- | Normalise fully type checked terms (so, assume all names/let bindings resolved)
7575normaliseC :: Context -> Env -> TT Name -> TT Name
7676normaliseC ctxt env t
77− = evalState (do val <- eval False ctxt [] env t []
77+ = evalState (do val <- eval False ctxt [] (map finalEntry env) t []
7878 quote 0 val) initEval
7979
8080normaliseAll :: Context -> Env -> TT Name -> TT Name
8181normaliseAll ctxt env t
82− = evalState (do val <- eval False ctxt [] env t [AtREPL]
82+ = evalState (do val <- eval False ctxt [] (map finalEntry env) t [AtREPL]
8383 quote 0 val) initEval
8484
8585normalise :: Context -> Env -> TT Name -> TT Name