singletons-1.1.2.1 test suite failure

[peti]

Citing from http://hydra.cryp.to/build/1148695/log/raw:

Test suite singletons-test-suite: RUNNING...
Testsuite
  Singletons
    Nat:                  FAIL (0.95s)
      1c1
      < Singletons/Nat.hs:0:0: Splicing declarations
      ---
      > Singletons/Nat.hs:(0,0)-(0,0): Splicing declarations
      16d15
      <     Singletons/Nat.hs:(0,0)-(0,0)
      82c81,82
      <             forall n. t ~ Apply SuccSym0 n =>
      ---
      >             forall n.
      >             t ~ Apply SuccSym0 n =>
      89c89,90
      <             forall m. (t ~ ZeroSym0, t ~ m) =>
      ---
      >             forall m.
      >             (t ~ ZeroSym0, t ~ m) =>
      96c97,98
      <             forall n m. (t ~ Apply SuccSym0 n, t ~ m) =>
      ---
      >             forall n m.
      >             (t ~ Apply SuccSym0 n, t ~ m) =>
    Empty:                FAIL (0.75s)
      1c1
      < Singletons/Empty.hs:0:0: Splicing declarations
      ---
      > Singletons/Empty.hs:(0,0)-(0,0): Splicing declarations
      4d3
      <     Singletons/Empty.hs:(0,0)-(0,0)
    Maybe:                FAIL (0.01s)
      1c1
      < Singletons/Maybe.hs:0:0: Splicing declarations
      ---
      > Singletons/Maybe.hs:(0,0)-(0,0): Splicing declarations
      7d6
      <     Singletons/Maybe.hs:(0,0)-(0,0)
    BoxUnBox:             FAIL (0.85s)
      1c1
      < Singletons/BoxUnBox.hs:0:0: Splicing declarations
      ---
      > Singletons/BoxUnBox.hs:(0,0)-(0,0): Splicing declarations
      8d7
      <     Singletons/BoxUnBox.hs:(0,0)-(0,0)
      34c33,34
      <             forall a. t ~ Apply FBoxSym0 a =>
      ---
      >             forall a.
      >             t ~ Apply FBoxSym0 a =>
    Operators:            FAIL (0.01s)
      1c1
      < Singletons/Operators.hs:0:0: Splicing declarations
      ---
      > Singletons/Operators.hs:(0,0)-(0,0): Splicing declarations
      15,16c15
      <     Singletons/Operators.hs:(0,0)-(0,0)
      <     data Foo = FLeaf | (:+:) Foo Foo
      ---
      >     data Foo = FLeaf | :+: Foo Foo
      30c29
      <         (:+:$$###)
      ---
      >         :+:$$###
      37c36
      <         (:+:$###)
      ---
      >         :+:$###
      45c44
      <         (:+$$###)
      ---
      >         :+$$###
      52c51
      <         (:+$###)
      ---
      >         :+$###
      75c74,75
      <             forall m. (t ~ ZeroSym0, t ~ m) =>
      ---
      >             forall m.
      >             (t ~ ZeroSym0, t ~ m) =>
      82c82,83
      <             forall n m. (t ~ Apply SuccSym0 n, t ~ m) =>
      ---
      >             forall n m.
      >             (t ~ Apply SuccSym0 n, t ~ m) =>
      97c98,99
      <             forall a wild. t ~ Apply (Apply (:+:$) a) wild =>
      ---
      >             forall a.
      >             forall wild. t ~ Apply (Apply (:+:$) a) wild =>
      104c106
      <         (:%+:) (Sing n) (Sing n)
      ---
      >         :%+: (Sing n) (Sing n)
    HigherOrder:          FAIL (1.30s)
      1c1
      < Singletons/HigherOrder.hs:0:0: Splicing declarations
      ---
      > Singletons/HigherOrder.hs:(0,0)-(0,0): Splicing declarations
      24d23
      <     Singletons/HigherOrder.hs:(0,0)-(0,0)
      388c387,388
      <             forall f g a. (t ~ f, t ~ g, t ~ a) =>
      ---
      >             forall f g a.
      >             (t ~ f, t ~ g, t ~ a) =>
      396c396,397
      <             forall f x xs y ys. (t ~ f,
      ---
      >             forall f x xs y ys.
      >             (t ~ f,
      443c444,445
      <             forall ns bs. (t ~ ns, t ~ bs) =>
      ---
      >             forall ns bs.
      >             (t ~ ns, t ~ bs) =>
      488,489c490,491
      <             forall a_0123456789 a_0123456789. (t ~ a_0123456789,
      <                                                t ~ a_0123456789) =>
      ---
      >             forall a_0123456789 a_0123456789.
      >             (t ~ a_0123456789, t ~ a_0123456789) =>
      539c541,542
      <             forall f x. (t ~ f, t ~ Apply JustSym0 x) =>
      ---
      >             forall f x.
      >             (t ~ f, t ~ Apply JustSym0 x) =>
      564c567,568
      <             forall f h t. (t ~ f, t ~ Apply (Apply (:$) h) t) =>
      ---
      >             forall f h t.
      >             (t ~ f, t ~ Apply (Apply (:$) h) t) =>
    Contains:             FAIL (0.78s)
      1c1
      < Singletons/Contains.hs:0:0: Splicing declarations
      ---
      > Singletons/Contains.hs:(0,0)-(0,0): Splicing declarations
      7d6
      <     Singletons/Contains.hs:(0,0)-(0,0)
      42c41,42
      <             forall elt h t. (t ~ elt, t ~ Apply (Apply (:$) h) t) =>
      ---
      >             forall elt h t.
      >             (t ~ elt, t ~ Apply (Apply (:$) h) t) =>
    AsPattern:            FAIL (1.15s)
      1c1
      < Singletons/AsPattern.hs:0:0: Splicing declarations
      ---
      > Singletons/AsPattern.hs:(0,0)-(0,0): Splicing declarations
      21d20
      <     Singletons/AsPattern.hs:(0,0)-(0,0)
      220c219,220
      <             forall wild_0123456789. t ~ Apply (Apply (:$) wild_0123456789) '[] =>
      ---
      >             forall wild_0123456789.
      >             t ~ Apply (Apply (:$) wild_0123456789) '[] =>
      235,236c235,236
      <             forall wild_0123456789
      <                    wild_0123456789. t ~ Apply (Apply (:$) wild_0123456789) wild_0123456789 =>
      ---
      >             forall wild_0123456789 wild_0123456789.
      >             t ~ Apply (Apply (:$) wild_0123456789) wild_0123456789 =>
      252,253c252,253
      <             forall wild_0123456789
      <                    wild_0123456789. t ~ Apply (Apply Tuple2Sym0 wild_0123456789) wild_0123456789 =>
      ---
      >             forall wild_0123456789 wild_0123456789.
      >             t ~ Apply (Apply Tuple2Sym0 wild_0123456789) wild_0123456789 =>
      280,282c280,281
      <             forall wild_0123456789
      <                    wild_0123456789
      <                    wild_0123456789. t ~ Apply JustSym0 (Apply (Apply (Apply BazSym0 wild_0123456789) wild_0123456789) wild_0123456789) =>
      ---
      >             forall wild_0123456789 wild_0123456789 wild_0123456789.
      >             t ~ Apply JustSym0 (Apply (Apply (Apply BazSym0 wild_0123456789) wild_0123456789) wild_0123456789) =>
      305c304,305
      <             forall wild_0123456789. t ~ Apply JustSym0 wild_0123456789 =>
      ---
      >             forall wild_0123456789.
      >             t ~ Apply JustSym0 wild_0123456789 =>
      324c324,325
      <             forall n. t ~ Apply JustSym0 n =>
      ---
      >             forall n.
      >             t ~ Apply JustSym0 n =>
    DataValues:           FAIL (1.03s)
      1c1
      < Singletons/DataValues.hs:0:0: Splicing declarations
      ---
      > Singletons/DataValues.hs:(0,0)-(0,0): Splicing declarations
      12d11
      <     Singletons/DataValues.hs:(0,0)-(0,0)
    EqInstances:          FAIL (0.82s)
      1c1
      < Singletons/EqInstances.hs:0:0: Splicing declarations
      ---
      > Singletons/EqInstances.hs:0:0:: Splicing declarations
      4d3
      <     Singletons/EqInstances.hs:0:0:
    CaseExpressions:      FAIL (0.95s)
      1c1
      < Singletons/CaseExpressions.hs:0:0: Splicing declarations
      ---
      > Singletons/CaseExpressions.hs:(0,0)-(0,0): Splicing declarations
      22d21
      <     Singletons/CaseExpressions.hs:(0,0)-(0,0)
      316c315,316
      <             forall a b. (t ~ a, t ~ b) =>
      ---
      >             forall a b.
      >             (t ~ a, t ~ b) =>
      330c330,331
      <                            forall p wild.
      ---
      >                            forall p.
      >                            forall wild.
      339c340,341
      <             forall d wild. (t ~ d, t ~ wild) =>
      ---
      >             forall d.
      >             forall wild. (t ~ d, t ~ wild) =>
      359c361,362
      <             forall d x. (t ~ d, t ~ x) =>
      ---
      >             forall d x.
      >             (t ~ d, t ~ x) =>
    Star:                 FAIL (1.08s)
      1c1
      < Singletons/Star.hs:0:0: Splicing declarations
      ---
      > Singletons/Star.hs:0:0:: Splicing declarations
      4d3
      <     Singletons/Star.hs:0:0:
    Tuples:               FAIL (0.97s)
      1c1
      < Singletons/Tuples.hs:0:0: Splicing declarations
      ---
      > Singletons/Tuples.hs:(0,0)-(0,0): Splicing declarations
      5d4
      <     Singletons/Tuples.hs:(0,0)-(0,0)
    ReturnFunc:           FAIL (0.01s)
      1c1
      < Singletons/ReturnFunc.hs:0:0: Splicing declarations
      ---
      > Singletons/ReturnFunc.hs:(0,0)-(0,0): Splicing declarations
      10d9
      <     Singletons/ReturnFunc.hs:(0,0)-(0,0)
      76c75,76
      <             forall a_0123456789 wild. (t ~ wild, t ~ a_0123456789) =>
      ---
      >             forall a_0123456789.
      >             forall wild. (t ~ wild, t ~ a_0123456789) =>
      85c85,86
      <             forall a_0123456789 wild. (t ~ wild, t ~ a_0123456789) =>
      ---
      >             forall a_0123456789.
      >             forall wild. (t ~ wild, t ~ a_0123456789) =>
    Lambdas:              FAIL (0.01s)
      1c1
      < Singletons/Lambdas.hs:0:0: Splicing declarations
      ---
      > Singletons/Lambdas.hs:(0,0)-(0,0): Splicing declarations
      24d23
      <     Singletons/Lambdas.hs:(0,0)-(0,0)
      550c549,550
      <                                           forall a wild.
      ---
      >                                           forall a.
      >                                           forall wild.
      561c561,562
      <             forall x y. (t ~ x, t ~ y) =>
      ---
      >             forall x y.
      >             (t ~ x, t ~ y) =>
      578c579,580
      <                                           forall b wild.
      ---
      >                                           forall b.
      >                                           forall wild.
      590c592,593
      <             forall a b. (t ~ a, t ~ b) =>
      ---
      >             forall a b.
      >             (t ~ a, t ~ b) =>
      628c631,632
      <             forall x y. (t ~ x, t ~ y) =>
      ---
      >             forall x y.
      >             (t ~ x, t ~ y) =>
      646c650,651
      <             forall x y z. (t ~ x, t ~ y, t ~ z) =>
      ---
      >             forall x y z.
      >             (t ~ x, t ~ y, t ~ z) =>
      699c704,705
      <             forall x y. (t ~ x, t ~ y) =>
      ---
      >             forall x y.
      >             (t ~ x, t ~ y) =>
      725c731,732
      <             forall x a_0123456789. (t ~ x, t ~ a_0123456789) =>
      ---
      >             forall x a_0123456789.
      >             (t ~ x, t ~ a_0123456789) =>
      754,755c761,762
      <             forall a_0123456789 a_0123456789. (t ~ a_0123456789,
      <                                                t ~ a_0123456789) =>
      ---
      >             forall a_0123456789 a_0123456789.
      >             (t ~ a_0123456789, t ~ a_0123456789) =>
    LambdasComprehensive: FAIL (0.96s)
      1c1
      < Singletons/LambdasComprehensive.hs:0:0: Splicing declarations
      ---
      > Singletons/LambdasComprehensive.hs:(0,0)-(0,0): Splicing declarations
      9d8
      <     Singletons/LambdasComprehensive.hs:(0,0)-(0,0)
    Error:                FAIL (0.76s)
      1c1
      < Singletons/Error.hs:0:0: Splicing declarations
      ---
      > Singletons/Error.hs:(0,0)-(0,0): Splicing declarations
      7d6
      <     Singletons/Error.hs:(0,0)-(0,0)
      26c25,26
      <             forall a wild. t ~ Apply (Apply (:$) a) wild =>
      ---
      >             forall a.
      >             forall wild. t ~ Apply (Apply (:$) a) wild =>
    TopLevelPatterns:     FAIL (1.00s)
      1c1
      < Singletons/TopLevelPatterns.hs:0:0: Splicing declarations
      ---
      > Singletons/TopLevelPatterns.hs:(0,0)-(0,0): Splicing declarations
      6d5
      <     Singletons/TopLevelPatterns.hs:(0,0)-(0,0)
      56c55
      < Singletons/TopLevelPatterns.hs:0:0: Splicing declarations
      ---
      > Singletons/TopLevelPatterns.hs:(0,0)-(0,0): Splicing declarations
      67d65
      <     Singletons/TopLevelPatterns.hs:(0,0)-(0,0)
    LetStatements:        FAIL (1.36s)
      1c1
      < Singletons/LetStatements.hs:0:0: Splicing declarations
      ---
      > Singletons/LetStatements.hs:(0,0)-(0,0): Splicing declarations
      98d97
      <     Singletons/LetStatements.hs:(0,0)-(0,0)
      246c245
      <         (:<<<%%%%%%%%%%:+$$$###)
      ---
      >         :<<<%%%%%%%%%%:+$$$###
      253c252
      <         (:<<<%%%%%%%%%%:+$$###)
      ---
      >         :<<<%%%%%%%%%%:+$$###
      260c259
      <         (:<<<%%%%%%%%%%:+$###)
      ---
      >         :<<<%%%%%%%%%%:+$###
      280c279
      <         (:<<<%%%%%%%%%%:+$$$###)
      ---
      >         :<<<%%%%%%%%%%:+$$$###
      287c286
      <         (:<<<%%%%%%%%%%:+$$###)
      ---
      >         :<<<%%%%%%%%%%:+$$###
      294c293
      <         (:<<<%%%%%%%%%%:+$###)
      ---
      >         :<<<%%%%%%%%%%:+$###
      307c306
      <         (:<<<%%%%%%%%%%:+$$$###)
      ---
      >         :<<<%%%%%%%%%%:+$$$###
      314c313
      <         (:<<<%%%%%%%%%%:+$$###)
      ---
      >         :<<<%%%%%%%%%%:+$$###
      321c320
      <         (:<<<%%%%%%%%%%:+$###)
      ---
      >         :<<<%%%%%%%%%%:+$###
      676c675,676
      <                                forall y_0123456789 wild.
      ---
      >                                forall y_0123456789.
      >                                forall wild.
      686c686,687
      <                                forall y_0123456789 wild.
      ---
      >                                forall y_0123456789.
      >                                forall wild.
      727c728,729
      <                         forall m. (t ~ ZeroSym0, t ~ m) =>
      ---
      >                         forall m.
      >                         (t ~ ZeroSym0, t ~ m) =>
      734c736,737
      <                         forall n m. (t ~ Apply SuccSym0 n, t ~ m) =>
      ---
      >                         forall n m.
      >                         (t ~ Apply SuccSym0 n, t ~ m) =>
      768c771,772
      <                         forall m. (t ~ ZeroSym0, t ~ m) =>
      ---
      >                         forall m.
      >                         (t ~ ZeroSym0, t ~ m) =>
      775c779,780
      <                         forall n m. (t ~ Apply SuccSym0 n, t ~ m) =>
      ---
      >                         forall n m.
      >                         (t ~ Apply SuccSym0 n, t ~ m) =>
      806c811,812
      <                         forall m. (t ~ ZeroSym0, t ~ m) =>
      ---
      >                         forall m.
      >                         (t ~ ZeroSym0, t ~ m) =>
      813c819,820
      <                         forall n m. (t ~ Apply SuccSym0 n, t ~ m) =>
      ---
      >                         forall n m.
      >                         (t ~ Apply SuccSym0 n, t ~ m) =>
      841c848,849
      <                         forall a_0123456789. t ~ a_0123456789 =>
      ---
      >                         forall a_0123456789.
      >                         t ~ a_0123456789 =>
    LambdaCase:           FAIL (0.01s)
      1c1
      < Singletons/LambdaCase.hs:0:0: Splicing declarations
      ---
      > Singletons/LambdaCase.hs:(0,0)-(0,0): Splicing declarations
      18d17
      <     Singletons/LambdaCase.hs:(0,0)-(0,0)
      177c176,177
      <             forall a b. (t ~ a, t ~ b) =>
      ---
      >             forall a b.
      >             (t ~ a, t ~ b) =>
      194c194,195
      <                                           forall p wild.
      ---
      >                                           forall p.
      >                                           forall wild.
      206c207,208
      <             forall d wild. (t ~ d, t ~ wild) =>
      ---
      >             forall d.
      >             forall wild. (t ~ d, t ~ wild) =>
      239c241,242
      <             forall d x. (t ~ d, t ~ x) =>
      ---
      >             forall d x.
      >             (t ~ d, t ~ x) =>
    Sections:             FAIL (0.01s)
      1c1
      < Singletons/Sections.hs:0:0: Splicing declarations
      ---
      > Singletons/Sections.hs:(0,0)-(0,0): Splicing declarations
      13d12
      <     Singletons/Sections.hs:(0,0)-(0,0)
      40c39
      <         (:+$$###)
      ---
      >         :+$$###
      47c46
      <         (:+$###)
      ---
      >         :+$###
      70c69,70
      <             forall m. (t ~ ZeroSym0, t ~ m) =>
      ---
      >             forall m.
      >             (t ~ ZeroSym0, t ~ m) =>
      77c77,78
      <             forall n m. (t ~ Apply SuccSym0 n, t ~ m) =>
      ---
      >             forall n m.
      >             (t ~ Apply SuccSym0 n, t ~ m) =>
    PatternMatching:      FAIL (1.28s)
      1c1
      < Singletons/PatternMatching.hs:0:0: Splicing declarations
      ---
      > Singletons/PatternMatching.hs:(0,0)-(0,0): Splicing declarations
      12d11
      <     Singletons/PatternMatching.hs:(0,0)-(0,0)
      105c104
      < Singletons/PatternMatching.hs:0:0: Splicing declarations
      ---
      > Singletons/PatternMatching.hs:(0,0)-(0,0): Splicing declarations
      118d116
      <     Singletons/PatternMatching.hs:(0,0)-(0,0)
      331c329,330
      <             forall x y. t ~ Apply (Apply Tuple2Sym0 x) y =>
      ---
      >             forall x y.
      >             t ~ Apply (Apply Tuple2Sym0 x) y =>
      379c378,379
      <             forall x y. t ~ Apply (Apply Tuple2Sym0 x) y =>
      ---
      >             forall x y.
      >             t ~ Apply (Apply Tuple2Sym0 x) y =>
      408c408,409
      <                    forall y_0123456789 wild wild.
      ---
      >                    forall y_0123456789.
      >                    forall wild wild.
      418c419,420
      <                    forall y_0123456789 wild wild.
      ---
      >                    forall y_0123456789.
      >                    forall wild wild.
      428c430,431
      <                    forall y_0123456789 wild wild.
      ---
      >                    forall y_0123456789.
      >                    forall wild wild.
      438c441,442
      <                    forall y_0123456789 wild wild.
      ---
      >                    forall y_0123456789.
      >                    forall wild wild.
      448c452,453
      <                    forall y_0123456789 wild wild.
      ---
      >                    forall y_0123456789.
      >                    forall wild wild.
      458c463,464
      <                    forall y_0123456789 wild wild.
      ---
      >                    forall y_0123456789.
      >                    forall wild wild.
      468c474,475
      <                    forall y_0123456789 wild wild.
      ---
      >                    forall y_0123456789.
      >                    forall wild wild.
      478c485,486
      <                    forall y_0123456789 wild wild.
      ---
      >                    forall y_0123456789.
      >                    forall wild wild.
      488c496,497
      <                    forall y_0123456789 wild.
      ---
      >                    forall y_0123456789.
      >                    forall wild.
      498c507,508
      <                    forall y_0123456789 wild.
      ---
      >                    forall y_0123456789.
      >                    forall wild.
    Records:              FAIL (0.78s)
      1c1
      < Singletons/Records.hs:0:0: Splicing declarations
      ---
      > Singletons/Records.hs:(0,0)-(0,0): Splicing declarations
      5d4
      <     Singletons/Records.hs:(0,0)-(0,0)
    T29:                  FAIL (0.85s)
      1c1
      < Singletons/T29.hs:0:0: Splicing declarations
      ---
      > Singletons/T29.hs:(0,0)-(0,0): Splicing declarations
      12d11
      <     Singletons/T29.hs:(0,0)-(0,0)
    T33:                  FAIL (0.01s)
      1c1
      < Singletons/T33.hs:0:0: Splicing declarations
      ---
      > Singletons/T33.hs:(0,0)-(0,0): Splicing declarations
      6d5
      <     Singletons/T33.hs:(0,0)-(0,0)
  Promote
    Constructors:         FAIL (0.75s)
      1c1
      < Promote/Constructors.hs:0:0: Splicing declarations
      ---
      > Promote/Constructors.hs:(0,0)-(0,0): Splicing declarations
      6d5
      <     Promote/Constructors.hs:(0,0)-(0,0)
      16c15
      <         (:+$$###)
      ---
      >         :+$$###
      23c22
      <         (:+$###)
      ---
      >         :+$###
    GenDefunSymbols:      FAIL (0.74s)
      1c1
      < Promote/GenDefunSymbols.hs:0:0: Splicing declarations
      ---
      > Promote/GenDefunSymbols.hs:0:0:: Splicing declarations
      4d3
      <     Promote/GenDefunSymbols.hs:0:0:
      38c37
      <         (:+$$###)
      ---
      >         :+$$###
      45c44
      <         (:+$###)
      ---
      >         :+$###
    Newtypes:             FAIL (0.81s)
      1c1
      < Promote/Newtypes.hs:0:0: Splicing declarations
      ---
      > Promote/Newtypes.hs:(0,0)-(0,0): Splicing declarations
      8d7
      <     Promote/Newtypes.hs:(0,0)-(0,0)
    Classes:              FAIL (0.92s)
      1c1
      < Promote/Classes.hs:0:0: Splicing declarations
      ---
      > Promote/Classes.hs:(0,0)-(0,0): Splicing declarations
      26d25
      <     Promote/Classes.hs:(0,0)-(0,0)
      104c103
      <         (:<=>$$###)
      ---
      >         :<=>$$###
      111c110
      <         (:<=>$###)
      ---
      >         :<=>$###
      116c115,116
      <       type instance (:<=>) (a_0123456789 :: a) (a_0123456789 :: a) = (Apply (Apply MycompareSym0 a_0123456789) a_0123456789 :: Ordering)
      ---
      >       (:<=>) (a_0123456789 :: a)
      >              (a_0123456789 :: a) = (Apply (Apply MycompareSym0 a_0123456789) a_0123456789 :: Ordering)
      128c128
      < Promote/Classes.hs:0:0: Splicing declarations
      ---
      > Promote/Classes.hs:(0,0)-(0,0): Splicing declarations
      138d137
      <     Promote/Classes.hs:(0,0)-(0,0)
    TopLevelPatterns:     FAIL (0.99s)
      1c1
      < Promote/TopLevelPatterns.hs:0:0: Splicing declarations
      ---
      > Promote/TopLevelPatterns.hs:(0,0)-(0,0): Splicing declarations
      20d19
      <     Promote/TopLevelPatterns.hs:(0,0)-(0,0)
    Pragmas:              FAIL (0.73s)
      1c1
      < Promote/Pragmas.hs:0:0: Splicing declarations
      ---
      > Promote/Pragmas.hs:(0,0)-(0,0): Splicing declarations
      7d6
      <     Promote/Pragmas.hs:(0,0)-(0,0)
    OrdDeriving:          FAIL (0.98s)
      1c1
      < Promote/OrdDeriving.hs:0:0: Splicing declarations
      ---
      > Promote/OrdDeriving.hs:(0,0)-(0,0): Splicing declarations
      15d14
      <     Promote/OrdDeriving.hs:(0,0)-(0,0)
    BoundedDeriving:      FAIL (0.01s)
      1c1
      < Promote/BoundedDeriving.hs:0:0: Splicing declarations
      ---
      > Promote/BoundedDeriving.hs:(0,0)-(0,0): Splicing declarations
      19d18
      <     Promote/BoundedDeriving.hs:(0,0)-(0,0)
    BadBoundedDeriving:   OK (0.70s)
    Prelude:              FAIL (0.01s)
      1c1
      < Promote/Prelude.hs:0:0: Splicing declarations
      ---
      > Promote/Prelude.hs:(0,0)-(0,0): Splicing declarations
      7d6
      <     Promote/Prelude.hs:(0,0)-(0,0)
  Database client
    Database:             FAIL (3.54s)
      1c1,4
      < GradingClient/Database.hs:0:0: Splicing declarations
      ---
      > 
      > GradingClient/Database.hs:0:0: Warning:
      >     -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
      > GradingClient/Database.hs:(0,0)-(0,0): Splicing declarations
      7d9
      <     GradingClient/Database.hs:(0,0)-(0,0)
      69c71
      < GradingClient/Database.hs:0:0: Splicing declarations
      ---
      > GradingClient/Database.hs:(0,0)-(0,0): Splicing declarations
      123d124
      <     GradingClient/Database.hs:(0,0)-(0,0)
      438c439,440
      <             forall name name' u attrs. (t ~ name,
      ---
      >             forall name name' u attrs.
      >             (t ~ name,
      478c480,481
      <             forall name name' attrs wild. (t ~ name,
      ---
      >             forall name name' attrs.
      >             forall wild. (t ~ name,
      504c507,508
      <             forall name u name' t wild. (t ~ Apply (Apply AttrSym0 name) u,
      ---
      >             forall name u name' t.
      >             forall wild. (t ~ Apply (Apply AttrSym0 name) u,
      534,535c538,539
      <             forall h t s. (t ~ Apply SchSym0 (Apply (Apply (:$) h) t),
      <                            t ~ s) =>
      ---
      >             forall h t s.
      >             (t ~ Apply SchSym0 (Apply (Apply (:$) h) t), t ~ s) =>
      556c560,561
      <             forall s1 s2. (t ~ Apply SchSym0 s1, t ~ Apply SchSym0 s2) =>
      ---
      >             forall s1 s2.
      >             (t ~ Apply SchSym0 s1, t ~ Apply SchSym0 s2) =>
      4801,4802c4806,4807
      < GradingClient/Database.hs:0:0: Splicing declarations
      <     return [] ======> GradingClient/Database.hs:0:0:
      ---
      > GradingClient/Database.hs:0:0:: Splicing declarations
      >     return [] ======>
    Main:                 FAIL (1.31s)
      1c1
      < GradingClient/Main.hs:0:0: Splicing declarations
      ---
      > GradingClient/Main.hs:(0,0)-(0,0): Splicing declarations
      3c3
      <       [d| lastName, majorName, gradeName, yearName, firstName :: [AChar]
      ---
      >       [d| lastName, firstName, yearName, gradeName, majorName :: [AChar]
      17d16
      <     GradingClient/Main.hs:(0,0)-(0,0)
      19,21d17
      <     majorName :: [AChar]
      <     gradeName :: [AChar]
      <     yearName :: [AChar]
      22a19,21
      >     yearName :: [AChar]
      >     gradeName :: [AChar]
      >     majorName :: [AChar]
  InsertionSort
    InsertionSortImp:     FAIL (1.17s)
      1c1
      < InsertionSort/InsertionSortImp.hs:0:0: Splicing declarations
      ---
      > InsertionSort/InsertionSortImp.hs:(0,0)-(0,0): Splicing declarations
      4d3
      <     InsertionSort/InsertionSortImp.hs:(0,0)-(0,0)
      31c30
      < InsertionSort/InsertionSortImp.hs:0:0: Splicing declarations
      ---
      > InsertionSort/InsertionSortImp.hs:(0,0)-(0,0): Splicing declarations
      45d43
      <     InsertionSort/InsertionSortImp.hs:(0,0)-(0,0)
      167c165,166
      <             forall a b. (t ~ Apply SuccSym0 a, t ~ Apply SuccSym0 b) =>
      ---
      >             forall a b.
      >             (t ~ Apply SuccSym0 a, t ~ Apply SuccSym0 b) =>
      178,179c177,178
      <             forall n. (t ~ n, t ~ '[]) =>
      <             Sing n -> Sing (Apply (Apply InsertSym0 n) '[])
      ---
      >             forall n.
      >             (t ~ n, t ~ '[]) => Sing n -> Sing (Apply (Apply InsertSym0 n) '[])
      187c186,187
      <             forall n h t. (t ~ n, t ~ Apply (Apply (:$) h) t) =>
      ---
      >             forall n h t.
      >             (t ~ n, t ~ Apply (Apply (:$) h) t) =>
      227c227,228
      <             forall h t. t ~ Apply (Apply (:$) h) t =>
      ---
      >             forall h t.
      >             t ~ Apply (Apply (:$) h) t =>

37 out of 38 tests failed (38.69s)
Test suite singletons-test-suite: FAIL

[goldfirere]

This is as expected.

Sorry to be troublesome about this, but the testsuite has not been upgraded for GHC 7.10. I do believe that singletons works on GHC 7.10, but due to the close coupling of singletons with the GHC version, it's non-trivial to get the testsuite to work out. If that means that singletons doesn't get bundled alongside GHC 7.10, then so be it.

I am actively working on a major update to singletons that will work (only) on GHC 7.10, dropping support for 7.8 entirely. Should be available within the next two weeks. Really.

[jstolarek]

due to the close coupling of singletons with the GHC version, it's non-trivial to get the testsuite to work out.

A quick reminder: our testsuite driver supports multiple versions of GHC. Since you're dropping support for GHC 7.8 it's not really relevant now but if sometime in the future we support two versions of GHC then we can certainly have testsuite working for both.

[goldfirere]

Yes, but this would require different tests for 7.10.1 and 7.10.2 as the pretty-printer changed between releases. It would certainly be possible to rehabilitate it all, but it doesn't seem worth the time.