Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Alex D
GHC
Commits
6b569623
Commit
6b569623
authored
Oct 02, 2013
by
Simon Peyton Jones
Browse files
Further testsuite wibbles following changes to kind suppression
parent
e6632902
Changes
7
Hide whitespace changes
Inline
Side-by-side
testsuite/tests/ghci/scripts/T7873.stdout
View file @
6b569623
data D1 where
MkD1 :: (forall (k :: BOX) (p :: k -> *) (a :: k).
p a -> Int) -> D1
MkD1 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D1
-- Defined at <interactive>:3:6
data D2 where
MkD2 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D2
...
...
testsuite/tests/indexed-types/should_fail/T7786.stderr
View file @
6b569623
T7786.hs:86:22:
Couldn't match type ‛xxx’ with ‛'Empty
[KeySegment]
’
Couldn't match type ‛xxx’ with ‛'Empty’
Inaccessible code in
a pattern with constructor
Nil ::
forall (k :: BOX). Sing (Inventory k) (
'Empty
k)
,
Nil ::
Sing
'Empty,
in a pattern binding in
'do' block
In the pattern: Nil
...
...
testsuite/tests/indexed-types/should_fail/T7967.stderr
View file @
6b569623
T7967.hs:31:26:
Couldn't match type ‛'[]
*
’ with ‛
(':) *
h0 t0’
Couldn't match type ‛'[]’ with ‛h0
:
t0’
Expected type: Index n l
Actual type: Index 'Zero (
(':) *
h0 t0)
Actual type: Index 'Zero (h0
:
t0)
In the expression: IZero
In an equation for ‛sNatToIndex’: sNatToIndex SZero HNil = IZero
testsuite/tests/polykinds/T7230.stderr
View file @
6b569623
T7230.hs:48:32:
Could not deduce ((x :<<= x1) ~ 'True)
from the context (Increasing xs ~ 'True)
bound by the type signature for
crash :: Increasing xs ~ 'True => SList xs -> SBool (Increasing xs)
at T7230.hs:47:10-68
or from (xs ~ (x : xs1))
bound by a pattern with constructor
SCons :: forall
(k :: BOX)
(x :: k) (xs :: [k]).
Sing x -> Sing xs -> Sing (x : xs),
in an equation for ‛crash’
at T7230.hs:48:8-27
or from (xs1 ~ (x1 : xs2))
bound by a pattern with constructor
SCons :: forall
(k :: BOX)
(x :: k) (xs :: [k]).
Sing x -> Sing xs -> Sing (x : xs),
in an equation for ‛crash’
at T7230.hs:48:17-26
Expected type: SBool (Increasing xs)
Actual type: SBool (x :<<= x1)
Relevant bindings include
y :: Sing x1 (bound at T7230.hs:48:23)
x :: Sing x (bound at T7230.hs:48:14)
In the expression: x %:<<= y
In an equation for ‛crash’:
crash (SCons x (SCons y xs)) = x %:<<= y
T7230.hs:48:32:
Could not deduce ((x :<<= x1) ~ 'True)
from the context (Increasing xs ~ 'True)
bound by the type signature for
crash :: Increasing xs ~ 'True => SList xs -> SBool (Increasing xs)
at T7230.hs:47:10-68
or from (xs ~ (x : xs1))
bound by a pattern with constructor
SCons :: forall (x :: k) (xs :: [k]).
Sing x -> Sing xs -> Sing (x : xs),
in an equation for ‛crash’
at T7230.hs:48:8-27
or from (xs1 ~ (x1 : xs2))
bound by a pattern with constructor
SCons :: forall (x :: k) (xs :: [k]).
Sing x -> Sing xs -> Sing (x : xs),
in an equation for ‛crash’
at T7230.hs:48:17-26
Expected type: SBool (Increasing xs)
Actual type: SBool (x :<<= x1)
Relevant bindings include
y :: Sing x1 (bound at T7230.hs:48:23)
x :: Sing x (bound at T7230.hs:48:14)
In the expression: x %:<<= y
In an equation for ‛crash’:
crash (SCons x (SCons y xs)) = x %:<<= y
testsuite/tests/roles/should_compile/Roles1.stderr
View file @
6b569623
...
...
@@ -14,7 +14,7 @@ TYPE CONSTRUCTORS
RecFlag NonRecursive, Promotable
= K2 :: forall a. a -> T2 a Stricts: _
FamilyInstance: none
T3 ::
forall (k :: BOX).
k -> *
T3 :: k -> *
data T3 (k::BOX) (a::k)
No C type associated
Roles: [nominal, phantom]
...
...
@@ -35,14 +35,14 @@ TYPE CONSTRUCTORS
RecFlag NonRecursive, Promotable
= K5 :: forall a. a -> T5 a Stricts: _
FamilyInstance: none
T6 ::
forall (k :: BOX).
k -> *
T6 :: k -> *
data T6 (k::BOX) (a::k)
No C type associated
Roles: [nominal, phantom]
RecFlag NonRecursive, Not promotable
= K6 :: forall (k::BOX) (a::k). T6 k a
FamilyInstance: none
T7 ::
forall (k :: BOX).
k -> * -> *
T7 :: k -> * -> *
data T7 (k::BOX) (a::k) b
No C type associated
Roles: [nominal, phantom, representational]
...
...
testsuite/tests/th/TH_Roles2.stderr
View file @
6b569623
TYPE SIGNATURES
TYPE CONSTRUCTORS
T ::
forall (k :: BOX).
k -> *
T :: k -> *
data T (k::BOX) (a::k)
No C type associated
Roles: [nominal, representational]
...
...
testsuite/tests/typecheck/should_fail/T2247.stderr
View file @
6b569623
T2247.hs:6:10:
Illegal instance declaration for ‛FD a b’
The liberal coverage condition fails in class ‛FD’
for functional dependency: ‛
x
->
y’
Reason: ‛a’ do not
jointly
deter
m
ine ‛b’
In the instance declaration for ‛FD a b’
T2247.hs:6:10:
Illegal instance declaration for ‛FD a b’
The liberal coverage condition fails in class ‛FD’
for functional dependency: ‛
a
->
b’
Reason:
lhs type
‛a’ do
es
not deter
n
ine
rhs type
‛b’
In the instance declaration for ‛FD a b’
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment