Testsuite wibble due to #9404
authorRichard Eisenberg <eir@cis.upenn.edu>
Tue, 11 Nov 2014 12:58:03 +0000 (07:58 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 12 Nov 2014 17:36:43 +0000 (12:36 -0500)
[skip ci]

testsuite/tests/ghci/scripts/ghci046.script
testsuite/tests/ghci/scripts/ghci046.stdout
testsuite/tests/typecheck/should_fail/T5570.stderr
testsuite/tests/typecheck/should_fail/T7857.stderr
testsuite/tests/typecheck/should_fail/tcfail133.stderr

index f07e06f..28c5cde 100644 (file)
@@ -12,8 +12,8 @@ type instance OR HTrue  HTrue  = HTrue
 type instance OR HTrue  HFalse = HTrue
 type instance OR HFalse HTrue  = HTrue
 type instance OR HFalse HFalse = HFalse
-:t undefined :: AND HTrue HTrue
-:t undefined :: AND (OR HFalse HTrue) (OR HTrue HFalse)
+:kind! AND HTrue HTrue
+:kind! AND (OR HFalse HTrue) (OR HTrue HFalse)
 let t = undefined :: AND HTrue HTrue
 let f = undefined :: AND HTrue HFalse
 type instance AND HTrue  HTrue  = HFalse
index d600596..c4e7cf3 100644 (file)
@@ -1,4 +1,6 @@
-undefined :: AND HTrue HTrue :: HTrue
-undefined :: AND (OR HFalse HTrue) (OR HTrue HFalse) :: HTrue
+AND HTrue HTrue :: *
+= HTrue
+AND (OR HFalse HTrue) (OR HTrue HFalse) :: *
+= HTrue
 t :: HTrue
 t :: HFalse
index 21a4e0c..15d5c8a 100644 (file)
@@ -2,7 +2,7 @@
 T5570.hs:7:16:
     Couldn't match kind ‘*’ with ‘#’
     When matching types
-      s0 :: *
+      r0 :: *
       Double# :: #
     In the second argument of ‘($)’, namely ‘D# $ 3.0##’
     In the expression: print $ D# $ 3.0##
index 6517b77..698d280 100644 (file)
@@ -1,10 +1,10 @@
 
 T7857.hs:8:11:
-    Could not deduce (PrintfType s0) arising from a use of ‘printf’
+    Could not deduce (PrintfType r0) arising from a use of ‘printf’
     from the context (PrintfArg t)
       bound by the inferred type of g :: PrintfArg t => t -> b
       at T7857.hs:8:1-21
-    The type variable ‘s0’ is ambiguous
+    The type variable ‘r0’ is ambiguous
     Note: there are several potential instances:
       instance [safe] (PrintfArg a, PrintfType r) => PrintfType (a -> r)
         -- Defined in ‘Text.Printf’
index 058b063..0198f3c 100644 (file)
@@ -3,8 +3,8 @@ tcfail133.hs:2:61: Warning:
     -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
 
 tcfail133.hs:68:7:
-    No instance for (Show s0) arising from a use of ‘show’
-    The type variable ‘s0’ is ambiguous
+    No instance for (Show r0) arising from a use of ‘show’
+    The type variable ‘r0’ is ambiguous
     Note: there are several potential instances:
       instance Show Zero -- Defined at tcfail133.hs:8:29
       instance Show One -- Defined at tcfail133.hs:9:28
@@ -17,7 +17,7 @@ tcfail133.hs:68:7:
         foo = show $ add (One :@ Zero) (One :@ One)
 
 tcfail133.hs:68:14:
-    No instance for (AddDigit (Zero :@ (One :@ One)) One s0)
+    No instance for (AddDigit (Zero :@ (One :@ One)) One r0)
       arising from a use of ‘add’
     In the second argument of ‘($)’, namely
       ‘add (One :@ Zero) (One :@ One)’