Panic during desugaring I think

This is the panic message itself

ghc: panic! (the 'impossible' happened)
  (GHC version 8.2.2 for x86_64-apple-darwin):
	mkOneConFull: Not TyConApp:
  bndType_aeGK
  Call stack:
      CallStack (from HasCallStack):
        prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable
        callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in ghc:Outputable
        pprPanic, called at compiler/deSugar/Check.hs:976:30 in ghc:Check

And these are the options I use to compile:

• -Wall
• -Wall
• -Wcompat
• -Wincomplete-record-updates
• -Wincomplete-uni-patterns
• -Wredundant-constraints

This is the file I am trying to compile https://github.com/ohua-dev/ohua-core/blob/master/src/Ohua/ALang/Passes.hs. Unfortunately the error message tells me very little about where the error actually occurs, but the bndType variables are generally used in the family of AExpr types defined here https://github.com/ohua-dev/ohua-core/blob/master/src/Ohua/ALang/Lang.hs#L141. To get the power of recursion-schemes all expression types are implemented on a variation of the base functor AExprF and then newtypes are used to create individual expression types.

If anyone has an idea as to how I could create a minimal example for you guys feel free to tell me and I'll see what I can do.

Trac metadata

Trac field	Value
Version	8.2.2
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed weight to 5

added Tbug Trac import labels

closed

Thanks for the bug report. This is a duplicate of #14326 (closed), which has been fixed in GHC 8.4.1.

This bug could be tickled when you nest pattern-synonym pattern matches in just the right way.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedDuplicate
Related	- → #14326 (closed)

Ah. Sorry I did not see that duplicate. I tried searching for it but was unsuccessful.

Now I'll have to add CPP to the COMPLETE pragmas in my code :(

added Pnormal label