Opened 2 years ago

Closed 20 months ago

Last modified 20 months ago

#10426 closed bug (fixed)

matchGroupArity panic with PatternSynonyms

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

Description

{-# LANGUAGE PatternSynonyms, ViewPatterns, EmptyCase #-}

pattern Id <- (id -> _) where

which gives:

% ghc -ignore-dot-ghci tmp.FbbzjZ48OO.hs 
[1 of 1] Compiling Main             ( tmp.FbbzjZ48OO.hs, tmp.FbbzjZ48OO.o )
ghc: panic! (the 'impossible' happened)
  (GHC version 7.10.0.20150316 for i386-unknown-linux):
        matchGroupArity

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

Change History (8)

comment:1 Changed 22 months ago by thomie

Architecture: x86Unknown/Multiple
Cc: mpickering cactus added
Keywords: PatternSynonyms added
Operating System: LinuxUnknown/Multiple

Not fixed yet in ghc-7.11.20151019.

comment:2 Changed 22 months ago by Ben Gamari <ben@…>

In fdb08e2/ghc:

Add testcase for #10426

comment:3 Changed 22 months ago by bgamari

Test Case: T10426

comment:4 Changed 20 months ago by mpickering

Differential Rev(s): Phab:D1665
Status: newpatch

comment:5 Changed 20 months ago by Matthew Pickering <matthewtpickering@…>

In 8d954125/ghc:

Disallow empty where bindings in pattern synonym declarations.

Reviewers: austin, bgamari

Reviewed By: bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D1665

GHC Trac Issues: #10426

comment:6 Changed 20 months ago by mpickering

Resolution: fixed
Status: patchclosed

comment:7 Changed 20 months ago by Simon Peyton Jones <simonpj@…>

In b55ad1b3/ghc:

Wibble to error message in Trac #10426

comment:8 Changed 20 months ago by thomie

Milestone: 8.0.1
Note: See TracTickets for help on using tickets.