blob: d5f49cfc813fae834057bbbc73db697f63753e4b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UnboxedTuples #-}
module RepPolyTuple where
import GHC.Exts
foo :: forall (r :: RuntimeRep) (a :: TYPE r). () -> (# a, a, a #)
foo _ = (# bar (), bar (), bar () #)
where
bar :: forall (r :: RuntimeRep) (a :: TYPE r). () -> a
bar _ = undefined
|
