Bug in linearize -all

[PeterLjunglof]

There's a bug in linearize with flag -all. The last example below ("l -all h a") should also get "b x" as result. It looks like concatenation removes the effect of the -all flag.

testA> l -all a
a
b

testA> l -all f a
a
b

testA> l -all g a
a
b
x

testA> l -all h a
a x


abstract testA = {
cat S;
fun a : S;
fun f, g, h : S -> S;
}

concrete test of testA = {
lin a = {s = variants{"a";"b"}};
lin f x = {s = x.s};
lin g x = {s = variants{x.s;"x"}};
lin h x = {s = x.s ++ "x"};
}

[bringert]

Fixed. This was a bug in PGF.ShowLinearize.mkRecord, where PGF.Linearize.realize was used for concatenations, instead of PGF.Linearize.realizes.