Hi list,
I have stumbled upon a strange annoyance:
{-# LANGUAGE GADTs #-}
data Foo v where
Foo :: Foo (Maybe v)
-- This doesn't work
foo1 :: a -> Foo a -> Int
foo1 Nothing Foo = undefined
foo1 (Just x) Foo = undefined
-- This does
foo2 :: a -> F
Francesco Mazzoli mazzo.li> writes:
>
> I have stumbled upon a strange annoyance:
>
> {-# LANGUAGE GADTs #-}
Hi Francesco, I think you'll find that the 'annoyance' is nothing to do
with GADTs. I suggest you take the type signature off of foo1, and see
what type ghc infers for it. It isn'
At Wed, 19 Jun 2013 10:03:27 + (UTC),
AntC wrote:
> Hi Francesco, I think you'll find that the 'annoyance' is nothing to do
> with GADTs. I suggest you take the type signature off of foo1, and see
> what type ghc infers for it. It isn't :: a -> Foo a -> Int.
>
> [...]
>
> Yep, that message e
On Wed, Jun 19, 2013 at 11:11:16AM +0100, Francesco Mazzoli wrote:
> At Wed, 19 Jun 2013 10:03:27 + (UTC),
> AntC wrote:
> > Hi Francesco, I think you'll find that the 'annoyance' is nothing to do
> > with GADTs. I suggest you take the type signature off of foo1, and see
> > what type ghc inf
This is great fun, more people should come and join us! =)
http://www.nomyx.net:8000/Nomyx
we are playing game "demo3".
-Brent
On Fri, Jun 14, 2013 at 05:57:57PM +0200, Corentin Dupont wrote:
> Hello everybody!
> Here it comes, the second beta release [1] of Nomyx, the only game where
> You c
At Wed, 19 Jun 2013 06:59:00 -0400,
Brent Yorgey wrote:
> Yes, I was going to suggest switching the argument order before
> reading your message. This is an interesting way in which you can
> observe that Haskell does not really have "multi-argument functions".
> All multi-argument functions are r
Thanks Brent! I'm glad you like it.
You will win a lot of money if new players come :)
Indeed Brent proposed a rule that allows sponsorship: if you invite a
player in, you win 50 ECU...
The game is still in beta-phase, so expect bugs...
There is some learning material in the links in my mail under
Hi Cafe,
How to hand over the maintenance of a hackage package?
Thanks
Corentin
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
As far as I know, Hackage does not enforce control of a given package at
all. You can just have the new maintainer upload a new version of the
package, changing the maintainer field of the .cabal file.
On Jun 19, 2013 7:10 AM, "Corentin Dupont"
wrote:
> Hi Cafe,
> How to hand over the maintenance
On Wed, Jun 19, 2013 at 01:18:54PM +0200, Corentin Dupont wrote:
> Thanks Brent! I'm glad you like it.
> You will win a lot of money if new players come :)
> Indeed Brent proposed a rule that allows sponsorship: if you invite a
> player in, you win 50 ECU...
Joined a game, though I don't really ha
Thanks Tobias, I'm looking forward to see you in the game!
I'll try to fix the text/plain part of the mails. I had quite some problems
with the haskell command *simpleMail* some time ago.
Best,
Corentin
On Wed, Jun 19, 2013 at 3:48 PM, Tobias Dammers wrote:
> On Wed, Jun 19, 2013 at 01:18:54PM
Brent, maybe I'm misunderstanding what you're saying, but I don't
think that the order of the arguments is playing any role here besides
defining the order in which the pattern matches are desugared.
To illustrate,
-- This does work
foo1' :: a -> Foo a -> Int
foo1' m Foo = case m of
We are happy to announce Ajhc 0.8.0.6.
Major change on the release is supporting THREAD. Yeah!
You can get Ajhc using "cabal install ajhc" command.
Ajhc's project web site is found at http://ajhc.metasepi.org/.
You find the source code at https://github.com/ajhc/ajhc/tags.
Welcome sending any bugs
Good point. I stand corrected.
-Brent
On Wed, Jun 19, 2013 at 11:42:23AM -0300, Felipe Almeida Lessa wrote:
> Brent, maybe I'm misunderstanding what you're saying, but I don't
> think that the order of the arguments is playing any role here besides
> defining the order in which the pattern match
Hi,
This is just to let you know the promising results of some experimentation:
Formlets are about applicative instances, but what about monadic instances?
What a Monad instance of formlets means? I recently experimented with this
and the results are very interesting and powerful- It mixes the be
I don´t know how, but the google mail has changed the applicative functor
operator after (,) Left and Rigth by "<-".
2013/6/19 Alberto G. Corona
> Hi,
>
> This is just to let you know the promising results of some experimentation:
>
> Formlets are about applicative instances, but what about
I want to use TH to generate functions like
foo :: c -> h
foo ... = ...
foo ... = ...
...
from lists of pairs :: [(c, h)]
For example, $(genFoo ''Int ''Bool [(0,False), (1,True)])
would generate
foo 0 = False
foo 1 = True
The problem is, I don't know how to generate the function's clauses.
"foo 0
Hi,
I'm trying to install Leksah from hackage on my Debian testing laptop,
which has ghc 7.6.3 and the Haskell Platform 2013. I fixed a bunch of
errors about "catch" not being exported from the Prelude, but now I'm
stuck on these two errors in leksah-server-0.8.0.5:
[10 of 13] Compiling IDE.
18 matches
Mail list logo
