Changeset [5767f91d2daf37310ef12fbfd1c7f0617780cc46] 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...

Committed by Douglas Creager

  • 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
New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

An open-source refinement checker for the CSP process algebra.