Opened 2 years ago

Closed 2 years ago

#8360 closed bug (duplicate)

panic! (the 'impossible' happened): ... kindFunResult

Reported by: 2piix Owned by:
Priority: normal Milestone:
Component: GHCi Version: 7.6.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


I got an 'impossible' error on GHCi 7.6.3 after trying to evaluate a type for a Yesod value:

*Yesod.Import> :t handlerToWidget
handlerToWidget :: Monad m => HandlerT site m a -> WidgetT site m a
*Yesod.Import> :t generateFormPost
  :: (RenderMessage (HandlerSite m) FormMessage, MonadHandler m) =>
      -> MForm m (FormResult a, xml))
     -> m (xml, Enctype)
*Yesod.Import> :t lift
lift :: (Monad m, MonadTrans t) => m a -> t m a
*Yesod.Import> :t handlerToWidget . generateFormPost . lift

<interactive>:1:38:ghc: panic! (the 'impossible' happened)
  (GHC version 7.6.3 for x86_64-unknown-linux):
<<details unavailable>>

Reporting since GHC asked so nicely. :)

Change History (1)

comment:1 Changed 2 years ago by monoidal

  • Resolution set to duplicate
  • Status changed from new to closed

This is already fixed in HEAD, thanks for the report.

Note: See TracTickets for help on using tickets.