Changeset [900dcad0972a827542f9bff774d31fb2bb1534cb] by Douglas Creager

November 8th, 2008 @ 11:33 PM

Definitions no longer need to be in alphabetical order

Previously, the code for creating an environment would assume that the list of bindings were already ordered — which meant that the definitions in a file or “let” statement would have to be alphabetized. With this patch, this restriction is no longer in place. http://github.com/dcreager/hst/c...

Committed by Douglas Creager

  • M cspm/src/HST/CSPM/Environments.hs
  • M cspm/tests/expressions/test-numbers.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.