@@ -117,9 +117,6 @@ data ErrorReportPart = TextPart String
117117 deriving (Show, Eq, Data, Typeable)
118118
119119
120−-- Please remember to keep Err synchronised with
121−-- Language.Reflection.Errors.Err in the stdlib!
122−
123120data Provenance = ExpectedType
124121 | TooManyArgs Term
125122 | InferredVal
@@ -131,6 +128,10 @@ deriving instance NFData Err
131128deriving instance Binary Err
132129!-}
133130
131+
132+-- NB: Please remember to keep Err synchronised with
133+-- Language.Reflection.Errors.Err in the stdlib!
134+
134135-- | Idris errors. Used as exceptions in the compiler, but reported to users
135136-- if they reach the top level.
136137data Err' t