diff options
Diffstat (limited to 'src/Obs/Parser.idr')
| -rw-r--r-- | src/Obs/Parser.idr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Obs/Parser.idr b/src/Obs/Parser.idr index 8eea42c..68591ee 100644 --- a/src/Obs/Parser.idr +++ b/src/Obs/Parser.idr @@ -424,7 +424,8 @@ castErr : Either (List1 (ParsingError tok)) a -> Logging ann a castErr (Right x) = pure x castErr (Left errs) = do for_ {b = ()} errs - (\(Error msg bounds) => maybe id inBounds bounds $ error msg) + (\(Error msg bounds) => + inBounds $ map error $ maybe (irrelevantBounds msg) (MkBounded msg True) bounds) abort partial |