From de5872c078602df96e29951cde46ac007869428a Mon Sep 17 00:00:00 2001 From: Csaba Hruska Date: Sat, 3 Feb 2018 09:29:05 +0100 Subject: hide prelude path ; required for consitent error messages --- src/LambdaCube/Compiler.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/LambdaCube/Compiler.hs b/src/LambdaCube/Compiler.hs index d1c178ec..ecbf2da5 100644 --- a/src/LambdaCube/Compiler.hs +++ b/src/LambdaCube/Compiler.hs @@ -97,7 +97,7 @@ type ModuleFetcher m = Maybe FilePath -> Either FilePath MName -> m (Either Doc ioFetch :: MonadIO m => [FilePath] -> ModuleFetcher (MMT m x) ioFetch paths' imp n = do preludePath <- ( "lc") <$> liftIO getDataDir - let paths = map (id &&& id) paths' ++ [(preludePath, {-"<>"-}preludePath)] + let paths = map (id &&& id) paths' ++ [(preludePath, "<>")] find ((x, (x', mn)): xs) = liftIO (readFileIfExists x) >>= maybe (find xs) (\src -> return $ Right (x', mn, liftIO src)) find [] = return $ Left $ "can't find" <+> either (("lc file" <+>) . text) (("module" <+>) . text) n <+> "in path" <+> hsep (text . snd <$> paths) -- cgit v1.2.3