Changeset [1d240247d57548c7162181ab816f4dceb9f5253b] by Douglas Creager
Revision 1d240247d57548c7162181ab816f4dceb9f5253b,
committed by Douglas Creager
· February 13th, 2009 @ 10:13 PM
“nametype” statements
The CSPM parser now supports “nametype” statements at the top level of a CSPM script. A nametype statement is a simple binding of a variable to a type expression. There is not yet support for the tuple operator in type expressions; a later patch will introduce its product type semantics.
Lighthouse: [#17] http://github.com/hst/hst/commit...
7 changed files
-
M
cspm/src/HST/CSPM/Definitions.lhs -
M
cspm/src/HST/CSPM/Lexer.lhs -
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 -
M
cspm/tests/run-tests.sh