Changeset [846067b5d5a95e857ca96abbe5d136d14a2ddd4e] by Douglas Creager

November 10th, 2008 @ 09:03 PM

Implementing built-in functions as keywords

This patch adds support in the CSPM compiler for the built-in CSPM functions. We've implemented these as keywords, instead of trying to pre-seed a root environment with actual function definitions. There are test cases for all of the functions except for “Seq”, since it returns an infinite set. (We can define a “take” function that would allow us to test, at least partially, infinite sequences. But currently we can't define an analogous function for sets.) http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M cspm/src/HST/CSPM/Lexer.lhs
  • M cspm/src/HST/CSPM/Parser.hs
  • M cspm/src/HST/CSPM/Parser.ly
  • M cspm/tests/expressions/test-sequences.sh
  • M cspm/tests/expressions/test-sets.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.