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
Date: Tue, Apr 2, 2013 at 9:32 PM
Subject: Re: [Yesod] Type issue in new yesod
To: "yesod...@googlegroups.com"
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 mes
On Tue, Apr 2, 2013 at 8:37 PM, Daryoush Mehrtash wrote:
> 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 monads wit
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
:1:1:
Not in scope: data constructor `Cont'
Perhaps you meant `ContT' (imported from Control.Monad.Cont)
Prelude Control.Monad.Cont> :t runCo
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 intr
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
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
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
anal
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 http://ajhc.masterq.net/
===
APLAS 2013
11th Asian Symposium on Programming Languages and Systems
9-11 December 2013
Melbourne, Australia (colocated with CPP 2013)
CALL FOR PAPERS
==
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.)
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 = M.inter
On Mon, Apr 1, 2013 at 11:00 PM, Conal Elliott 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 papers,
Hi Heinrich, Hi Ertugrul
thanks for all your comments so far. In last e-mail, you wrote:
Heinrich Apfelmus 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 to me to have wires like
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 beca
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
No responses, but I'm sure that, like me, many laughed at this ;)
2013/4/2 Tom Murphy
> Oh, and happy April 1!
>
>
> On Mon, Apr 1, 2013 at 6:16 AM, Tom Murphy wrote:
>
>> Hi All,
>> Not particularly happy to announce the non-release of my latest
>> library, HBlog 0.1. I've been working o
17 matches
Mail list logo
