summaryrefslogtreecommitdiff
path: root/testsuite/tests/parser/should_compile/T11622.hs
blob: e7a8ff88d000443f4db25e9efa284911f3b5e296 (plain)
1
2
3
4
5
6
7
{-# LANGUAGE TypeFamilies #-}
module T11622 where

import Data.Kind (Type)

type family F a where
  F _ = Int :: Type