testsuite/tests/typecheck/should_compile/T12104.hs


1
2
3
4
5
6
7
8
9
10
11

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

module T12104 where

import GHC.TypeLits

type family F a where
  F a = TypeError (Text "error")

err :: F ()
err = ()