git.iko.soy/Idris-dev
on master help sign in
Enable error reflection while loading a module
5eda188David Raymond Christiansen
src/Idris/ElabDecls.hs+1−1
compare with master
unifiedsplit
@@ -2001,7 +2001,7 @@ elabDecls info ds = do mapM_ (elabDecl EAll info) ds
2001
2001
2002elabDecl :: ElabWhat -> ElabInfo -> PDecl -> Idris ()
2002elabDecl :: ElabWhat -> ElabInfo -> PDecl -> Idris ()
2003elabDecl what info d
2003elabDecl what info d
2004− = idrisCatch (elabDecl' what info d) (setAndReport)
2004+ = idrisCatch (withErrorReflection $ elabDecl' what info d) (setAndReport)
2005
2005
2006elabDecl' _ info (PFix _ _ _)
2006elabDecl' _ info (PFix _ _ _)
2007 = return () -- nothing to elaborate
2007 = return () -- nothing to elaborate