[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    RE: [Haskell-cafe] Closed Classes
From:       MR K P SCHUPKE <k.schupke () imperial ! ac ! uk>
Date:       2004-08-13 16:17:04
Message-ID: 200408131617.i7DGH4B03876 () aprilia ! ee ! ic ! ac ! uk
[Download RAW message or body]

>In my view without that simple defining
>rule it is difficult to come up with a proposal that is simple,

I think I have decided that it was not really closed world I was
thinking of, but more along the lines of what Simon PJ posted...

After all at some point the compiler _has_ to commit to an instance.
If we leave everything as it is - unless the compiler cannot choose
an instance due to unresolved overloading. In which case my suggestion
is that the compiler trys unifying all instances with the environment,
and if one and only one instance unifies then use that one...

	Keean.

[prev in list] [next in list] [prev in thread] [next in thread]