git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2530 from melted/exe
15d3674Niklas Larsson
src/Pkg/PParser.hs+1−4
compare with master
unifiedsplit
@@ -66,10 +66,7 @@ pClause :: PParser ()
66pClause = do reserved "executable"; lchar '=';
66pClause = do reserved "executable"; lchar '=';
67 exec <- fst <$> iName []
67 exec <- fst <$> iName []
68 st <- get
68 st <- get
69− put (st { execout = Just (if isWindows
69+ put (st { execout = Just (show exec) })
70− then ((show exec) ++ ".exe")
71− else ( show exec )
72− ) })
73 <|> do reserved "main"; lchar '=';
70 <|> do reserved "main"; lchar '=';
74 main <- fst <$> iName []
71 main <- fst <$> iName []
75 st <- get
72 st <- get