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

definition: 
 
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
demand: 
 no demanded arguments
deterministic: 
 deterministic operation
documentation: 
 
write the file with the main exp where necessary imports
and possibly a type string is provided:
failfree: 
 (_, _, _, _)
indeterministic: 
 referentially transparent operation
infix: 
 no fixity defined
iotype: 
 {(_,_,_,_) |-> _}
name: 
 writeMainExpFile
precedence: 
 no precedence defined
result-values: 
 _
signature: 
 REPL.State.ReplState -> [String] -> Prelude.Maybe String -> String
-> Prelude.IO ()
solution-complete: 
 operation might suspend on free variables
terminating: 
 possibly non-terminating
totally-defined: 
 possibly non-reducible on same data term