b8a2bbf · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Add :log to REPL

commitb8a2bbfca45e077ac72c65833a159bba55fb1de6 authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateTue 25 Oct 2011, 20:18 (15 years ago) parent0eac224

3 files changed+3

unifiedsplit

src/Idris/AbsSyntax.hs+1

@@ -116,6 +116,7 @@ data Command = Quit | Help | Eval PTerm

116116 | Compile String

117117 | Metavars

118118 | TTShell

119+ | LogLvl Int

119120 | NOP

120121

121122-- Parsed declarations

src/Idris/REPL.hs+1

@@ -55,6 +55,7 @@ process TTShell = do ist <- get

5555 shst' <- lift $ runShell shst

5656 return ()

5757process (Compile f) = do compile f

58+process (LogLvl i) = setLogLevel i

5859process Metavars = do ist <- get

5960 let mvs = idris_metavars ist \\ primDefs

6061 case mvs of

src/Idris/REPLParser.hs+1

@@ -24,5 +24,6 @@ pCmd = try (do cmd ["q", "quit"]; return Quit)

2424 <|> try (do cmd ["ttshell"]; return TTShell)

2525 <|> try (do cmd ["c", "compile"]; f <- identifier; return (Compile f))

2626 <|> try (do cmd ["m", "metavars"]; return Metavars)

27+ <|> try (do cmd ["log"]; i <- natural; return (LogLvl (fromIntegral i)))

2728 <|> do t <- pFullExpr defaultSyntax; return (Eval t)

2829 <|> do eof; return NOP