[Haskell-cafe] Re: [darcs-devel] advice on GADT type witnesses needed

[David Roundy]

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