Commit fe6a5171 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Testsuite wibble due to #9404

[skip ci]
parent e6e45a1c
......@@ -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
......
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
......@@ -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##
......
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’
......
......@@ -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)’
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment