diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-10 16:01:07 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-10 16:01:07 +0000 |
| commit | fbc72e32304399d7ca01a2a36fa81f81fa244879 (patch) | |
| tree | e1559325543ebf424de098e8d4ce71d000b81d82 | |
| parent | 4e795bab9b0e5dfcad903eb4c9d0aa0a5dab6e94 (diff) | |
added a note on refreshing variables in AbsCompute
| -rw-r--r-- | src/PGF/AbsCompute.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PGF/AbsCompute.hs b/src/PGF/AbsCompute.hs index f38b8d952..0997ca952 100644 --- a/src/PGF/AbsCompute.hs +++ b/src/PGF/AbsCompute.hs @@ -56,7 +56,7 @@ beta vv c = case c of subst :: [CId] -> Subst -> Expr -> Expr 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) EVar x -> maybe e id $ lookup x g _ -> e |