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

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

Fixes to tests

  • tests/generics/GenDerivOutput.stderr

    From b3e382c4e034993f8e0e39742207fae881c18236 Mon Sep 17 00:00:00 2001
    From: Krzysztof Gogolewski <krz.gogolewski@gmail.com>
    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)