@@ -39,7 +39,8 @@ pCmd = do P.whiteSpace; try (do cmd ["q", "quit"]; eof; return Quit)
39 <|> try (do cmd ["e", "edit"]; eof; return Edit)
39 <|> try (do cmd ["e", "edit"]; eof; return Edit)
40 <|> try (do cmd ["exec", "execute"]; eof; return Execute)
40 <|> try (do cmd ["exec", "execute"]; eof; return Execute)
41 <|> try (do cmd ["c", "compile"]
41 <|> try (do cmd ["c", "compile"]
42− c <- option ViaC codegenOption
43+ c <- option (opt_codegen $ idris_options i) codegenOption
43 f <- P.identifier
44 f <- P.identifier
45 return (Compile c f))
46 return (Compile c f))