blob: 62442730e7648dec479158d3166a50ca720a31a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
{-# OPTIONS_GHC -Wno-partial-type-signatures #-}
module Bug where
import Data.Proxy
f2 :: forall a (x :: a). Proxy (x :: _)
f2 = Proxy
|
