Commit 86f15573 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

TFs: T2639

parent 5e36a28a
{-# LANGUAGE TypeFamilies, EmptyDataDecls #-}
module T2639 where
data Eps
data family Work a v
data instance Work Eps v = Eps v
type family Dual a
type instance Dual Eps = Eps
class Connect s where
connect :: (Dual s ~ c, Dual c ~ s) => Work s a -> Work c b -> (a,b)
instance Connect Eps where
connect (Eps a) (Eps b) = (a,b)
......@@ -124,3 +124,4 @@ test('T2219', normal, compile, [''])
test('T2627', normal, compile, [''])
test('T2448', normal, compile, [''])
test('T2291', normal, compile, [''])
test('T2639', 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