Skip to content

WIP: Remove tuples of unit constraints during typechecking (fix #19275 part 1)

Hécate Moonlight requested to merge Kleidukos/ghc:unit-constraint-optimisation into master

This MR removes tuples of () (unit) constraints in type signatures.

For example:

foo :: ((), ()) => Int -> Int

Will be translated to

foo :: Int -> Int

Related ticket: #19275

Edited by Hécate Moonlight

Merge request reports