diff options
Diffstat (limited to 'testsuite/tests/th/T19709b.hs')
| -rw-r--r-- | testsuite/tests/th/T19709b.hs | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/testsuite/tests/th/T19709b.hs b/testsuite/tests/th/T19709b.hs deleted file mode 100644 index 629172a892..0000000000 --- a/testsuite/tests/th/T19709b.hs +++ /dev/null @@ -1,12 +0,0 @@ -{-# 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 [] ) |