Changeset [6257983d18e9ad718d8dbc9d7e528bda55098fcd] by Douglas Creager
Revision 6257983d18e9ad718d8dbc9d7e528bda55098fcd,
committed by Douglas Creager
· November 6th, 2008 @ 09:29 PM
Evaluate process expressions
This patch introduces initial support for evaluating process expressions into the equivalent CSP₀ scripts. There are still several important features to implement. Process names are based on the outermost named process term. Currently, these can only be introduced by a let statement. Functions that return processes don't completely work yet, since we'll need to encode the parameters of the function into the names of the processes that are generated by the function application. Finally, there isn't yet a good test suite for these new features.
Lighthouse: [#2] http://github.com/dcreager/hst/c...
13 changed files
-
M
cspm/HST.cabal -
M
cspm/src/HST/CSP0.hs -
M
cspm/src/HST/CSP0/Processes.lhs -
M
cspm/src/HST/CSPM/Bind.hs -
M
cspm/src/HST/CSPM/Environments.hs -
M
cspm/src/HST/CSPM/Evaluate.hs -
M
cspm/src/HST/CSPM/Types.hs -
M
cspm/tests/HST/CSPM/Tests/Booleans.hs -
M
cspm/tests/HST/CSPM/Tests/Lambdas.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