testsuite/tests/polykinds/T9200b.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TypeFamilies, PolyKinds, DataKinds #-}

module T9200b where

---------
--- test CUSK on closed type families
type family F (a :: k) where
  F True = False
  F False = True
  F x = x