Opened 5 months ago

Last modified 5 months ago

#14649 new bug

ghc panic: mergeSATInfo

Reported by: tianxiaogu Owned by:
Priority: normal Milestone:
Component: Compiler Version: 8.2.2
Keywords: StaticArgumentTransformation Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Compile-time crash or panic Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


ghc panic with option -O and -fstatic-argument-transformation. Affected versions include 8.2.2 and HEAD (8.5.20180108)

{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE PolyKinds             #-}
{-# LANGUAGE TypeFamilies          #-}
{-# LANGUAGE TypeOperators         #-}

module T12844 where

barWraper :: ('(r,r') ~ Head rngs, Foo rngs) => FooData rngs
barWraper = bar

bar :: (_) => FooData rngs
bar = barWraper

data FooData rngs

class Foo xs where foo :: (Head xs ~ '(r,r')) => FooData xs

type family Head (xs :: [k]) where Head (x ': xs) = x


ghc: panic! (the 'impossible' happened)
  (GHC version 8.5.20180108 for x86_64-unknown-linux):
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable
        pprPanic, called at compiler/simplCore/SAT.hs:152:20 in ghc:SAT

Please report this as a GHC bug:

Change History (1)

comment:1 Changed 5 months ago by simonpj

Keywords: StaticArgumentTransformation added

Thanks for reporting this.

The Static Argument Transformation could really do with some love from someone.

Note: See TracTickets for help on using tickets.