Commit a7d9aa13 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #8499

parent ac4a5e29
{-# LANGUAGE TemplateHaskell, PolyKinds, DataKinds #-}
{-# OPTIONS_GHC -Wall #-}
module T8499 where
import Language.Haskell.TH
$( do TyConI (DataD _ _ [PlainTV tvb_a] _ _) <- reify ''Maybe
my_a <- newName "a"
return [TySynD (mkName "SMaybe")
[KindedTV my_a (AppT (ConT ''Maybe) (VarT tvb_a))]
(TupleT 0)] )
......@@ -303,3 +303,4 @@ test('T8412', normal, compile_fail, ['-v0'])
test('T7667', normal, compile, ['-v0'])
test('T7667a', normal, compile_fail, ['-v0'])
test('T8455', normal, compile, ['-v0'])
test('T8499', normal, compile, ['-v0'])
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment