@@ -1,5 +1,4 @@
11{-# LANGUAGE GeneralizedNewtypeDeriving, ConstraintKinds, PatternGuards #-}
2−{-# OPTIONS_GHC -O0 #-}
32module Idris.ParseExpr where
43
54import Prelude hiding (pi)
@@ -877,7 +876,7 @@ explicitPi opts st syn
877876
878877autoImplicit opts st syn
879878 = do reserved "auto"
880− when (st == Static) $ fail "auto type constraints can not be static"
879+ when (st == Static) $ fail "auto implicits can not be static"
881880 xt <- typeDeclList syn
882881 lchar '}'
883882 symbol "->"
@@ -887,7 +886,7 @@ autoImplicit opts st syn
887886
888887defaultImplicit opts st syn = do
889888 reserved "default"
890− when (st == Static) $ fail "default tactic constraints can not be static"
889+ when (st == Static) $ fail "default implicits can not be static"
891890 ist <- get
892891 script' <- simpleExpr syn
893892 let script = debindApp syn . desugar syn ist $ script'