Changeset [af5c2c1ec7c7a6bbce67caaf911a25e5f8edf6da] by Douglas Creager
November 6th, 2008 @ 09:59 PM
Top-level script no longer implemented as an implicit “let” statement
Before, we implemented the top level of a CSPM script the same way as a “let” statement — as a list of Bindings. This isn't exactly right, though, since there are statements that can appear at the top level of a script that aren't valid in a “let” statement. In Scattergood's grammar, this difference is encoded in the Defn and SimpleDefn rules. This patch implements that separation. This will allow us to start implementing the other possible top-level statements, such as “channel”. http://github.com/dcreager/hst/c...
Committed by Douglas Creager
- M cspm/HST.cabal
- M cspm/src/HST/CSPM.hs
- M cspm/src/HST/CSPM/Bind.hs
- M cspm/src/HST/CSPM/Definitions.lhs
- 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/Tool/Evaluate.lhs
- M cspm/src/HST/CSPM/Types.hs
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.