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:
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.