[GHC] #14803: Panic during desugaring I think

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

[GHC] #14803: Panic during desugaring I think

GHC - devs mailing list
#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

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14803: Panic during desugaring I think

GHC - devs mailing list
#14803: Panic during desugaring I think
---------------------------------+---------------------------------------
        Reporter:  justus        |                Owner:  (none)
            Type:  bug           |               Status:  closed
        Priority:  normal        |            Milestone:
       Component:  Compiler      |              Version:  8.2.2
      Resolution:  duplicate     |             Keywords:  PatternSynonyms
Operating System:  MacOS X       |         Architecture:  x86_64 (amd64)
 Type of failure:  None/Unknown  |            Test Case:
      Blocked By:                |             Blocking:
 Related Tickets:  #14326        |  Differential Rev(s):
       Wiki Page:                |
---------------------------------+---------------------------------------
Changes (by RyanGlScott):

 * status:  new => closed
 * keywords:   => PatternSynonyms
 * resolution:   => duplicate
 * related:   => #14326


Comment:

 Thanks for the bug report. This is a duplicate of #14326, 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.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14803#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
Reply | Threaded
Open this post in threaded view
|

Re: [GHC] #14803: Panic during desugaring I think

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
#14803: Panic during desugaring I think
---------------------------------+---------------------------------------
        Reporter:  justus        |                Owner:  (none)
            Type:  bug           |               Status:  closed
        Priority:  normal        |            Milestone:
       Component:  Compiler      |              Version:  8.2.2
      Resolution:  duplicate     |             Keywords:  PatternSynonyms
Operating System:  MacOS X       |         Architecture:  x86_64 (amd64)
 Type of failure:  None/Unknown  |            Test Case:
      Blocked By:                |             Blocking:
 Related Tickets:  #14326        |  Differential Rev(s):
       Wiki Page:                |
---------------------------------+---------------------------------------

Comment (by justus):

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

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14803#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
ghc-tickets mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets