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 any
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
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
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
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 =
| 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' - case
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,