blob: 364193ceb5a19999399f61fcf152bad5b49b6e78 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE ImplicitParams, TypeFamilies #-}
module T3540 where
thing :: (a~Int)
thing = undefined
thing1 :: Int -> (a~Int)
thing1 = undefined
thing2 :: (a~Int) -> Int
thing2 = undefined
thing3 :: (?dude :: Int) -> Int
thing3 = undefined
thing4:: (Eq a) -> Int
thing4 = undefined
|