Changeset [893bd7eea2410221f85d076815f92f677d8c72ae] by Douglas Creager
Revision 893bd7eea2410221f85d076815f92f677d8c72ae,
committed by Douglas Creager
· September 16th, 2008 @ 12:19 AM
Binding and evaluation now take place in a monad
Once we add process terms to the CSPM language, we'll need a State monad to bind and evaluate them, since we'll need to generate new, unique process names during evaluation. This patch refactors the existing binding and evaluation code to use a State monad. Right now, the state is empty, but once we introduce processes, it will contain the list of used process names.
Lighthouse: [#2] http://github.com/dcreager/hst/c...
9 changed files
-
M
cspm/HST.cabal -
M
cspm/src/HST/CSPM/Bind.hs -
M
cspm/src/HST/CSPM/Evaluate.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