Opened 2 years ago

Last modified 21 months ago

#10783 new bug

Partial type signatures should work in pattern synonym signatures

Reported by: mpickering Owned by: mpickering
Priority: normal Milestone:
Component: Compiler Version: 7.10.2
Keywords: PatternSynonyms partial-type-signatures 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

{-# LANGUAGE PatternSynonyms #-}

pattern MyJust :: _
pattern MyJust a = Just a

GHC can correctly infer the type for the pattern without the type signature so (to me) it is unexpected that this inferred type is not reported to me when using partial type signatures. It just seems to not be implemented currently.

Change History (4)

comment:1 Changed 2 years ago by mpickering

Summary: Partial type signatures should work with pattern synonym signaturesPartial type signatures should work in pattern synonym signatures

comment:2 Changed 2 years ago by mpickering

Owner: set to mpickering

comment:3 Changed 21 months ago by thomie

Keywords: PaternSynonyms partial-type-signatures added

comment:4 Changed 21 months ago by thomie

Keywords: PatternSynonyms added; PaternSynonyms removed
Note: See TracTickets for help on using tickets.