This would probably be a great boon for those trying to use haskell for
Android and IOS right? how might the emulation setup work for those?
On Wed, Jul 2, 2014 at 2:20 PM, Carter Schonwald wrote:
> wow, this is great work!
>
> If theres a clear path to getting the generic tooling into 7.10,
wow, this is great work!
If theres a clear path to getting the generic tooling into 7.10, i'm all
for it :) (and willing to help on concrete mechanical subtasks)
On Wed, Jul 2, 2014 at 12:14 PM, Luite Stegeman wrote:
> hi all,
>
> I've added some code [1] [2] to GHCJS to make it run Template H
hi all,
I've added some code [1] [2] to GHCJS to make it run Template Haskell code
on node.js, rather than using the GHC linker. GHCJS has supported TH for a
long time now, but so far always relied on native (host) code for it. This
is the main reason that GHCJS always builds native and JavaScript
But that would mean that `IsEq (F a) (F a)` (for some irreducible-for-now `F
a`) is stuck, even when we're sure that it will eventually become True. Your
approach is perhaps right, but it has negative consequences, too.
Richard
On Jul 2, 2014, at 9:58 AM, Brandon Moore wrote:
> That was the o
That was the only thing I worried about, but any examples I tried with families
like that ended up with infinite type errors.
Infinite types are not meant to be supported, which perhaps gives a solution -
the other sensible answer is bottom, i.e. a type checker error or perhaps an
infinite loop
Hi Brandon,
Yes, this is a dark corner of GHC wherein a proper dragon lurks.
In your second example, you're suggesting that, for all types `a`, `a` is never
equal to `[a]`. The problem is: that's not true! Consider:
> type family G x where
> G x = [G x]
This is a well-formed, although pathol
>From the user manual, it sounds like a clause of a closed type family should
>be rejected once no subsitution of the type could make it unify with the
>clause. If so, it doesn't seem to do an occurs check:
type family IsEq a b :: Bool where
IsEq a a = True
IsEq a b = False
> :kind! foral
