Changeset [712ada84eb96967ccda4008b9f7a089f158e4edc] by Douglas Creager

November 20th, 2008 @ 08:51 PM

“let”s now allow pattern definitions and multiple-branch functions

This patch extends the parser and AST evaluator to allow the same kinds of definitions in a “let” statement as can appear at the top level of a script. Specifically, the left-hand side of a let binding can now be an arbitrary pattern, or a function defined using multiple branches. http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M cspm/qc-tests/HST/CSPM/Tests/Lambdas.hs
  • M cspm/qc-tests/HST/CSPM/Tests/Lets.hs
  • M cspm/src/HST/CSPM/Bind.hs
  • M cspm/src/HST/CSPM/Definitions.lhs
  • M cspm/src/HST/CSPM/Parser.hs
  • M cspm/src/HST/CSPM/Parser.ly
  • M cspm/src/HST/CSPM/Tool/Compile.lhs
  • M cspm/src/HST/CSPM/Tool/Evaluate.lhs
  • M cspm/src/HST/CSPM/Types.hs
  • M cspm/tests/expressions/test-lets.sh
  • M cspm/tests/run-tests.sh
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.