Skip to content

T2T in Patterns (#23739)

Vladislav Zavialov requested to merge wip/int-index/p2tp into master

This patch implements the pattern-to-type-pattern transformation (#23739), which allows to omit the type keyword in patterns

  sizeOfVis :: forall a -> Storable a => Int
- sizeOfVis (type t) = sizeOf (undefined :: t)
+ sizeOfVis t        = sizeOf (undefined :: t)

Merge request reports