Simon Marlow [EMAIL PROTECTED] writes:
I'm slightly inclined not to make this change, but I could be swayed if
there was enough interest in it. What I'm seeing so far is not
overwhelming support for the change. Simon PJ is in favour, though.
a.out is tradition, of course, but OTOH, I don't
Simon Marlow wrote:
On 11 October 2005 06:29, Tomasz Zielonka wrote:
[..]
Would you accept the patch?
I'm slightly inclined not to make this change, but I could be swayed if
there was enough interest in it. What I'm seeing so far is not
overwhelming support for the change. Simon PJ is in
On 11 October 2005 09:58, Ketil Malde wrote:
Simon Marlow [EMAIL PROTECTED] writes:
I'm slightly inclined not to make this change, but I could be swayed
if there was enough interest in it. What I'm seeing so far is not
overwhelming support for the change. Simon PJ is in favour, though.
On 11 October 2005 10:04, Christian Maeder wrote:
Simon Marlow wrote:
You can always use Cabal, BTW :)
ghc should supply it, too.
GHC does come with Cabal. ?
Cheers,
Simon
___
Glasgow-haskell-users mailing list
I'm afraid that GHC does not treat the interaction of type classes and
GADTs properly. Your example shows this up even more starkly than
usual: why should the IsZ thing work, but the Div one not work?
The right fix is alas not very simple, which is why I have not done it.
(It involves what
On 2005-10-11 at 09:49BST Simon Marlow wrote:
On 11 October 2005 06:29, Tomasz Zielonka wrote:
It wasn't meant to be a bug report, only a feature request ;-)
Actually, I was mostly interested if anyone would mind if GHC
chose the name based on the top-level module.
Would you accept
Hi,
SPJ wrote:
The right fix is alas not very simple, which is why I have not done
it. (It involves what Martin Sulzmann calls implication
constraints.) However, GADTs and type classes ought to be fine
together, and the fact that many people have reported bugs suggests
that the interaction
On Tue, 2005-10-11 at 10:45 +0100, Jon Fairbairn wrote:
On 2005-10-11 at 09:49BST Simon Marlow wrote:
On 11 October 2005 06:29, Tomasz Zielonka wrote:
It wasn't meant to be a bug report, only a feature request ;-)
Actually, I was mostly interested if anyone would mind if GHC
chose
On 11 October 2005 11:04, Duncan Coutts wrote:
I'd tend to agree.
It'd mean one less magic incantation to tell students when teaching
practicals (and one less thing for them to get wrong) if they can do:
ghc --make Main.hs
rather than
ghc --make Main.hs -o Main
(that's one
On 10/11/05, Simon Marlow [EMAIL PROTECTED] wrote:
Ok, let's close this bikeshed. Someone want to send us a patch?
I will try to do this, but I don't have a working PC at home at the moment.
Best regards
Tomasz
___
Glasgow-haskell-users mailing list
| I plan to tackle it in the next couple of months.
|
| Would this also address how plain old Algebraic Data Types and type
| classes work together? The issues seems related.
Well that's specified by Haskell 98, so I don't want to change it.
Instead, I propose to behave sensibly (i.e.
Hi,
While working on a toy compiler I realized that Data.Set.Set (Set) is not
an instance of the Functor class. In other words: 'fmap' is not defined
on it. I tried various ways of defining an instance but I failed. The
reason is quite interesting: Set is a type constructor (* - *) so it
On Tuesday 11 October 2005 18:16, Lajos Nagy wrote:
While working on a toy compiler I realized that Data.Set.Set (Set) is
not an instance of the Functor class. In other words: 'fmap' is not
defined on it. I tried various ways of defining an instance but I
failed. The reason is quite
On Mon, Oct 10, 2005 at 04:52:13PM +0100, Simon Marlow wrote:
There's no really deep reason for this choice, other than it being what
GHC does normally - i.e. the default binary has always been a.out
(main.exe on Windows) unless -o is given.
I don't see enough of a compelling reason to
14 matches
Mail list logo
