Changeset [a086a735566dd10bebe7f0d85ccb209242c06317] by Douglas Creager

March 2nd, 2009 @ 06:19 PM

Dotted values

This patch introduces basic support for dotted values. A dotted value is similar to a tuple:

1.2 (1,2)

However, dots support concatenation:

x = 1.2 y = 3.4 x.y == 1.2.3.4

The CSPM parser now allows you to construct dotted values using the “.” operator. We still need to add support for dotted values in patterns and type expressions.

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
  • M cspm/tests/run-tests.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.