Hi
Sorry to pile in late...
On 13 Feb 2012, at 09:09, Thijs Alkemade wrote:
> On Sun, Feb 12, 2012 at 2:55 PM, Andres Löh
> wrote:
>> Hi Thijs.
>>
>> Sorry if this has been discussed before.
>>
>> In my opinion, the main advantage of Agda goals is not that the type
>> of the hole itself is s
On 22 Dec 2011, at 16:08, Sean Leather wrote:
I've built it from source (ghc-7.4.0.20111219-src.tar.bz2) on
Leopard. I'd be happy to contribute my build if somebody tells me
what to do.
I had a crack at this and got quite warm, literally and metaphorically.
But, no, I didn't quite get the
On 22 Dec 2011, at 16:08, Sean Leather wrote:
I've built it from source (ghc-7.4.0.20111219-src.tar.bz2) on
Leopard. I'd be happy to contribute my build if somebody tells me
what to do.
I hope somebody who knows does just that.
Meanwhile, that sounds good to try for myself. My flat's a bi
Hi
On 21 Dec 2011, at 22:41, Johan Tibell wrote:
Built a bunch of packages using the 64-bit compiler on OS X Lion.
Works fine.
I'm a bit of a numpty when it comes to this sort of thing. I tried to
install
this version
ghc-7.4.0.20111219-i386-apple-darwin.tar.bz2
under Leopard, a
ll-users-
| boun...@haskell.org] On Behalf Of Jonas Almström Duregård
| Sent: 02 September 2011 16:50
| To: Conor McBride
| Cc: GHC users
| Subject: Re: Superclass defaults
|
| > The question then comes down to whether that warning should
ever be
| > strengthened to an error.
|
| Indeed.
|
|
Hi
On 2 Sep 2011, at 16:34, Brandon Allbery wrote:
I hope I am misunderstanding this
I wrote:
I agree that such a scenario is possible. The present situation gives
no choice but to do things badly, but things often get done badly the
first time around anyway. Perhaps I'm just grumpy, bu
Hi
On 2 Sep 2011, at 10:55, Jonas Almström Duregård wrote:
On 31 August 2011 12:22, Conor McBride
wrote:
I become perplexed very easily. I think we should warn whenever
silent
pre-emption (rather than explicit) hiding is used to suppress a
default
instance, because it is bad --- it makes
Hi
Sorry to be late again...I'm trying to have what's laughably described
as a holiday, but it seems more like the common cold to me.
On 31 Aug 2011, at 08:52, Jonas Almström Duregård wrote:
| > There seems to be a lot of support for Option 3... but what about
Option 2 (ie pre-empt but give a
[resend to GHC users, now I've subscribed!]
Hi Simon
On 15 Aug 2011, at 11:36, Simon Peyton-Jones wrote:
| Nice. But will it be happening soon, or not? And how soon is
| soon?
Not soon enough to be useful for this mappend question.
But, concerning proposed extensions to GHC about class alias
