Changeset [e862ad863583088b9bce5eec6e5a172272419e35] by Douglas Creager
November 8th, 2008 @ 11:24 PM
Allow trailing newlines at end of CSPM script
This patch modifies the CSPM parser to allow newlines to appear after the last definition in the script. http://github.com/dcreager/hst/c...
Committed by Douglas Creager
- M cspm/src/HST/CSPM/Parser.hs
- M cspm/src/HST/CSPM/Parser.ly
- M cspm/tests/expressions/test-lambdas.sh
- M cspm/tests/functions.sh
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.