rhi/quox
rhi
/
quox
1
0
Fork 0
Code Issues 16 Pull Requests 1 Releases Wiki Activity

disambiguate some names 

(for the reader not the computer)
This commit is contained in:
rhiannon morris 2023-11-02 18:14:36 +01:00
parent 91de0a5b4d
commit 473df5fab4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/Quox/Untyped/Erase.idr
View File

@ -460,7 +460,7 @@ uses i (Let x rhs body _) = uses i rhs + uses (VS i) body
uses i (Erased _) = 0
export
inlineable : Term n -> Bool
inlineable : U.Term n -> Bool
inlineable (F {}) = True
inlineable (B {}) = True
inlineable (Tag {}) = True
@ -469,7 +469,7 @@ inlineable (Erased {}) = True
inlineable _ = False
export
trimLets : Term n -> Term n
trimLets : U.Term n -> U.Term n
trimLets (F x loc) = F x loc
trimLets (B i loc) = B i loc
trimLets (Lam x body loc) = Lam x (trimLets body) loc