#14803: Panic during desugaring I think --------------------------------------+--------------------------------- Reporter: justus | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+--------------------------------- 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 {{{newtype}}}s 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. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14803 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler