Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Commits
dcafadf3
Commit
dcafadf3
authored
May 24, 2013
by
Simon Peyton Jones
Browse files
Improve test T7916
parent
c1d4cd7e
Changes
1
Hide whitespace changes
Inline
Side-by-side
testsuite/tests/polykinds/T7916.hs
View file @
dcafadf3
...
...
@@ -7,3 +7,9 @@ f = id
-- g :: forall (m :: k -> *) (a :: k). m a -> m a
g
x
=
f
x
data
M
f
=
M
(
f
Int
)
-- Test that g :: forall (m :: k -> *) (a :: k). m a -> m a
g1
=
g
::
[
Int
]
->
[
Int
]
g2
=
g
::
M
[]
->
M
[]
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