No responses, but I'm sure that, like me, many laughed at this ;)
2013/4/2 Tom Murphy amin...@gmail.com
Oh, and happy April 1!
On Mon, Apr 1, 2013 at 6:16 AM, Tom Murphy amin...@gmail.com wrote:
Hi All,
Not particularly happy to announce the non-release of my latest
library, HBlog
On 1 Apr 2013, at 01:21, Seth Lastname wrote:
Note 2 says, If the first token after a 'where' (say) is not indented more
than the enclosing layout context, then the block must be empty, so empty
braces are inserted.
It seems that, in Note 2, the first token necessarily refers to a lexeme
Hello Albert,
On 04/01/2013 11:41 PM, Albert Y. C. Lai wrote:
On 13-04-01 06:26 AM, Roger Mason wrote:
It turned out that there was a stale version of 'array' lurking in the
ghc package db. In spite of reinstalling ghc it did not go away until I
unregistered it. I think it was persisting
Hi Heinrich, Hi Ertugrul
thanks for all your comments so far. In last e-mail, you wrote:
Heinrich Apfelmus apfel...@quantentunnel.de wrote:
In the case of HGamer3D, the sink combinator would replace the need to
declare a final wire which runs all the wires at each step. It
feels a bit weird
On Mon, Apr 1, 2013 at 11:00 PM, Conal Elliott co...@conal.net wrote:
...
For details, see Jeremy Gibbons's paper Calculating functional programs.
There are probably easier sources as well.
Apologies for the tangential chiming in: on the topic of easier
sources you can also look at a few other
What am I missing?
I want to use mueval to read a file
that contains instance Serial m a = Serial m (Tree a)
(as in
http://hackage.haskell.org/packages/archive/smallcheck/1.0.2/doc/html/Test-SmallCheck-Series.html)
so I put in my call of mueval:
let Right opts =
On Tue, Apr 2, 2013 at 1:34 PM, Johannes Waldmann
waldm...@imn.htwk-leipzig.de wrote:
I don't understand mueval's design anyway here:
do the interpreter options mean that these are automatically on,
or just that the source text will be allowed to switch then on?
(I'd prefer the latter.)
===
APLAS 2013
11th Asian Symposium on Programming Languages and Systems
9-11 December 2013
Melbourne, Australia (colocated with CPP 2013)
CALL FOR PAPERS
We are happy to announce Ajhc 0.8.0.3.
Major change on this release is supporting Windows MinGW32 platform.
And you can cabal install ajhc.
http://hackage.haskell.org/package/ajhc
Perhaps changes on the announce will be merged to jhc.
Ajhc's project web site is found at
Recently I needed to define a class with a restricted set of instances.
After some failed attempts I looked into the DataKinds extension and in
Giving Haskell a Promotion I found the example of a new kind Nat for
type level peano numbers. However the interesting part of a complete case
Hello Henning,
That's a way of branching on type-level data that I haven't seen yet. I don't
know of a name for it. However, if you find yourself needing to branch on
type-level data, I encourage you to check out singleton types:
data Nat = Zero | Succ Nat -- this will be promoted
data SNat
It seems very similar to Ryan Ingram's post a few years back
(pre-TypeNats):
http://www.haskell.org/pipermail/haskell-cafe/2009-June/062690.html
The main difference is that he introduces the knowledge about zero vs.
suc as a constraint, and you introduce it as a parameter. In fact, his
induction
On Tue, 2 Apr 2013, Daniel Peebles wrote:
It seems very similar to Ryan Ingram's post a few years back
(pre-TypeNats):
http://www.haskell.org/pipermail/haskell-cafe/2009-June/062690.html
The main difference is that he introduces the knowledge about zero vs. suc as
a constraint, and you
I am trying to use the Cont in Control.Monad.Cont but it seems to be
missing
Prelude import Control.Monad.Cont
Prelude Control.Monad.Cont :t Cont
interactive:1:1:
Not in scope: data constructor `Cont'
Perhaps you meant `ContT' (imported from Control.Monad.Cont)
Prelude Control.Monad.Cont
On Tue, Apr 2, 2013 at 8:37 PM, Daryoush Mehrtash dmehrt...@gmail.comwrote:
I am trying to use the Cont in Control.Monad.Cont but it seems to be
missing
Prelude import Control.Monad.Cont
Prelude Control.Monad.Cont :t Cont
It's gone; try cont (lowercase).
mtl2 replaced the old standalone
Henning Thielemann wrote:
However the interesting part of a complete case analysis on type level
peano numbers was only sketched in section 8.4 Closed type
families. Thus I tried again and finally found a solution that works
with existing GHC extensions:
You might like the following message
Hi,
I have a yesod project that used to be compilable. Now when I migrate it
to latest yesod, it failed compiling.
-- Forwarded message --
From: Magicloud Magiclouds magicloud.magiclo...@gmail.com
Date: Tue, Apr 2, 2013 at 9:32 PM
Subject: Re: [Yesod] Type issue in new yesod
To:
17 matches
Mail list logo
