testsuite/tests/typecheck/should_compile/T17775-viewpats-d.hs


1
2
3
4
5
6
7

{-# LANGUAGE RankNTypes, ViewPatterns #-}

module ViewPats where

ex6 :: forall a. a -> a -> Int -> Eq a => Bool
-- Reject. Needs (const (bla :: Bool)) :: Int -> Eq a => Bool
ex6 x y = const (x == y)