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]

http://github.com/dcreager/hst/c...

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
New-ticket 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.