Changeset [260a78539f5808c2553f028caf28fc47e57ddb0c] by Douglas Creager

August 30th, 2008 @ 11:17 PM

Let bindings

This patch introduces evaluation rules for let bindings and variable references. Currently, this is the only way to define the value for a variable.

Lighthouse: [#11] http://github.com/dcreager/hst/c...

Committed by Douglas Creager

  • M cspm/src/HST/CSPM.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/tests/HST/CSPM/Tests.hs
  • M cspm/tests/HST/CSPM/Tests/Booleans.hs
  • M cspm/tests/HST/CSPM/Tests/Lets.hs
  • M cspm/tests/HST/CSPM/Tests/Numbers.hs
  • M cspm/tests/HST/CSPM/Tests/Sequences.hs
  • M cspm/tests/HST/CSPM/Tests/Sets.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.