Commit 514276b6 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Type families: test for decomposition problem

parent 571a5b24
{-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-}
module OversatDecomp where
class Blah f a where
blah :: a -> T f f a
class A f where
type T f :: (* -> *) -> * -> *
wrapper :: Blah f a => a -> T f f a
wrapper x = blah x
......@@ -113,4 +113,5 @@ test('GivenCheckTop', normal, compile, [''])
test('Gentle', normal, compile, [''])
test('T1981', normal, compile, [''])
test('T2238', normal, compile, [''])
test('OversatDecomp', 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