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

Test Trac #5686

parent 76f2fa96
{-# LANGUAGE TypeFamilies, DeriveFunctor #-}
module Main where
data U a = U (G a) deriving Functor
class A a where
type G a
T5686.hs:4:29:
Can't make a derived instance of `Functor U':
Constructor `U' must use the type variable only as the last argument of a data type
In the data type declaration for `U'
...@@ -34,4 +34,5 @@ test('T3834', normal, compile_fail, ['']) ...@@ -34,4 +34,5 @@ test('T3834', normal, compile_fail, [''])
test('T4528', normal, compile_fail, ['']) test('T4528', normal, compile_fail, [''])
test('T5287', normal, compile_fail, ['']) test('T5287', normal, compile_fail, [''])
test('T5478', normal, compile_fail, ['']) test('T5478', normal, compile_fail, [''])
test('T5686', 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