From 3950a84c00f54ab39f2a209c368cc02460eeebd7 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 3 Jan 2023 13:46:38 +0000
Subject: Add more program structure to abstract terms.

Add more program structure to type inference and checking.
---
 src/Obs/Parser.idr | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/Obs/Parser.idr')

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
-- 
cgit v1.2.3