blob: 7b811b0fc78b6648d9fe542fa4488cc32793a830 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE UnboxedTuples #-}
module RepPolyPatBind where
import Data.Kind
import GHC.Exts
foo :: forall rep (a :: TYPE rep). () -> a
foo _ =
let
x, y :: a
(# x, y #) = undefined
in x
|