File tree Expand file tree Collapse file tree 2 files changed +3
-2
lines changed
Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -812,8 +812,9 @@ algorithm
812812 case ( txt,
813813 TplAbsyn . ARRAY_TYPE (ofType = i_ofType) )
814814 equation
815+ txt = Tpl . writeTok(txt, Tpl . ST_STRING ("array<" ));
815816 txt = typeSig(txt, i_ofType);
816- txt = Tpl . writeTok(txt, Tpl . ST_STRING ("[:] " ));
817+ txt = Tpl . writeTok(txt, Tpl . ST_STRING ("> " ));
817818 then txt;
818819
819820 case ( txt,
Original file line number Diff line number Diff line change @@ -124,7 +124,7 @@ end typedIdentsEx;
124124template typeSig(TypeSignature it) ::=
125125 match it
126126 case LIST_TYPE(__) then 'list<<%typeSig(ofType)%>>'
127- case ARRAY_TYPE(__) then '< %typeSig(ofType)%>[:] '
127+ case ARRAY_TYPE(__) then 'array<< %typeSig(ofType)%>> '
128128 case OPTION_TYPE(__) then 'Option<<%typeSig(ofType)%>>'
129129 case TUPLE_TYPE(__) then 'tuple<<%ofTypes |> it => typeSig(it);separator=", "%>>'
130130 case NAMED_TYPE(__) then pathIdent(name)
You can’t perform that action at this time.
0 commit comments