Changeset [80bcfc675379f024f3f4c37770bb755c07e2ce8e] by Douglas Creager

January 13th, 2009 @ 12:03 AM

Block comments

The CSPM compiler now supports block comments:

{-

This is a comment.
{-
  Block comments should nest.
-}
-- Technically line comments are good inside block comments, too,
-- but this has no real meaning since "--" has no special meaning

-- in a block comment. -}

Lighthouse: [#16 status:resolved] http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M cspm/src/HST/CSPM/Lexer.lhs
  • M cspm/tests/mechanics/test-comments.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.