Changeset [3f306f37f3a138f587eca1ef93dbee325c929a76] by Douglas Creager

November 19th, 2008 @ 11:10 PM

Lambda expressions now implemented using patterns, too

The previous “lambdas using patterns” patch only applied to lambda values. This patch changes lambda expressions and bound expressions to be implemented using patterns, too. http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M cspm/qc-tests/HST/CSPM/Tests/Lambdas.hs
  • M cspm/src/HST/CSPM/Bind.hs
  • M cspm/src/HST/CSPM/Evaluate.hs
  • M cspm/src/HST/CSPM/Parser.hs
  • M cspm/src/HST/CSPM/Parser.ly
  • M cspm/src/HST/CSPM/Types.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.