blob: 016295ac4f6438f1090834bae0e826d1ead38e95 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# OPTIONS_GHC -fdefer-type-errors #-} -- Very important to this bug!
{-# Language PartialTypeSignatures #-}
{-# Language KindSignatures #-}
{-# Language PolyKinds #-}
{-# Language ScopedTypeVariables #-}
{-# Language AllowAmbiguousTypes #-}
{-# Language TypeApplications #-}
module T14584a where
f :: forall m. ()
f = id @m :: _
g :: forall m. ()
g = let h = id @m
in h
|
