reckmann at cs.tu-berlin.de
Tue Aug 16 09:23:57 EDT 2005
Am Dienstag, 16. August 2005 13:48 schrieb Keean Schupke:
> Picked up on this late... I have working examples of add etc under
> I can't remeber all the issues involved in getting it working, but I can
> post the
> code for add if its any use?
Yes, that would be nice. I'd like to see 'add' working... However, after each
answer to my posting, I get more confused. Simon Peyton-Jones took all of my
hope to get it working, because ghc doesn't like universal quantified but
uniquely idetified types (at least, this is my understanding of his email).
Now you have a working 'add' typelevel program. And the most confusing part
for me is, that my fibonacci number program works, even though it makes use
of the not working version of add.
So, I'm really looking forward to your version!
More information about the Glasgow-haskell-users