@@ -1125,7 +1125,8 @@ idrisMain opts =
1125 ok <- noErrors
1125 ok <- noErrors
1126 when ok $ case output of
1126 when ok $ case output of
1127 [] -> return ()
1127 [] -> return ()
1128− (o:_) -> process stdout "" (Compile cgn o)
1128+ (o:_) -> idrisCatch (process stdout "" (Compile cgn o))
1129+ (\e -> do ist <- getIState ; iputStrLn $ pshow ist e)
1129 case script of
1130 case script of
1130 Nothing -> return ()
1131 Nothing -> return ()
1131 Just expr -> execScript expr
1132 Just expr -> execScript expr