@@ -10,8 +10,8 @@ Maintainer : The Idris Community.
10module Idris.ErrReverse(errReverse) where
10module Idris.ErrReverse(errReverse) where
12import Idris.AbsSyntax
12import Idris.AbsSyntax
13+import Idris.Core.Evaluate (unfold)
13import Idris.Core.TT
14import Idris.Core.TT
14−import Idris.Core.Evaluate(unfold)
15import Util.Pretty
15import Util.Pretty
17import Data.List
17import Data.List
@@ -26,7 +26,7 @@ errReverse ist t = rewrite 5 (do_unfold t) -- (elideLambdas t)
26 do_unfold :: Term -> Term
26 do_unfold :: Term -> Term
27 do_unfold t = let ns = idris_errReduce ist in
27 do_unfold t = let ns = idris_errReduce ist in
28 if null ns then t
28 if null ns then t
29− else unfold (tt_ctxt ist) []
29+ else unfold (tt_ctxt ist) []
30 (map (\x -> (x, 1000)) (idris_errReduce ist))
30 (map (\x -> (x, 1000)) (idris_errReduce ist))