aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
authorjohnvg2007-04-11 13:03:32 +0000
committerjohnvg2007-04-11 13:03:32 +0000
commit0c39a0f829bb956928850737b5efe74690249754 (patch)
tree8071a397cd8e6bf81b0a168955761b40c66b2852 /frontend/syntax.dcl
parentremove cons_index field in pattern in functions that do not use this field (diff)
rename field cons_index as cons_number
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1665 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl7
1 files changed, 3 insertions, 4 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index 3ceb5fc..e40484f 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -907,7 +907,7 @@ cNonRecursiveAppl :== False
, cons_type :: !SymbolType
, cons_arg_vars :: ![[ATypeVar]]
, cons_priority :: !Priority
- , cons_index :: !Index
+ , cons_number :: !Index
, cons_type_index :: !Index
, cons_exi_vars :: ![ATypeVar]
, cons_type_ptr :: !VarInfoPtr
@@ -1199,8 +1199,7 @@ instance toString KindInfo
| PE_DynamicPattern !ParsedExpr !DynamicType
| PE_Dynamic !ParsedExpr !(Optional DynamicType)
- | PE_Generic !Ident !TypeKind /* AA: For generics, kind indexed identifier */
-
+ | PE_Generic !Ident !TypeKind /* AA: For generics, kind indexed identifier */
| PE_Empty
:: ParsedSelection = PS_Record !Ident !OptionalRecordName
@@ -1478,7 +1477,7 @@ ParsedSelectorToSelectorDef sd_type_index ps :==
st_attr_env = [], st_attr_vars = [] }}
ParsedConstructorToConsDef pc :==
- { cons_ident = pc.pc_cons_ident, cons_pos = pc.pc_cons_pos, cons_priority = pc.pc_cons_prio, cons_index = NoIndex, cons_type_index = NoIndex,
+ { cons_ident = pc.pc_cons_ident, cons_pos = pc.pc_cons_pos, cons_priority = pc.pc_cons_prio, cons_number = NoIndex, cons_type_index = NoIndex,
cons_type = { st_vars = [], st_args = pc.pc_arg_types, st_args_strictness=pc.pc_args_strictness, st_result = MakeAttributedType TE,
st_arity = pc.pc_cons_arity, st_context = [], st_attr_env = [], st_attr_vars = []},
cons_exi_vars = pc.pc_exi_vars, cons_type_ptr = nilPtr, cons_arg_vars = [] }