Skip to content

No warning for unused, un-exported closed type family

When I say this (with -Wall)

{-# LANGUAGE TypeFamilies #-}

module Bug () where

type family Closed x where
  Closed Int = Bool

I get no warning. But Closed is very much unused. We should warn.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information