Changeset [624f65caa7bc15a6281e6df7ece2d90bca9ed279] by Douglas Creager

March 2nd, 2009 @ 06:45 PM

Dotted values in “nametype” statements

Dotted values in a type expression create product types, just like tuple values:

nametype A = {0,1}.{2,3} A == {0.2, 0.3, 1.2, 1.3}

Lighthouse: [#15] http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M cspm/src/HST/CSPM/Bind.hs
  • M cspm/src/HST/CSPM/Evaluate.hs
  • M cspm/src/HST/CSPM/Parser.hs
  • M cspm/src/HST/CSPM/Parser.ly
  • M cspm/src/HST/CSPM/Types.hs
  • M cspm/tests/expressions/test-dots.sh
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.