diff options
| author | johnvg | 2002-10-18 14:18:13 +0000 |
|---|---|---|
| committer | johnvg | 2002-10-18 14:18:13 +0000 |
| commit | 81ca3daec5e15a8453861b34a7a64ad1690fae7c (patch) | |
| tree | 223ff43b2334982260b67ecaaa2725456abcdfc1 /frontend/syntax.dcl | |
| parent | disable arity check to circumvent bug in compiling the module relayout.icl in... (diff) | |
add boxed records and strict dot dot expressions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1236 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 11b070c..af12d3d 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -104,7 +104,7 @@ instance == FunctionOrMacroIndex :: ModuleKind = MK_Main | MK_Module | MK_System | MK_None | MK_NoMainDcl :: RhsDefsOfType = ConsList ![ParsedConstructor] - | SelectorList !Ident ![ATypeVar] ![ParsedSelector] + | SelectorList !Ident ![ATypeVar] !Bool /*is_boxed_record*/ ![ParsedSelector] | TypeSpec !AType | EmptyRhs !BITVECT | AbstractTypeSpec !BITVECT !AType @@ -402,6 +402,7 @@ cIsImportedObject :== False :: RecordType = { rt_constructor :: !DefinedSymbol , rt_fields :: !{# FieldSymbol} + , rt_is_boxed_record :: !Bool } :: FieldSymbol = @@ -1163,10 +1164,10 @@ instance toString KindInfo , qual_filename :: !FileName } -:: Sequence = SQ_FromThen ParsedExpr ParsedExpr - | SQ_FromThenTo ParsedExpr ParsedExpr ParsedExpr - | SQ_From ParsedExpr - | SQ_FromTo ParsedExpr ParsedExpr +:: Sequence = SQ_FromThen !Int ParsedExpr ParsedExpr + | SQ_FromThenTo !Int ParsedExpr ParsedExpr ParsedExpr + | SQ_From !Int ParsedExpr + | SQ_FromTo !Int ParsedExpr ParsedExpr :: BoundExpr :== Bind ParsedExpr Ident |