
Lots of validate failures today (x86-64/Linux): Unexpected failures: indexed-types/should_compile Gentle [exit code non-0] (normal) perf/compiler T5030 [stat not good enough] (normal) polykinds T6068 [bad stderr] (ghci) rename/should_fail rnfail055 [stderr mismatch] (normal) typecheck/should_compile tc235 [exit code non-0] (normal) typecheck/should_fail T5684 [stderr mismatch] (normal) Many of them seem to be of this kind: + Illegal instance declaration for `HasSingleton + (Maybe ak) (Maybe a) mp' + Multiple uses of this instance may be inconsistent + with the functional dependencies of the class. + In the instance declaration for `HasSingleton (Maybe a) mp' Anyone know why this is? Cheers, Simon

Consequences of Iavor's fundep changes. I have pushed fixes S | -----Original Message----- | From: ghc-devs-bounces@haskell.org [mailto:ghc-devs-bounces@haskell.org] | On Behalf Of Simon Marlow | Sent: 16 January 2013 14:38 | To: ghc-devs@haskell.org | Subject: validate failures | | Lots of validate failures today (x86-64/Linux): | | Unexpected failures: | indexed-types/should_compile Gentle [exit code non-0] | (normal) | perf/compiler T5030 [stat not good enough] | (normal) | polykinds T6068 [bad stderr] (ghci) | rename/should_fail rnfail055 [stderr mismatch] | (normal) | typecheck/should_compile tc235 [exit code non-0] | (normal) | typecheck/should_fail T5684 [stderr mismatch] | (normal) | | Many of them seem to be of this kind: | | + Illegal instance declaration for `HasSingleton | + (Maybe ak) (Maybe a) mp' | + Multiple uses of this instance may be inconsistent | + with the functional dependencies of the class. | + In the instance declaration for `HasSingleton (Maybe a) mp' | | Anyone know why this is? | | Cheers, | Simon | | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | http://www.haskell.org/mailman/listinfo/ghc-devs

Sorry about this, I only tried the "typecheck" tests---I'll make sure to
run a more complete validation before pusing changes.
-Iavor
On Wed, Jan 16, 2013 at 8:16 AM, Simon Peyton-Jones
Consequences of Iavor's fundep changes. I have pushed fixes
S
| -----Original Message----- | From: ghc-devs-bounces@haskell.org [mailto:ghc-devs-bounces@haskell.org] | On Behalf Of Simon Marlow | Sent: 16 January 2013 14:38 | To: ghc-devs@haskell.org | Subject: validate failures | | Lots of validate failures today (x86-64/Linux): | | Unexpected failures: | indexed-types/should_compile Gentle [exit code non-0] | (normal) | perf/compiler T5030 [stat not good enough] | (normal) | polykinds T6068 [bad stderr] (ghci) | rename/should_fail rnfail055 [stderr mismatch] | (normal) | typecheck/should_compile tc235 [exit code non-0] | (normal) | typecheck/should_fail T5684 [stderr mismatch] | (normal) | | Many of them seem to be of this kind: | | + Illegal instance declaration for `HasSingleton | + (Maybe ak) (Maybe a) mp' | + Multiple uses of this instance may be inconsistent | + with the functional dependencies of the class. | + In the instance declaration for `HasSingleton (Maybe a) mp' | | Anyone know why this is? | | Cheers, | Simon | | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | http://www.haskell.org/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
participants (3)
-
Iavor Diatchki
-
Simon Marlow
-
Simon Peyton-Jones