Changeset [61b37e197ef47a91949befb3fc773ee79ce9a31d] by Douglas Creager
April 28th, 2008 @ 06:10 PM
CSP₀ can now contain internal underscores
The CSP₀ parser was only accepting underscores in an identifier name
if they were the first character in the identifier. This patch
corrects the parser so that underscores can occur anywhere in an
identifier.
Lighthouse: [#7 state:resolved]
Committed by Douglas Creager
- A tests/csp/00-underscores.csp0
- A tests/csp/00-underscores.f-normal-output
- A tests/csp/00-underscores.f-prenormal-output
- A tests/csp/00-underscores.output
- A tests/csp/00-underscores.t-normal-output
- A tests/csp/00-underscores.t-prenormal-output
- M src/parser/scanner.cc
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.