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! forall a
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
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
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
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 stege...@gmail.com wrote:
hi all,
I've added some code [1] [2] to GHCJS to make
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 carter.schonw...@gmail.com
wrote:
wow, this is great work!
If theres a clear path to getting the
