diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-06-12 16:36:59 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-06-12 16:36:59 +0100 |
| commit | 571f0adccda687098d59f63524357f4ac98e72fb (patch) | |
| tree | 94b1562d979e07c132c1de794d66152f4ece7624 /testsuite/tests/th/T9199.hs | |
| parent | b60df0fa017eac8800a3848650dbad09acb6f1b8 (diff) | |
| download | haskell-571f0adccda687098d59f63524357f4ac98e72fb.tar.gz | |
Line up kind and type variables correctly when desugaring TH brackets
This bug was causing Trac #9199
Diffstat (limited to 'testsuite/tests/th/T9199.hs')
| -rw-r--r-- | testsuite/tests/th/T9199.hs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/th/T9199.hs b/testsuite/tests/th/T9199.hs new file mode 100644 index 0000000000..aa41198b57 --- /dev/null +++ b/testsuite/tests/th/T9199.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE TemplateHaskell, PolyKinds, TypeFamilies #-} + +module T9160 where + +$( [d| class C (a :: k) where + type F (a :: k) :: * + |] + ) + |