testsuite/tests/typecheck/should_compile/tc198.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE Rank2Types, ScopedTypeVariables #-}

-- This should work, because the type sig and the type
-- in the pattern match exactly

module Foo where

foo :: (forall a. a -> b) -> b
foo (f :: forall a. a -> b) = f undefined :: b