Re: The dreaded monomorphism restriction

[haskell-request@cs.glasgow.ac.uk]

Date: 31 May 91  8:27
From: haskell-request@cs.glasgow.ac.uk
Sender: Joe Fasel <jhf@c3serve.c3.lanl.gov>
To: simonpj@cs.glasgow.ac.uk
Cc: haskell@cs.yale.edu
Subject: Re: The dreaded monomorphism restriction

Original-Via: uk.ac.nsf; Fri, 31 May 91 08:22:12 BST
Original-Sender: jhf <jhf%gov.lanl.c3.c3serve@yale.edu>

Simon,

It seems that we always get mail delays through the UCL gateways
just when time is critical.  I just now received your message about
monomorphism, as I decided to check the mail once more before
turning in.

Brian and I have discussed your proposal and are intrigued by it,
but we are not sure we fully understand.  In particular, can you
explain what mutual recursion of value bindings has necessarily
to do with monomorphism of overloaded type variables?

Thanks.

--Joe (and Brian)