Commit 5bbdbfa2 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

TFs: T2291

parent 21607c16
{-# OPTIONS_GHC -fglasgow-exts #-}
module Small where
class CoCCC k where
type Coexp k :: * -> * -> *
type Sum k :: * -> * -> *
coapply :: k b (Sum k (Coexp k a b) a)
cocurry :: k c (Sum k a b) -> k (Coexp k b c) a
uncocurry :: k (Coexp k b c) a -> k c (Sum k a b)
{-# RULES
"cocurry coapply" cocurry coapply = id
"cocurry . uncocurry" cocurry . uncocurry = id
"uncocurry . cocurry" uncocurry . cocurry = id
#-}
......@@ -120,3 +120,4 @@ test('OversatDecomp', normal, compile, [''])
test('T2219', normal, compile, [''])
test('T2627', normal, compile, [''])
test('T2448', normal, compile, [''])
test('T2291', 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