Commit c650ed4a authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski
Browse files

Test #8119

parent 169a1884
{-# LANGUAGE TypeFamilies #-}
class Test a where test :: a
instance (a ~ Int, b ~ Int) => Test (a -> b) where test = id
:l T8119
:t test `asTypeOf` (undefined :: a -> b)
:t \x -> test x
test `asTypeOf` (undefined :: a -> b) :: Int -> Int
\x -> test x :: Int -> Int
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