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 [] )
|
