cc80288 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Rename the REPL's Haskeline uses to make them obviously REPL-specific

commitcc802882b2b14c2784e3a5a573d660de5da9e9a9 authorDavid Christiansen <david@davidchristiansen.dk> dateMon 11 Feb 2013, 15:23 (14 years ago) parent0970f01

2 files changed+9−11

compare with master

unifiedsplit

src/Idris/Completion.hs+6−6 src/Idris/REPL.hs+3−5

src/Idris/Completion.hs+6−6

@@ -1,4 +1,4 @@

1−module Idris.Completion (idrisCompletion) where

1+module Idris.Completion (replCompletion) where

33import Core.Evaluate (ctxtAlist)

44import Core.TT

@@ -98,8 +98,8 @@ completeCmd cmd (prev, next) = fromMaybe completeCmdName (fmap completeArg $ loo

9898 completeArg ExprArg = completeExpr (prev, next)

9999 completeCmdName = return $ ("", completeWith commands cmd)

100100

101−idrisCompletion :: CompletionFunc (StateT IState IO)

102−idrisCompletion (prev, next) = case firstWord of

103− ':':cmdName -> completeCmd (':':cmdName) (prev, next)

104− _ -> completeExpr (prev, next)

105− where (firstWord, remainder) = break isWhitespace $ dropWhile isWhitespace $ reverse prev

101+replCompletion :: CompletionFunc (StateT IState IO)

102+replCompletion (prev, next) = case firstWord of

103+ ':':cmdName -> completeCmd (':':cmdName) (prev, next)

104+ _ -> completeExpr (prev, next)

105+ where firstWord = fst $ break isWhitespace $ dropWhile isWhitespace $ reverse prev

src/Idris/REPL.hs+3−5

@@ -491,15 +491,13 @@ help =

491491 ]

492492

493493

494−haskelineSettings :: Settings (StateT IState IO)

495−haskelineSettings = setComplete idrisCompletion defaultSettings

494+replSettings :: Settings (StateT IState IO)

495+replSettings = setComplete replCompletion defaultSettings

496496

497497-- invoke as if from command line

498498idris :: [Opt] -> IO IState

499499idris opts = execStateT (idrisMain opts) idrisInit

500500

501−--runInputT haskelineSettings $ execStateT (idrisMain opts) idrisInit

502−

503501idrisMain :: [Opt] -> Idris ()

504502idrisMain opts =

505503 do let inputs = opt getFile opts

@@ -553,7 +551,7 @@ idrisMain opts =

553551 when ok $ case newoutput of

554552 [] -> return ()

555553 (o:_) -> process "" (NewCompile o)

556− when runrepl $ runInputT haskelineSettings $ repl ist inputs

554+ when runrepl $ runInputT replSettings $ repl ist inputs

557555 ok <- noErrors

558556 when (not ok) $ liftIO (exitWith (ExitFailure 1))

559557 where