testsuite/tests/printer/Test10354.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE PartialTypeSignatures #-}
module Test10354 where

f :: ((Eq a, _)) => a -> a -> Bool
f x y = x == y

bar :: (   ) => a-> Bool
bar = undefined

baz :: _ => a -> String
baz = undefined

foo :: ForceError
foo = undefined