@@ -79,12 +79,12 @@ pClause = do reserved "executable"; lchar '=';
79 opts <- stringLiteral
79 opts <- stringLiteral
81 let args = pureArgParser (words opts)
81 let args = pureArgParser (words opts)
82− put (st { idris_opts = args })
82+ put (st { idris_opts = args ++ idris_opts st })
83 <|> do reserved "pkgs"; lchar '=';
83 <|> do reserved "pkgs"; lchar '=';
84 ps <- sepBy1 (fst <$> identifier) (lchar ',')
84 ps <- sepBy1 (fst <$> identifier) (lchar ',')
86 let pkgs = pureArgParser $ map (\x -> unwords ["-p", x]) ps
86 let pkgs = pureArgParser $ map (\x -> unwords ["-p", x]) ps
87− put (st {idris_opts = idris_opts st ++ pkgs})
87+ put (st {idris_opts = pkgs ++ idris_opts st})
88 <|> do reserved "modules"; lchar '=';
88 <|> do reserved "modules"; lchar '=';
89 ms <- sepBy1 (fst <$> iName []) (lchar ',')
89 ms <- sepBy1 (fst <$> iName []) (lchar ',')