Enable error reflection while loading a module
commit5eda1886b7f25ba3d5442bcd82c613c4d5151f62
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 10 Jan 2014, 14:24 (13 years ago)
parent29a206d
src/Idris/ElabDecls.hs+1−1
@@ -2001,7 +2001,7 @@ elabDecls info ds = do mapM_ (elabDecl EAll info) ds
20012001
20022002elabDecl :: ElabWhat -> ElabInfo -> PDecl -> Idris ()
20032003elabDecl what info d
2004− = idrisCatch (elabDecl' what info d) (setAndReport)
2004+ = idrisCatch (withErrorReflection $ elabDecl' what info d) (setAndReport)
20052005
20062006elabDecl' _ info (PFix _ _ _)
20072007 = return () -- nothing to elaborate