git.iko.soy/Idris-dev
on master help sign in
Stop generating bogus executable names
45d9624David Raymond Christiansen
src/Pkg/PParser.hs+1−1
compare with master
unifiedsplit
@@ -64,7 +64,7 @@ pPkg = do reserved "package"; p <- fst <$> identifier
64
64
65pClause :: PParser ()
65pClause :: PParser ()
66pClause = do reserved "executable"; lchar '=';
66pClause = do reserved "executable"; lchar '=';
67− exec <- iName []
67+ exec <- fst <$> iName []
68 st <- get
68 st <- get
69 put (st { execout = Just (if isWindows
69 put (st { execout = Just (if isWindows
70 then ((show exec) ++ ".exe")
70 then ((show exec) ++ ".exe")