2c99b2b · Idris-dev · git.iko.soy

config.mk+1−1

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

1−CC :=cc

1+CC ?=cc

2CABAL :=cabal

3CFLAGS :=-O2 -Wall $(CFLAGS)

4#CABALFLAGS :=

src/Idris/Core/Elaborate.hs+1−1

@@ -64,7 +64,7 @@ loadState :: Elab' aux ()

64loadState = do (ES p s e) <- get

65 case e of

66 Just st -> put st

67− _ -> fail "Nothing to undo"

67+ _ -> lift $ Error . Msg $ "Nothing to undo"

68

69getNameFrom :: Name -> Elab' aux Name

70getNameFrom n = do (ES (p, a) s e) <- get

src/Idris/Core/ProofState.hs+1−1

@@ -872,7 +872,7 @@ processTactic QED ps = case holes ps of

872 _ -> fail "Still holes to fill."

873processTactic ProofState ps = return (ps, showEnv [] (pterm ps))

874processTactic Undo ps = case previous ps of

875− Nothing -> fail "Nothing to undo."

875+ Nothing -> Error . Msg $ "Nothing to undo."

876 Just pold -> return (pold, "")

877processTactic EndUnify ps

878 = let (h, ns_in) = unified ps