From 09a7f88ffb1480cad73b92087cb703504699e154 Mon Sep 17 00:00:00 2001 From: Kosyrev Serge <_deepfire@feelingofgreen.ru> Date: Sun, 9 Sep 2018 23:01:11 +0300 Subject: compiler: improve error reporting for processing of module imports --- src/LambdaCube/Compiler.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/LambdaCube/Compiler.hs b/src/LambdaCube/Compiler.hs index c0fef7a0..6a65c811 100644 --- a/src/LambdaCube/Compiler.hs +++ b/src/LambdaCube/Compiler.hs @@ -157,9 +157,9 @@ loadModule ex imp mname_ = do ms <- forM (moduleImports e) $ \(m, is) -> loadModule ex (Just fname) (Right $ sName m) <&> \r -> case r of Left err -> Left $ pShow m <+> "is not found" Right (fb, (src, dsge)) -> - either (Left . const (pShow m <+> "couldn't be parsed")) + either (Left . (\errm-> pShow m <+> "couldn't be parsed:\n" <+> errm)) (\(pm, x, e) -> either - (Left . const (pShow m <+> "couldn't be typechecked")) + (Left . (\errm-> pShow m <+> "couldn't be typechecked:\n" <+> errm)) (\(ds, ge) -> Right (ds{-todo: filter-}, Map.filterWithKey (\k _ -> filterImports is k) ge)) e) dsge -- cgit v1.2.3