@@ -74,7 +74,7 @@ str prettyAType(aadt(str s, [], SyntaxRole _)) = s;
7474str prettyAType(aadt(str s, ps, SyntaxRole _)) = " <s > [<prettyAType (ps )> ]" when size(ps) > 0;
7575
7676str prettyAType(t: acons(AType adt, /*str consName,*/
77- list[AType fieldType ] fields,
77+ list[AType] fields,
7878 list[Keyword] kwFields))
7979 = " <prettyAType (adt )> ::<t .alabel > (<intercalate (", " , ["<prettyAType (ft )><ft .alabel ? ? " <ft .alabel > " : "" > " | ft <- fields ])><isEmpty (kwFields ) ? "" : ", " ><intercalate ("," , ["<prettyAType (kw .fieldType )> <kw .fieldName > =..." | Keyword kw <- kwFields ])> )";
8080
@@ -140,7 +140,7 @@ Symbol atype2symbol1(areal()) = Symbol::\real();
140140Symbol atype2symbol1(arat()) = \r at();
141141Symbol atype2symbol1(astr()) = \str();
142142Symbol atype2symbol1(anum()) = Symbol::\n um();
143- Symbol atype2symbol1(anode( list[AType fieldType ] fields)) = Symbol::\n ode();
143+ Symbol atype2symbol1(anode( list[AType] fields)) = Symbol::\n ode();
144144Symbol atype2symbol1(avoid()) = Symbol::\void();
145145Symbol atype2symbol1(avalue()) = Symbol::\value();
146146Symbol atype2symbol1(aloc()) = Symbol::\loc();
@@ -171,7 +171,7 @@ Symbol atype2symbol1(aadt(str s, ps, contextFreeSyntax())) = \parameterized-sort
171171Symbol atype2symbol1 (aadt (str s , ps , lexicalSyntax ())) = \parameterized -lex (s , [atype2symbol (p ) | p <- ps ]) when size (ps ) > 0 ;
172172
173173Symbol atype2symbol1 (t : acons (AType adt ,
174- list [AType fieldType ] fields ,
174+ list [AType ] fields ,
175175 list [Keyword ] kwFields ))
176176 = Symbol ::cons (atype2symbol (adt ), t .alabel , [atype2symbol (f ) | f <- fields ]); // we loose kw fields here
177177
0 commit comments