Ticket #23 (closed defect: fixed)

Opened 6 years ago

Last modified 6 years ago

Bug in linearize -all

Reported by: PeterLjunglof Owned by:
Priority: major Version: 3.0
Keywords: Cc:

Description

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"};
}

Change History

Changed 6 years ago by bringert

  • status changed from new to closed
  • resolution set to fixed

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

Note: See TracTickets for help on using tickets.