On 2008 Oct 30, at 10:08, Johannes Waldmann wrote:
are there any known issues
with file handles/descriptors in ghc-compiled executables?
My program has a lot of calls to System.Process.runInteractiveProcess
and I'm running into unpredictable behaviour (sometimes the program
just silently dies, s
| > In your case the error message was:
| >
| > GADT.hs:26:56:
| >GADT pattern match with non-rigid result type `Maybe a'
| > Solution: add a type signature
| >In a case alternative: I1 m' -> m'
| >In the expression: case w' S of { I1 m' -> m' }
| >In a case alternative: Wrap w
2008/10/30 C Rodrigues <[EMAIL PROTECTED]>:
> evidenceOfEq :: CAOp a -> (Eq a => b) -> b
isn't that the same as:
evidenceOfEq :: Eq a => CAOp a -> b -> b
> Neither does it accept data EqConstraint a b = EqConstraint (Eq a => b).
> Foiled again.
same here:
data Eq a => EqConstraint a b =
Thanks for the explanation. I see how this wouldn't behave nicely with
automatic class constraint inference. I didn't test the example on any other
GHC versions.
I will probably end up passing in the Eq dictionary from outside like Daniil
suggested. I would prefer to do the following, but G
2008/10/30 Johannes Waldmann <[EMAIL PROTECTED]>:
> Dear all,
>
> are there any known issues
> with file handles/descriptors in ghc-compiled executables?
>
> My program has a lot of calls to System.Process.runInteractiveProcess
> and I'm running into unpredictable behaviour (sometimes the program
>
Dear all,
are there any known issues
with file handles/descriptors in ghc-compiled executables?
My program has a lot of calls to System.Process.runInteractiveProcess
and I'm running into unpredictable behaviour (sometimes the program
just silently dies, sometimes it gets stuck)
The handles I get
Jason Dagit wrote:
On Wed, Oct 29, 2008 at 10:20 PM, C Rodrigues <[EMAIL PROTECTED]> wrote:
I discovered that closed type classes can be implicitly defined using GADTs
The GADT value itself acts like a class dictionary. However, GHC (6.83)
doesn't know anything about these type classes, and
On Wed, Oct 29, 2008 at 10:20 PM, C Rodrigues <[EMAIL PROTECTED]> wrote:
>
> I discovered that closed type classes can be implicitly defined using GADTs
> The GADT value itself acts like a class dictionary. However, GHC (6.83)
> doesn't know anything about these type classes, and it won't infer
