blob: 85affa52044e209ffb8ebffcb0d2e27baaa9b490 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TemplateHaskell #-}
module T16293b where
import Control.Monad
import GHC.Exts
import Language.Haskell.TH
f :: ()
f = $(do PrimTyConI _ arity _ <- reify ''Proxy#
unless (arity == 1) $
fail $ "Unexpected arity for Proxy#: " ++ show arity
[| () |])
|