Changeset [d47497c50ce9a2b80f7bf7b8cf4ecd89eaf52ef3] by Douglas Creager

November 10th, 2008 @ 09:23 AM

CSP₀ identifiers can now contain periods

The CSP₀ scanner did not accept identifiers with periods in their names. The CSPM compiler uses periods to construct nested identifiers for constructs such as lambdas and lets. So, we've changed the scanner to allow these kinds of identifiers. http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M doc/csp0.txt
  • M src/parser/scanner.cc
  • M tests/csp/00-identifiers.csp0
  • M tests/csp/00-identifiers.f-normal-output
  • M tests/csp/00-identifiers.f-prenormal-output
  • M tests/csp/00-identifiers.output
  • M tests/csp/00-identifiers.t-normal-output
  • M tests/csp/00-identifiers.t-prenormal-output
  • M tests/csp/CMakeLists.txt
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.