G'day all.
On Wed, Feb 05, 2003 at 09:28:05PM -0600, Jon Cast wrote:
> I think I see what you're saying. I still maintain, however, that,
> since you've changed the type of B.b (admittedly implicitly), and B.b is
> exported from B, that you've changed B's interface.
>
> There is a reason make i
Andrew J Bromage <[EMAIL PROTECTED]> wrote:
> G'day all.
> On Wed, Feb 05, 2003 at 08:05:56PM -0600, Jon Cast wrote:
> > I'm not sure I follow this. If you change the type of a value exported
> > from a given module, that's a public change, no? And if you don't, why
> > should re-compilation be
G'day all.
On Wed, Feb 05, 2003 at 08:05:56PM -0600, Jon Cast wrote:
> I'm not sure I follow this. If you change the type of a value exported
> from a given module, that's a public change, no? And if you don't, why
> should re-compilation be needed?
Consider this:
<<
module A where
import B
Andrew J Bromage <[EMAIL PROTECTED]> wrote:
> G'day all.
> On Wed, Feb 05, 2003 at 04:16:33PM -0800, Iavor S. Diatchki wrote:
> > why do you think separate compilation is difficult to achieve in
> > Haskell 98?
> Because of type inference over recursive module imports. Determining
> the type of
G'day all.
I noticed a mistake.
On Thu, Feb 06, 2003 at 11:42:21AM +1100, Andrew J Bromage wrote:
> Because of type inference over recursive module imports.
I meant to say _transitive_ module imports, which includes recursive
module imports.
Cheers,
Andrew Bromage
_
G'day all.
On Wed, Feb 05, 2003 at 04:16:33PM -0800, Iavor S. Diatchki wrote:
> why do you think separate compilation is difficult to achieve in Haskell
> 98?
Because of type inference over recursive module imports. Determining
the type of a function may, in general, require inferring types fr
hello,
Andrew J Bromage wrote:
...
What H98 does is it defines a language for which separate compilation
is at best extremely difficult and at worst virtually impossible
without extra information which is not part of H98 (such as GHC's
hi-boot files).
> ...
why do you think separate compilation