Changeset [06628c3b6114894c0d8cac5a3f5b327a0e922acd] by Douglas Creager
Revision 06628c3b6114894c0d8cac5a3f5b327a0e922acd,
committed by Douglas Creager
· September 30th, 2008 @ 11:19 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...
12 changed files
-
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