validate failures

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

validate failures

Simon Marlow-7
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


Reply | Threaded
Open this post in threaded view
|

validate failures

Simon Peyton Jones
Consequences of Iavor's fundep changes.  I have pushed fixes

S
       
| -----Original Message-----
| From: ghc-devs-bounces at haskell.org [mailto:ghc-devs-bounces at haskell.org]
| On Behalf Of Simon Marlow
| Sent: 16 January 2013 14:38
| To: ghc-devs at 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 at haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-devs


Reply | Threaded
Open this post in threaded view
|

validate failures

Iavor Diatchki
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
<simonpj at microsoft.com>wrote:

> Consequences of Iavor's fundep changes.  I have pushed fixes
>
> S
>
> | -----Original Message-----
> | From: ghc-devs-bounces at haskell.org [mailto:ghc-devs-bounces at haskell.org]
> | On Behalf Of Simon Marlow
> | Sent: 16 January 2013 14:38
> | To: ghc-devs at 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 at haskell.org
> | http://www.haskell.org/mailman/listinfo/ghc-devs
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130117/a45ebae5/attachment.htm>