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

[ cleanup ] dead code

Browse Source
This commit is contained in:
Steve Dunham
2025-07-26 07:23:48 -07:00
parent 1bdac27097
commit 2d53976602
1 changed files with 0 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/Lib/Elab.newt
View File

@@ -757,14 +757,7 @@ updateContext ctx ((k, val) :: cs) =
info (getFC val) "need to unify \{show val} and \{show val'} or something" info (getFC val) "need to unify \{show val} and \{show val'} or something"
updateContext ctx cs updateContext ctx cs
Nothing => error (getFC val) "INTERNAL ERROR: bad index in updateContext" Nothing => error (getFC val) "INTERNAL ERROR: bad index in updateContext"
--
-- updateContext ({env $= replace ix val, bds $= replaceV ix Defined } ctx) cs
where where
replace : Nat -> Val -> List Val -> List Val
replace k x Nil = Nil
replace Z x (y :: xs) = x :: xs
replace (S k) x (y :: xs) = y :: replace k x xs
replaceV : ∀ a. Nat -> a -> List a -> List a replaceV : ∀ a. Nat -> a -> List a -> List a
replaceV k x Nil = Nil replaceV k x Nil = Nil