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

David Roundy droundy at darcs.net
Fri Jun 15 16:43:19 EDT 2007

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

More information about the Haskell-Cafe mailing list