dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Fix FC on imports - make empty bounds the identity

Browse Source
This commit is contained in:
Steve Dunham
2026-02-09 10:16:56 -08:00
parent d36f6ddacb
commit 08ed4178cf
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/Lib/Common.newt
View File

@@ -15,9 +15,15 @@ record Bounds where
-- FIXME we should handle overlap and out of order.. -- FIXME we should handle overlap and out of order..
instance Add Bounds where instance Add Bounds where
a + b = a + b =
if empty a then b
else if empty b then a else
let a' = if a.startLine < b.startLine || a.startLine == b.startLine && a.startCol < b.startCol then a else b let a' = if a.startLine < b.startLine || a.startLine == b.startLine && a.startCol < b.startCol then a else b
b' = if a.endLine < b.endLine || a.endLine == b.endLine && a.endCol < b.endCol then b else a b' = if a.endLine < b.endLine || a.endLine == b.endLine && a.endCol < b.endCol then b else a
in MkBounds a'.startLine a'.startCol b'.endLine b'.endCol in MkBounds a'.startLine a'.startCol b'.endLine b'.endCol
where
empty : Bounds → Bool
empty (MkBounds 0 0 0 0) = True
empty _ = False
instance Eq Bounds where instance Eq Bounds where
(MkBounds sl sc el ec) == (MkBounds sl' sc' el' ec') = (MkBounds sl sc el ec) == (MkBounds sl' sc' el' ec') =