2576d6d · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Format some messages in the prover

commit2576d6d9ea33f8fc19beb03221a9e8e8067b9484 authorJason Felice <jason.m.felice@gmail.com> dateThu 21 Dec 2017, 14:43 (9 years ago) parente1697f7

2 files changed+2−3

unifiedsplit

src/Idris/Prover.hs+2−2

@@ -318,7 +318,7 @@ elabloop info fn d prompt prf e prev h env

318318 idrisCatch

319319 (case cmd of

320320 Left err -> do

321− msg <- Left . Msg . show <$> formatMessage err

321+ msg <- fmap (Left . Msg . show) (formatMessage err)

322322 return (False, prev, e, False, prf, env, msg)

323323 Right (Left cmd') ->

324324 case cmd' of

@@ -435,7 +435,7 @@ ploop fn d prompt prf e h

435435 (d, st, done, prf', res) <- idrisCatch

436436 (case cmd of

437437 Left err -> do

438− msg <- Left . Msg . show <$> formatMessage err

438+ msg <- fmap (Left . Msg . show) (formatMessage err)

439439 return (False, e, False, prf, msg)

440440 Right Undo -> do (_, st) <- elabStep e loadState

441441 return (True, st, False, init prf, Right $ iPrintResult "")

src/Idris/REPL.hs−1

@@ -725,7 +725,6 @@ processInput cmd orig inputs efile

725725 let opts = idris_options i

726726 let quiet = opt_quiet opts

727727 let fn = fromMaybe "" (listToMaybe inputs)

728− c <- colourise

729728 case parseCmd i "(input)" cmd of

730729 Left err -> Just inputs <$ emit err

731730 Right (Right Reload) ->