blob: 6c49498efa3c2c822d1cea57a89132d85b242de9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# OPTIONS_GHC -fdefer-type-errors #-}
{-# LANGUAGE ExplicitForAll
, TypeApplications
, KindSignatures
, ScopedTypeVariables
#-}
module T19142 where
-- Both these examples gave Lint errors
-- NB: the -fdefer-type-errors at the top!!
-- Example 1
f (x :: Maybe Maybe) = x
-- Example 2
foo :: forall (f :: * -> *) . String
foo = ""
g x = foo @Int
|