On Sun, Oct 2, 2011 at 23:25, David Nadlinger <s...@klickverbot.at> wrote:
> By the way, the issue here is the builtin primitive types are not considered > symbols, user-defined types are matched by alias. That's because user-defined types have a name, I guess. So alias catches the name, not the underlying types (if that makes sense). Hmm, I wonder what happens with anonymous user-defined types. I guess the compiler has an internal name for them, like for anonymous functions. Philippe
