Shouldn't you have
IxZero :: Ix (CtxCons ty ctx) ty
instead of
IxZero :: Ix ctx ty
On Fri, Sep 21, 2012 at 8:34 AM, Florian Lorenzen <
florian.loren...@tu-berlin.de> wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> Hello cafe,
>
> I have the following GADT definitions capturing th
Hello everyone! Long time reader, first time poster.
Was wondering if someone could give me some direction or hints on how I
might go about passing a CString array into an exported Haskell function.
What I'm trying to do is augment the RecordLinkage package from R using
Haskell. Seems pretty st
This is one of the more subtle corner cases of Heist. My default, splices
are recursively processed. So when testSplice is executed for the
tag, the results are fed back into splice processing. I think this is the
right thing to do because it makes behavior less sensitive to evaluation
order.
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hello cafe,
I have the following GADT definitions capturing the simply typed
lambda calculus with de Bruijn indices for variables and explicitly
annotated types for variables:
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataK
On Fri, Sep 21, 2012 at 12:30 AM, David Fox wrote:
> I was wondering about this:
>
> -- My goal with this instance was to make it work just enough to do what
> -- I want when used with the HStringTemplate library.
> instance Data UUID where
> toConstr uu = mkConstr uuidType (show uu)
* Kazu Yamamoto [2012-09-21 10:29:22+0900]
> Hello,
>
> > Non-threaded RTS would block FFI to C code. But it does not block file
> > descriptors and sockets because the scheduler uses select(). To my
> > experience, *simple* network programming with non-threaded RTS also
> > works well except the