Changeset [5767f91d2daf37310ef12fbfd1c7f0617780cc46] by Douglas Creager
Revision 5767f91d2daf37310ef12fbfd1c7f0617780cc46,
committed by Douglas Creager
· August 31st, 2008 @ 09:15 AM
Evaluation rules for lambdas
This patch introduces lambdas and application statements. This requires carrying around bound expressions as regular expressions, since the actual parameters to an application are already bound, but we need to add those actual parameters to the environment created for evaluating the lambda body.
Lighthouse: [#11 state:resolved] http://github.com/dcreager/hst/c...
11 changed files
-
M
cspm/HST.cabal -
M
cspm/src/HST/CSPM.hs -
M
cspm/src/HST/CSPM/Bind.hs -
M
cspm/src/HST/CSPM/BoundExpressions.hs -
M
cspm/src/HST/CSPM/Environments.hs -
M
cspm/src/HST/CSPM/Evaluate.hs -
M
cspm/src/HST/CSPM/Expressions.hs -
M
cspm/src/HST/CSPM/Types.hs -
M
cspm/src/HST/CSPM/Values.hs -
M
cspm/tests/HST/CSPM/Tests.hs -
M
cspm/tests/HST/CSPM/Tests/Lambdas.hs