Changeset [efa9cd5893cf6fded4995ce7354c323c11e41672] by Douglas Creager

March 4th, 2009 @ 12:01 AM

Complex datatypes

This patch introduces support for “complex” datatype statements — i.e., those with data values. This includes test cases for most of the examples in section A.3.3 of the FDR manual.

Lighthouse: [#21 state:resolved] http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • 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-types.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.