2 Jul
2002
2 Jul
'02
11:36 p.m.
Hi, does PolyML support the syntax
<sig> where type t = foo and t' = bar
?
I am getting parse errors at the "and" when I try to use it. OTOH,
<sig> where type t = foo where type t' = bar
parses fine, but my sigs are already verbose enough :(
--
Ian Zimmerman, Oakland, California, U.S.A.
GPG: 433BA087 9C0F 194F 203A 63F7 B1B8 6E5A 8CA3 27DB 433B A087
EngSoc adopts market economy: cheap is wasteful, efficient is expensive.