Skip to content
GitLab
Menu
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
3dfd3c33
Commit
3dfd3c33
authored
Aug 07, 2014
by
eir@cis.upenn.edu
Browse files
Added more testing for
#9200
. (polykinds/T9200b)
parent
64859308
Changes
3
Hide whitespace changes
Inline
Side-by-side
testsuite/tests/polykinds/T9200b.hs
0 → 100644
View file @
3dfd3c33
{-# LANGUAGE TypeFamilies, PolyKinds, DataKinds #-}
module
T9200b
where
---------
--- test CUSK on closed type families
type
family
F
(
a
::
k
)
where
F
True
=
False
F
False
=
True
F
x
=
x
testsuite/tests/polykinds/T9200b.stderr
0 → 100644
View file @
3dfd3c33
T9200b.hs:8:5:
The first argument of ‘F’ should have kind ‘k’,
but ‘True’ has kind ‘Bool’
In the type ‘True’
In the type family declaration for ‘F’
testsuite/tests/polykinds/all.T
View file @
3dfd3c33
...
...
@@ -107,3 +107,4 @@ test('T9264', normal, compile, [''])
test
('
T9263
',
normal
,
run_command
,
['
$MAKE -s --no-print-directory T9263
'])
test
('
T9063
',
normal
,
compile
,
[''])
test
('
T9200
',
normal
,
compile
,
[''])
test
('
T9200b
',
normal
,
compile_fail
,
[''])
Write
Preview
Supports
Markdown
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