Ticket #7848: 0001-Fix-tests-after-7848.patch

File 0001-Fix-tests-after-7848.patch, 11.9 KB (added by monoidal, 2 years ago)

Fixes to tests

  • tests/generics/GenDerivOutput.stderr

    From b3e382c4e034993f8e0e39742207fae881c18236 Mon Sep 17 00:00:00 2001
    From: Krzysztof Gogolewski <[email protected]>
    Date: Fri, 19 Apr 2013 13:25:58 +0200
    Subject: [PATCH] Fix tests after #7848
    
    ---
     tests/generics/GenDerivOutput.stderr         |   16 ++++++-------
     tests/generics/GenDerivOutput1_0.stderr      |    4 ++--
     tests/generics/GenDerivOutput1_1.stderr      |   32 +++++++++++++-------------
     tests/typecheck/should_fail/T2688.stderr     |    2 +-
     tests/typecheck/should_fail/T7734.stderr     |    2 +-
     tests/typecheck/should_fail/tcfail021.stderr |    2 +-
     6 files changed, 29 insertions(+), 29 deletions(-)
    
    diff --git a/tests/generics/GenDerivOutput.stderr b/tests/generics/GenDerivOutput.stderr
    index 041208f..b47b3f3 100644
    a b Derived instances: 
    1616      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    1717      = GenDerivOutput.Nil
    1818    GHC.Generics.to
    19       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 (GHC.Generics.K1 g1))
    20                                                                            (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
     19      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
     20                                                                             (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
    2121      = GenDerivOutput.Cons g1 g2
    2222 
    2323  instance GHC.Generics.Generic1 GenDerivOutput.List where
    Derived instances: 
    3535      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    3636      = GenDerivOutput.Nil
    3737    GHC.Generics.to1
    38       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 g1)
    39                                                                            (GHC.Generics.M1 g2)))))
     38      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
     39                                                                             (GHC.Generics.M1 g2)))))
    4040      = GenDerivOutput.Cons
    4141          (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
    4242 
    Derived instances: 
    6060      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    6161      = GenDerivOutput.Empty
    6262    GHC.Generics.to
    63       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 (GHC.Generics.K1 g1))
    64                                                                            (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
     63      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
     64                                                                             (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
    6565      = GenDerivOutput.Rose g1 g2
    6666 
    6767  instance GHC.Generics.Generic1 GenDerivOutput.Rose where
    Derived instances: 
    8181      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    8282      = GenDerivOutput.Empty
    8383    GHC.Generics.to1
    84       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 g1)
    85                                                                            (GHC.Generics.M1 g2)))))
     84      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
     85                                                                             (GHC.Generics.M1 g2)))))
    8686      = GenDerivOutput.Rose
    8787          (GHC.Generics.unPar1 g1)
    8888          ((GHC.Base..)
  • tests/generics/GenDerivOutput1_0.stderr

    diff --git a/tests/generics/GenDerivOutput1_0.stderr b/tests/generics/GenDerivOutput1_0.stderr
    index e782b6e..222d2d3 100644
    a b Derived instances: 
    1616      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    1717      = GenDerivOutput1_0.Nil
    1818    GHC.Generics.to1
    19       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 g1)
    20                                                                            (GHC.Generics.M1 g2)))))
     19      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
     20                                                                             (GHC.Generics.M1 g2)))))
    2121      = GenDerivOutput1_0.Cons
    2222          (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
    2323 
  • tests/generics/GenDerivOutput1_1.stderr

    diff --git a/tests/generics/GenDerivOutput1_1.stderr b/tests/generics/GenDerivOutput1_1.stderr
    index ff6d257..6b9f546 100644
    a b Derived instances: 
    1616      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    1717      = CanDoRep1_1.D0d
    1818    GHC.Generics.to1
    19       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 g1)
    20                                                                            (GHC.Generics.M1 g2)))))
     19      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
     20                                                                             (GHC.Generics.M1 g2)))))
    2121      = CanDoRep1_1.D1d (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
    2222 
    2323  instance GHC.Generics.Generic (CanDoRep1_1.Dd a) where
    Derived instances: 
    3535      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    3636      = CanDoRep1_1.D0d
    3737    GHC.Generics.to
    38       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 (GHC.Generics.K1 g1))
    39                                                                            (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
     38      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
     39                                                                             (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
    4040      = CanDoRep1_1.D1d g1 g2
    4141 
    4242  instance GHC.Generics.Generic (CanDoRep1_1.Dc a) where
    Derived instances: 
    5454      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    5555      = CanDoRep1_1.D0c
    5656    GHC.Generics.to
    57       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 (GHC.Generics.K1 g1))
    58                                                                            (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
     57      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
     58                                                                             (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
    5959      = CanDoRep1_1.D1c g1 g2
    6060 
    6161  instance GHC.Generics.Generic1 CanDoRep1_1.Db where
    Derived instances: 
    7373      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    7474      = CanDoRep1_1.D0b
    7575    GHC.Generics.to1
    76       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 g1)
    77                                                                            (GHC.Generics.M1 g2)))))
     76      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
     77                                                                             (GHC.Generics.M1 g2)))))
    7878      = CanDoRep1_1.D1b (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
    7979 
    8080  instance GHC.Generics.Generic (CanDoRep1_1.Da a) where
    Derived instances: 
    9292      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    9393      = CanDoRep1_1.D0
    9494    GHC.Generics.to
    95       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 (GHC.Generics.K1 g1))
    96                                                                            (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
     95      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
     96                                                                             (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
    9797      = CanDoRep1_1.D1 g1 g2
    9898 
    9999  instance GHC.Generics.Generic1 CanDoRep1_1.Da where
    Derived instances: 
    111111      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    112112      = CanDoRep1_1.D0
    113113    GHC.Generics.to1
    114       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 g1)
    115                                                                            (GHC.Generics.M1 g2)))))
     114      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
     115                                                                             (GHC.Generics.M1 g2)))))
    116116      = CanDoRep1_1.D1 (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
    117117 
    118118  instance GHC.Generics.Generic (CanDoRep1_1.Db a) where
    Derived instances: 
    130130      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    131131      = CanDoRep1_1.D0b
    132132    GHC.Generics.to
    133       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 (GHC.Generics.K1 g1))
    134                                                                            (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
     133      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
     134                                                                             (GHC.Generics.M1 (GHC.Generics.K1 g2))))))
    135135      = CanDoRep1_1.D1b g1 g2
    136136 
    137137  instance GHC.Generics.Generic1 CanDoRep1_1.Dc where
    Derived instances: 
    149149      (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
    150150      = CanDoRep1_1.D0c
    151151    GHC.Generics.to1
    152       (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 g1)
    153                                                                            (GHC.Generics.M1 g2)))))
     152      (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
     153                                                                             (GHC.Generics.M1 g2)))))
    154154      = CanDoRep1_1.D1c (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
    155155 
    156156  instance GHC.Generics.Datatype CanDoRep1_1.D1Da where
  • tests/typecheck/should_fail/T2688.stderr

    diff --git a/tests/typecheck/should_fail/T2688.stderr b/tests/typecheck/should_fail/T2688.stderr
    index bbc415a..e4fef7d 100644
    a b T2688.hs:8:22: 
    99      ‛v’ is a rigid type variable bound by
    1010          the class declaration for ‛VectorSpace’ at T2688.hs:5:19
    1111    Relevant bindings include
    12       ^/ :: v -> s -> v (bound at T2688.hs:8:5)
     12      (^/) :: v -> s -> v (bound at T2688.hs:8:5)
    1313      v :: v (bound at T2688.hs:8:5)
    1414      s :: s (bound at T2688.hs:8:10)
    1515    In the second argument of ‛(/)’, namely ‛s’
  • tests/typecheck/should_fail/T7734.stderr

    diff --git a/tests/typecheck/should_fail/T7734.stderr b/tests/typecheck/should_fail/T7734.stderr
    index d90d136..539de1e 100644
    a b T7734.hs:4:13: 
    1111T7734.hs:5:13:
    1212    Occurs check: cannot construct the infinite type: t2 ~ t2 -> t1
    1313    Relevant bindings include
    14       & :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:5:1)
     14      (&) :: (t2 -> t1) -> t -> t1 (bound at T7734.hs:5:1)
    1515      x :: t2 -> t1 (bound at T7734.hs:5:5)
    1616    In the first argument of ‛x’, namely ‛x’
    1717    In the expression: x x
  • tests/typecheck/should_fail/tcfail021.stderr

    diff --git a/tests/typecheck/should_fail/tcfail021.stderr b/tests/typecheck/should_fail/tcfail021.stderr
    index 5a4e805..5afea21 100644
    a b  
    11
    22tcfail021.hs:8:5:
    33    Pattern bindings (except simple variables) not allowed in instance declarations
    4         (==, /=) = (\ x -> \ y -> True, \ x -> \ y -> False)
     4      ((==), (/=)) = (\ x -> \ y -> True, \ x -> \ y -> False)