Opened 4 years ago

Closed 3 years ago

#11727 closed feature request (fixed)

Allow one type signature for multiple pattern synonyms

Reported by: mpickering Owned by: mpickering
Priority: normal Milestone: 8.2.1
Component: Compiler Version: 7.10.3
Keywords: PatternSynonyms Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: patsyn/should_compile/T11727
Blocked By: Blocking:
Related Tickets: Differential Rev(s): Phab:D2083
Wiki Page:

Description (last modified by bgamari)

There's no reason why we shouldn't allow the same type signature for multiple pattern synonyms just like ordinary functions.

For example,

pattern A,B,C,D :: Int
pattern A = 5
pattern B = 6
pattern C = 7
pattern D = 8

Change History (3)

comment:1 Changed 3 years ago by thomie

Differential Rev(s): Phab:D2083
Milestone: 8.2.1
Test Case: patsyn/should_compile/T11727

comment:2 Changed 3 years ago by mpickering

Owner: set to mpickering

comment:3 Changed 3 years ago by bgamari

Description: modified (diff)
Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.