Commit cdb03615 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #7347

parent 91790aa0
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE KindSignatures #-}
module T7347 where
data K = forall a. T a -- promotion would give 'T :: forall k. k -> K
data G :: K -> * where
D :: G (T []) -- kind error!
`T' of type `forall a. a -> K' is not promotable
In the type `G (T [])'
In the definition of data constructor `D'
In the data declaration for `G'
......@@ -75,3 +75,5 @@ test('T7278', normal, compile_fail,[''])
test('Holdermans', normal, compile_fail,[''])
test('T7328', normal, compile_fail,[''])
test('T7332', normal, compile,[''])
test('T7347', normal, compile_fail,[''])
Markdown is supported
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