Opened 5 months ago

Closed 5 months ago

## #13454 closed bug (fixed)

# Operators not allowed as fields in Record Pattern Synonyms

Reported by: | Iceland_jack | Owned by: | |
---|---|---|---|

Priority: | normal | Milestone: | 8.4.1 |

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): | Phab:D3379 | |

Wiki Page: |

### Description

I want to write the following record pattern synonym

pattern MkOp :: Op -> Exp -> Exp -> Exp pattern MkOp {(·), a, b} <- (splitOp -> Just ((·), a, b)) where MkOp (·) a b = a · b

given this code

data Exp = Val Int | Add Exp Exp | Mul Exp Exp deriving Show type Op = Exp -> Exp -> Exp splitOp :: Exp -> Maybe (Op, Exp, Exp) splitOp (Add a b) = Just (Add, a, b) splitOp (Mul a b) = Just (Mul, a, b) splitOp _ = Nothing

It works fine if `(·)`

is replaced by `operator`

. Fields of regular data types works just fine:

data F a = F { (·) :: a -> a -> a, x :: a, y :: a } f F{(·), x, y} = x·y g F{..} = x·y

### Change History (3)

### comment:1 Changed 5 months ago by

Differential Rev(s): | → Phab:D3379 |
---|---|

Status: | new → patch |

### comment:2 Changed 5 months ago by

### comment:3 Changed 5 months ago by

Milestone: | → 8.4.1 |
---|---|

Resolution: | → fixed |

Status: | patch → closed |

**Note:**See TracTickets for help on using tickets.

In 154d224a/ghc: