Re: compiler weirdness with crazy types

On Fri, Aug 1, 2008 at 2:40 PM, Matt Hellige <matt@...> wrote:
> This code compiles fine. We can even use the defined types! But if we
> uncomment the definition of "four":
>  type four = _2 x _2
> then we get the following:

More generally, it doesn't work for squares:
 type one = _1 x _1
 type nine = _3 x _3
These have the same problem. Does anyone see why?

Matt

--
Matt Hellige / matt@...
http://matt.immute.net