Opened 17 months ago

Last modified 16 months ago

#12448 new feature request

Allow partial application of bidirectional pattern synonyms

Reported by: Iceland_jack Owned by:
Priority: normal Milestone:
Component: Compiler Version: 8.0.1
Keywords: PatternSynonyms Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

type Product3 = (,,)

Allow

pattern Product3 :: a -> b -> c -> Product3 a b c
pattern Product3 = (,,)

to mean

pattern Product3 :: a -> b -> c -> Product3 a b c
pattern Product3 x y z = (x, y, z)

Change History (2)

comment:1 Changed 17 months ago by Iceland_jack

pattern None = Nothing
pattern Some = Just

comment:2 Changed 16 months ago by bgamari

Type: bugfeature request
Note: See TracTickets for help on using tickets.