Changeset [8da06dd715d084d42f086b1df9e6730417a30d17] by Douglas Creager
Revision 8da06dd715d084d42f086b1df9e6730417a30d17,
committed by Douglas Creager
· February 28th, 2009 @ 12:32 PM
Product types
In a type expression, a tuple creates a product type. In other words, with a type expression, you get
nametype A = ({0,1}, {2,3}) A == {(0,2), (0,3), (1,2), (1,3)}
whereas in a regular expression, you get
A == ({0,1}, {2,3})
Currently type expressions only occur in nametype statements.
Lighthouse: [#17] http://github.com/hst/hst/commit...
7 changed files
-
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/Sets.lhs -
M
cspm/src/HST/CSPM/Types.hs -
M
cspm/tests/expressions/test-types.sh