On 15-Jul-1998, Mark P Jones [EMAIL PROTECTED] wrote:
We've seen several examples now, from Ralf, Alex, and others, where it is
useful to relax the proposed restriction:
The types in an instance-declaration context must all be type variables.
...
Without the restriction, it is easy to come
On 15-Jul-1998, Alex Ferguson [EMAIL PROTECTED] wrote:
Mark Jones:
Looking at the `size' of types is, of course, a generalization of Simon's
suggestion that contexts might be allowed to constrain only proper sub-
expressions of types in the context. (Proper sub-expressions are, by
read :: Read a = String - a
read s = let [(r,s')] = reads s in r
This *won't compile* if you don't treat the let binding definition
monomorphicly. Without monomorphism, the types of r and s' are
r :: Read a = a
s' :: Read a = String
This leads to an ambiguity error for s'.
On 15 Jul, Simon L Peyton Jones wrote:
I hadn't realised that your suggestion was a propos of Standard
Haskell.
I'm pretty leery about trying to agree any new libraries at this
stage, unless someone comes up with a worked-out, and implemented,
specification pretty quickly. The name of the
On 15-Jul-1998, S. Alexander Jacobson [EMAIL PROTECTED] wrote:
On Tue, 14 Jul 1998, Alastair Reid wrote:
and it's not clear that
fetching URLs outside the IO monad is sensible. Not at all clear.
I am thinking about using Haskell for XML scripting in which one imports
XML DTD's into
On Fri, 17 Jul 1998, Fergus Henderson wrote:
Both Java and Eiffel attempt to do away with Makefiles.
http://eiffel.com/doc/manuals/language/intro/system.maker.html).
So what's the difference between an "Assembly of Classes", and a GNU Makefile,
other than the name?
The virtue of ACE is
Sergey Mechveliani writes:
But question aside, on "MPC forces me to use non-variable contexts":
its this necessary to represent a Set as a constructor class?
Why do not declare
class (Foo a,Foo' b) = Set a b where ...
?
I'm not sure I follow. Can you elaborate on how
Stefan Westmeier writes:
Hi,
the following happend while compiling RegexpLib 1.4 from Meurig Sage
with ghc-3.03 (cvs) on a Linux box.
...
stefan@eiger:/usr/local/software/ghc/regexp/RegexpLib1.4 ghc-3.03 -v -concurrent
-fglasgow-exts -syslib exts -syslib misc -H25m -O