blob: 262e9a1e4824a7cbbe6a347d1345d27a3e93c9f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TemplateHaskell, TypeFamilies, PolyKinds, DataKinds #-}
module ClosedFam1 where
import Language.Haskell.TH
$(do { decl <- [d| type family Foo a (b :: k) where
Foo Int Bool = Int
Foo a Maybe = Bool
Foo b (x :: Bool) = Char |]
; reportWarning (pprint decl)
; return [] })
|
