testsuite/tests/rep-poly/RepPolyTupleSection.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UnboxedTuples #-}

module RepPolyTupleSection where

import GHC.Exts

foo :: forall (r :: RuntimeRep) (a :: TYPE r). a -> (# Int#, a #)
foo = (# 3#, #)