Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Tobias Decking
GHC
Commits
03b0b8e4
Commit
03b0b8e4
authored
Oct 24, 2016
by
Simon Peyton Jones
Browse files
Test Trac #12174
parent
08ba691a
Changes
3
Hide whitespace changes
Inline
Side-by-side
testsuite/tests/dependent/should_fail/T12174.hs
0 → 100644
View file @
03b0b8e4
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeInType #-}
module
T12174
where
data
V
a
data
T
=
forall
(
a
::
S
)
.
MkT
(
V
a
)
data
S
=
forall
(
a
::
T
)
.
MkS
(
V
a
)
testsuite/tests/dependent/should_fail/T12174.stderr
0 → 100644
View file @
03b0b8e4
T12174.hs:9:23: error:
• Type constructor ‘T’ cannot be used here
(it is defined and used in the same recursive group)
• In the kind ‘T’
In the definition of data constructor ‘MkS’
In the data declaration for ‘S’
testsuite/tests/dependent/should_fail/all.T
View file @
03b0b8e4
...
...
@@ -14,3 +14,4 @@ test('InferDependency', normal, compile_fail, [''])
test
('
KindLevelsB
',
normal
,
compile_fail
,
[''])
test
('
T11473
',
normal
,
compile_fail
,
[''])
test
('
T11471
',
normal
,
compile_fail
,
[''])
test
('
T12174
',
normal
,
compile_fail
,
[''])
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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