You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Record fields in canonical GF are generally always sorted (with s first, then the remainder alphabetically), except for when they are not. Example discovered in FoodsFin.gf.
lincat
Kind = {
s : ResFin_NForm => Str;
h : ResFin_Harmony;
postmod : ParamX_Number => Str
};lin
Cheese = {
s =table { ... };
h = ResFin_Back;
postmod =table { ... }
};
Here the fields in both the lincat and the lin are sorted the same way: s, h, postmod.
But also in the same file:
lincat
Quality = {
s : Prelude_Bool => ResFin_NForm => Str;
hasPrefix : Prelude_Bool;
p : Str
};lin
Expensive = {
hasPrefix = Prelude_False;
p ="";
s =table { ... }
};
Here the fields in the lin definition are not sorted in the same way.
This is not a GF error, but can cause problems if you assume sorting is done consistently.
The text was updated successfully, but these errors were encountered:
Record fields in canonical GF are generally always sorted (with
s
first, then the remainder alphabetically), except for when they are not. Example discovered in FoodsFin.gf.After compiling to canonical format:
We see the following in
canonical/FoodsFin.gf
:Here the fields in both the
lincat
and thelin
are sorted the same way:s
,h
,postmod
.But also in the same file:
Here the fields in the
lin
definition are not sorted in the same way.This is not a GF error, but can cause problems if you assume sorting is done consistently.
The text was updated successfully, but these errors were encountered: