blob: 539332bee78bdc3e8d8a40579eba6dd798a37084 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UnboxedTuples #-}
module T20277 where
import GHC.Exts
-- This one crucially must cause an error,
-- even though there are no representation-polymorphic values.
-- See GHC ticket #20277.
baz :: forall (rep :: RuntimeRep) (a :: TYPE rep). () -> (# Int# | a #)
baz _ = (# 17# | #)
|