Commit 854fd123 authored by Austin Seipp's avatar Austin Seipp

testsuite: add test for #10177

Signed-off-by: default avatarAustin Seipp <austin@well-typed.com>
parent 1cc46b1f
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE FlexibleContexts #-}
module T10177 where
import Data.Typeable
newtype V n a = V [a]
class Typeable a => C a
instance (Typeable (V n), Typeable a) => C (V n a)
......@@ -444,3 +444,4 @@ test('T10031', normal, compile, [''])
test('T10072', normal, compile_fail, [''])
test('T10100', normal, compile, [''])
test('T10156', normal, compile, [''])
test('T10177', normal, compile, [''])
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