Skip to content

Visible type arguments in patterns can be used without any language extensions

To my surprise, GHC HEAD accepts this program without any language extensions:

module Bug where

import Data.Functor.Identity

f (Identity @Int x) = x

I would have expected GHC to complain about me not using the TypeApplications extension here.

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