the elimination of empty tokens is moved to the typechecker

This commit is contained in:
krangelov
2021-12-14 15:59:13 +01:00
parent 7556662344
commit e2b6774bd3
2 changed files with 7 additions and 12 deletions

View File

@@ -120,9 +120,7 @@ eval env (Vr x) vs = case lookup x env of
eval env (Sort s) [] = return (VSort s)
eval env (EInt n) [] = return (VInt n)
eval env (EFloat d) [] = return (VFlt d)
eval env (K t) []
| null t = return (VC [])
| otherwise = return (VStr t)
eval env (K t) [] = return (VStr t)
eval env Empty [] = return (VC [])
eval env (App t1 t2) vs = do tnk <- newThunk env t2
eval env t1 (tnk : vs)