10509f6 · Idris-dev · git.iko.soy

src/Idris/ASTUtils.hs+9

compare with master

unifiedsplit

@@ -123,3 +123,12 @@ ist_callgraph n =

123-- some fields of the CGInfo record

124cg_usedpos :: Field CGInfo [(Int, [UsageReason])]

125cg_usedpos = Field usedpos (\v cg -> cg{ usedpos = v })

126+

127+

128+-- Commandline flags

129+--------------------

130+

131+opts_idrisCmdline :: Field IState [Opt]

132+opts_idrisCmdline =

133+ Field opt_cmdline (\v opts -> opts{ opt_cmdline = v })

134+ . Field idris_options (\v ist -> ist{ idris_options = v })

src/Idris/REPL.hs+3

@@ -4,6 +4,7 @@

4module Idris.REPL where

5

6import Idris.AbsSyntax

7+import Idris.ASTUtils

7import Idris.Apropos (apropos)

8import Idris.Apropos (apropos)

8import Idris.REPLParser

9import Idris.REPLParser

9import Idris.ElabDecls

10import Idris.ElabDecls

@@ -1032,6 +1033,8 @@ process h fn (SetOpt AutoSolve) = setAutoSolve True

1032process h fn (UnsetOpt AutoSolve) = setAutoSolve False

1033process h fn (UnsetOpt AutoSolve) = setAutoSolve False

1033process h fn (SetOpt NoBanner) = setNoBanner True

1034process h fn (SetOpt NoBanner) = setNoBanner True

1034process h fn (UnsetOpt NoBanner) = setNoBanner False

1035process h fn (UnsetOpt NoBanner) = setNoBanner False

1036+process h fn (SetOpt WarnReach) = fmodifyState opts_idrisCmdline $ nub . (WarnReach:)

1037+process h fn (UnsetOpt WarnReach) = fmodifyState opts_idrisCmdline $ delete WarnReach

1035

1038

1036process h fn (SetOpt _) = iPrintError "Not a valid option"

1039process h fn (SetOpt _) = iPrintError "Not a valid option"

1037process h fn (UnsetOpt _) = iPrintError "Not a valid option"

1040process h fn (UnsetOpt _) = iPrintError "Not a valid option"

src/Idris/REPLParser.hs+1

@@ -120,6 +120,7 @@ pOption = do discard (P.symbol "errorcontext"); return ErrContext

120 <|> do discard (P.symbol "originalerrors"); return ShowOrigErr

121 <|> do discard (P.symbol "autosolve"); return AutoSolve

122 <|> do discard (P.symbol "nobanner") ; return NoBanner

123+ <|> do discard (P.symbol "warnreach"); return WarnReach

123

124

124codegenOption :: P.IdrisParser Codegen

125codegenOption :: P.IdrisParser Codegen

125codegenOption = do discard (P.symbol "javascript"); return ViaJavaScript

126codegenOption = do discard (P.symbol "javascript"); return ViaJavaScript