Re: compiler weirdness with crazy types

Matt,

Thanks for providing this cool code! I tried it out and it works perfectly. With
the new Eclipse plugin (nightly from August 2.) the problem with the squares
does only appear partially. Though at some point I get an error message from the
plugin about the cyclic reference, the code seems to compile fine:

println((nullval[_1 x _1]).eval)
println((nullval[_1 x _2]).eval)
println((nullval[_2 x _3]).eval)
println((nullval[_2 x _2]).eval)

correctly prints
1
2
6
4

Michael