@@ -69,7 +69,7 @@ compile = compile' initEnvironment
70compile' :: Environment -> Options -> [Module] -> Either String (String, String, Environment)
70compile' :: Environment -> Options -> [Module] -> Either String (String, String, Environment)
71compile' env opts ms = do
71compile' env opts ms = do
72− (sorted, _) <- sortModules (map importPrelude ms)
72+ (sorted, _) <- sortModules $ if optionsNoPrelude opts then ms else (map importPrelude ms)
73 desugared <- desugar sorted
73 desugared <- desugar sorted
74 (elaborated, env') <- runCheck' env $ forM desugared $ typeCheckModule mainModuleIdent
74 (elaborated, env') <- runCheck' env $ forM desugared $ typeCheckModule mainModuleIdent
75 regrouped <- createBindingGroupsModule . collapseBindingGroupsModule $ elaborated
75 regrouped <- createBindingGroupsModule . collapseBindingGroupsModule $ elaborated
@@ -164,7 +164,7 @@ make :: (Functor m, Monad m, MonadMake m) => Options -> [(FilePath, Module)] ->
164make opts ms = do
164make opts ms = do
165 let filePathMap = M.fromList (map (\(fp, Module mn _ _) -> (mn, fp)) ms)
165 let filePathMap = M.fromList (map (\(fp, Module mn _ _) -> (mn, fp)) ms)
167− (sorted, graph) <- liftError $ sortModules (map (importPrelude . snd) ms)
167+ (sorted, graph) <- liftError $ sortModules $ if optionsNoPrelude opts then map snd ms else (map (importPrelude . snd) ms)
169 toRebuild <- foldM (\s (Module moduleName' _ _) -> do
169 toRebuild <- foldM (\s (Module moduleName' _ _) -> do
170 let filePath = toFileName moduleName'
170 let filePath = toFileName moduleName'