:compile now obeys --codegen flag
commit85226834e14ffda54cb0cc0401cb98ca4757df49
authorraichoo <raichoo@googlemail.com>
dateWed 30 Apr 2014, 12:12 (12 years ago)
parenteea6bcb
src/Idris/REPLParser.hs+2−1
@@ -39,7 +39,8 @@ pCmd = do P.whiteSpace; try (do cmd ["q", "quit"]; eof; return Quit)
3939 <|> try (do cmd ["e", "edit"]; eof; return Edit)
4040 <|> try (do cmd ["exec", "execute"]; eof; return Execute)
4141 <|> try (do cmd ["c", "compile"]
42− c <- option ViaC codegenOption
42+ i <- get
43+ c <- option (opt_codegen $ idris_options i) codegenOption
4344 f <- P.identifier
4445 eof
4546 return (Compile c f))