blob: e91a8e12696513f5f88530ad1d1b5a8b6ddad32f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
-- Tests the special case of
-- non-recursive, function binding,
-- with no type signature
module ShouldCompile where
f = \ (x :: forall a. a->a) -> (x True, x 'c')
g (x :: forall a. a->a) = x
|