In section 6.3.4.3 of the GHC 9.14.1 user guide (the same text dates
back to earlier versions), I am puzzled by the example of a
namespace-specific warning:
https://downloads.haskell.org/ghc/9.14.1/docs/users_guide/exts/explicit_namespaces.html#explicit-namespaces-in-fixity-declarations-and-warning-deprecation-pragmas
type family Head xs where
Head (x : _) = x
pattern Head x <- (head -> x)
{-# WARNING in "x-partial" data Head "this is a partial type synonym" #-}
The text string refers to a type synonym but the namespace tag is "data".
Which is it, and what's an example in which the intended warning would
be issued?
--
Viktor. 🇺🇦 Слава Україні!
_______________________________________________
ghc-devs mailing list -- [email protected]
To unsubscribe send an email to [email protected]
