diff options
Diffstat (limited to 'testsuite/tests/th/TH_tf1.hs')
| -rw-r--r-- | testsuite/tests/th/TH_tf1.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/th/TH_tf1.hs b/testsuite/tests/th/TH_tf1.hs index 2b5d3f8887..43ac2d3379 100644 --- a/testsuite/tests/th/TH_tf1.hs +++ b/testsuite/tests/th/TH_tf1.hs @@ -2,6 +2,8 @@ module TH_tf1 where +import Data.Kind (Type) + $( [d| data family T a |] ) $( [d| data instance T Int = TInt Bool |] ) @@ -14,7 +16,7 @@ $( [d| type instance S Int = Bool |] ) bar :: S Int -> Int bar c = if c then 1 else 2 -$( [d| type family R (a :: * -> *) :: * -> * |] ) +$( [d| type family R (a :: Type -> Type) :: Type -> Type |] ) $( [d| type instance R Maybe = [] |] ) baz :: R Maybe Int -> Int |