GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-05 09:12:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

added a note on refreshing variables in AbsCompute

Browse Source
This commit is contained in:
aarne
2008-10-10 16:01:07 +00:00
parent 4e795bab9b
commit fbc72e3230
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/PGF/AbsCompute.hs
View File

@@ -56,7 +56,7 @@ beta vv c = case c of
subst :: [CId] -> Subst -> Expr -> Expr subst :: [CId] -> Subst -> Expr -> Expr
subst xs g e = case e of subst xs g e = case e of
EAbs x b -> EAbs x (subst (x:xs) g e) EAbs x b -> EAbs x (subst (x:xs) g e) ---- TODO: refresh variables
EApp f a -> EApp (substg f) (substg a) EApp f a -> EApp (substg f) (substg a)
EVar x -> maybe e id $ lookup x g EVar x -> maybe e id $ lookup x g
_ -> e _ -> e