[Haskell-cafe] Re: [darcs-devel] advice on GADT type witnesses
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! :)
Department of Physics
Oregon State University
More information about the Haskell-Cafe