Commit 817d2c34 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #10156

parent e935a7f4
{-# LANGUAGE FlexibleContexts, TypeFamilies #-}
module T10156 where
import Data.Coerce
data Iso a b = Iso (a -> b) (b -> a)
coerceIso :: Coercible a b => Iso a b
coerceIso = Iso coerce coerce
type family F x
f :: (Coercible a (F b), Coercible c (F b)) => a -> b -> c
f x _ = coerce x
......@@ -443,3 +443,4 @@ test('T9971', normal, compile, [''])
test('T10031', normal, compile, [''])
test('T10072', normal, compile_fail, [''])
test('T10100', normal, compile, [''])
test('T10156', 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