
15 Jun
2007
15 Jun
'07
8:43 p.m.
On Fri, Jun 15, 2007 at 01:32:32PM -0700, Jason Dagit wrote:
I suspect your problem in making a testcase was moving the GADT declaration into the same file as the function, and thus needing to compile it with -fglasgow-exts anyway.
Yes, you're basically right about what I tried. I did suspect putting things into different modules was important, so I did that, but I was using ghci with -fglasgow-exts to load all the files. So that explains why I failed to trigger the problem. Sounds like this should be easy to fix on our end.
Indeed, I've already fixed this in my latest. Thanks Ian! :) -- David Roundy Department of Physics Oregon State University