CSP₀ identifiers should be able to contain underscores
Reported by Douglas Creager | April 28th, 2008 @ 06:06 PM | in 1.0-α2
The CSP₀ parser currently only accepts underscores as the first character of an identifier. The spec says they can appear anywhere.
Comments and changes to this ticket
-
Douglas Creager April 28th, 2008 @ 06:11 PM
- State changed from “new” to “resolved”
(from [61b37e197ef47a91949befb3fc773ee79ce9a31d]) 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]
Please Sign in or create a free account to add a new ticket.
With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.
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.
Douglas Creager