ghc6 behavior with circular instance declaration
haskellmail at yahoo.com.sg
Thu Oct 23 18:53:23 EDT 2003
--- Simon Peyton-Jones <simonpj at microsoft.com> wrote:
> I don't know why you would possibly want this.
yes, in this example there isn't any obvious reason to
motivate us writing such instance, but I am interested
in how GHC now handles coinduction in type class. It
will be neat if we can express coinductive algorithm
in terms of Haskell type class. Currently I am working
a project with Dr Martin Sulzmann in which we think
such an extension is neccessary.
> So far as I can see from your message, the recursive
> you are trying to build is exactly the same as what
> GHC will build
> automatically from the "conventional" instance
Yes, exactly, I realized that after I compiled the
code with -fext-core flag. Is it because it tries to
avoid building infinite evidence constructors?
Thanks for pointing out.
Kenny LU Zhuo Ming
School of Computing
National University of Singapore
Do You Yahoo!?
Faster. Easier. Bingo.
More information about the Haskell