@@ -79,12 +79,12 @@ pClause = do reserved "executable"; lchar '=';
7979 opts <- stringLiteral
8080 st <- get
8181 let args = pureArgParser (words opts)
82− put (st { idris_opts = args })
82+ put (st { idris_opts = args ++ idris_opts st })
8383 <|> do reserved "pkgs"; lchar '=';
8484 ps <- sepBy1 (fst <$> identifier) (lchar ',')
8585 st <- get
8686 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})
8888 <|> do reserved "modules"; lchar '=';
8989 ms <- sepBy1 (fst <$> iName []) (lchar ',')
9090 st <- get