Good idea. I've implemented this in the HEAD.
Simon
| -Original Message-
| From: Keith Wansbrough [mailto:[EMAIL PROTECTED]]
| Sent: 06 November 2000 17:39
| To: [EMAIL PROTECTED]
| Subject: Module `Foo' does not export `bar' (via hi-boot)
|
|
| I recently added an export to DataCon,
On 07-Nov-2000, Tom Pledger [EMAIL PROTECTED] wrote:
Supposing that (some version of) Haskell had first class modules, and
type variables could be universally quantified at the module level,
would rule 2 of the monomorphism restriction go away?
No.
|Rule 2. Any monomorphic type
Fergus Henderson wrote:
On 27-Oct-2000, José Romildo Malaquias [EMAIL PROTECTED] wrote:
On Fri, Oct 27, 2000 at 09:07:24AM -0700, Jeffrey R. Lewis wrote:
Yes, as implemented using the dictionary
translation, implicit parameterization can lead to loss of sharing, exactly in
the same
Fergus Henderson writes:
On 07-Nov-2000, Tom Pledger [EMAIL PROTECTED] wrote:
Supposing that (some version of) Haskell had first class modules, and
type variables could be universally quantified at the module level,
would rule 2 of the monomorphism restriction go away?
No.
|
