summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/T19709b.hs
blob: 629172a8925c803b7232ebc651416d6189eb7c83 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
{-# LANGUAGE TemplateHaskell, ExplicitForAll, PolyKinds, TypeApplications #-}

module T19709b where

import GHC.Exts
import Language.Haskell.TH

$( let levfun :: forall (r :: RuntimeRep) (a :: TYPE r). a -> ()
       levfun = error "e1"  -- NB: this, so far, is OK: no representation-polymorphic binder

   in levfun (error @Any "e2")  -- but this is very naughty: representation-polymorphic argument
      `seq` return [] )