Function type synonym fails in pattern synonym
|Reported by:||Iceland_jack||Owned by:||simonpj|
|Type of failure:||None/Unknown||Test Case:||patsyn/should_compile/T12108|
|Related Tickets:||11977||Differential Rev(s):|
pattern Id :: a -> a pattern Id x = x
-- • Pattern synonym ‘Id’ has one argument -- but its type signature has none -- • In the declaration for pattern synonym ‘Id’ type Endo a = a -> a pattern Id :: Endo a pattern Id x = x
Change History (4)
Note: See TracTickets for help on using tickets.