Opened 4 years ago

Closed 4 years ago

Last modified 4 years ago

#11039 closed bug (fixed)

Panic with incorrect pattern synonym signature

Reported by: mpickering Owned by:
Priority: high Milestone: 8.0.1
Component: Compiler (Type checker) Version: 7.11
Keywords: PatternSynonyms Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: patsyn/should_fail/T11039, T11039a
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


{-# LANGUAGE PatternSynonyms #-}
module Foo () where

data A a = A a

pattern Q :: () => (A ~ f) => a -> f a
pattern Q a = A a

error with HEAD

poly-export2.hs:7:9: error:ghc-stage2: panic! (the 'impossible' happened)
  (GHC version 7.11.20151030 for x86_64-apple-darwin):
	No skolem info: f_amp[sk]

Change History (5)

comment:1 Changed 4 years ago by Ben Gamari <ben@…>

In fce758c/ghc:

Add failing test for #11039

Reviewers: austin, bgamari

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #11039

comment:2 Changed 4 years ago by thomie

Component: CompilerCompiler (Type checker)
Keywords: PatternSynonyms added
Test Case: patsyn/should_fail/T11039

comment:3 Changed 4 years ago by Simon Peyton Jones <simonpj@…>

In d1e9f82/ghc:

Update tests for Trac #11039

comment:4 Changed 4 years ago by simonpj

Resolution: fixed
Status: newclosed
Test Case: patsyn/should_fail/T11039patsyn/should_fail/T11039, T11039a

Fixed now.

comment:5 Changed 4 years ago by thomie

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