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

lit case was accidentally removed

Browse Source
This commit is contained in:
Steve Dunham
2026-03-28 19:36:50 -07:00
parent f42f4aecbe
commit ac231173ed
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/Lib/Elab.newt
View File

@@ -343,6 +343,7 @@ rename meta ren lvl (VPi fc n icit rig ty tm) = do
pure (Pi fc n icit rig ty' scope') pure (Pi fc n icit rig ty' scope')
rename meta ren lvl (VU fc) = pure (UU fc) rename meta ren lvl (VU fc) = pure (UU fc)
rename meta ren lvl (VErased fc) = pure (Erased fc) rename meta ren lvl (VErased fc) = pure (Erased fc)
rename meta ren lvl (VLit fc lit) = pure (Lit fc lit)
-- for now, we don't do solutions with case, let, letrec in them -- for now, we don't do solutions with case, let, letrec in them
-- If we we need this, follow the model of VLam -- If we we need this, follow the model of VLam
rename meta ren lvl tm = error (getFC tm) "Unhandled term in `rename`: \{show tm}" rename meta ren lvl tm = error (getFC tm) "Unhandled term in `rename`: \{show tm}"