CurryInfo: curry-repl-1.2.0 / REPL.Main.writeMainExpFile

 
writeMainExpFile :: ReplState -> [String] -> Maybe String -> String -> IO ()
writeMainExpFile rst imports mtype exp =
  writeFile (mainExpFile rst) $ unlines $
    [noMissingSigs, "module " ++ mainExpMod rst ++ " where"] ++
    map ("import " ++) allImports ++
    maybe [] (\ts -> ["main :: " ++ ts]) mtype ++
    ["main = " ++ concatMap (++ " in\n  ") (letBinds rst)
               ++ qualifyMain (strip exp)]
 where
  allImports = filter (/="Prelude") . nub $ currMod rst : addMods rst ++ imports

  noMissingSigs = "{-# OPTIONS_FRONTEND -W no-missing-signatures #-}"

  -- simple hack to avoid name conflict with "main":
  -- (better solution: pretty print parsed main expression with qualification)
  qualifyMain :: String -> String
  qualifyMain [] = []
  qualifyMain s@(x:xs)
    | "main" `isPrefixOf` s = case drop 3 xs of
                                []  -> currMod rst ++ ".main"
                                c:_ | not (isAlphaNum c)
                                    -> currMod rst ++ ".main" ++ drop 3 xs
                                _ -> x : qualifyMain xs
    | isAlphaNum x          = let (prev, next) = span isAlphaNum xs
                              in x : prev ++ qualifyMain next
    | otherwise             = x : qualifyMain xs

 no demanded arguments

 deterministic operation

 
write the file with the main exp where necessary imports
and possibly a type string is provided:

 (_, _, _, _)

 referentially transparent operation

 no fixity defined

 {(_,_,_,_) |-> _}

 writeMainExpFile

 no precedence defined

 _

 REPL.State.ReplState -> [String] -> Prelude.Maybe String -> String
-> Prelude.IO ()

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term