Opened 7 months ago

Closed 7 months 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 Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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
generateFormPost
  :: (RenderMessage (HandlerSite m) FormMessage, MonadHandler m) =>
     (blaze-markup-0.5.1.5:Text.Blaze.Internal.Markup
      -> 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):
	kindFunResult
<<details unavailable>>

Reporting since GHC asked so nicely. :)

Change History (1)

comment:1 Changed 7 months ago by monoidal

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

This is already fixed in HEAD, thanks for the report. http://ghc.haskell.org/trac/ghc/search?q=lift+kindFunResult

Note: See TracTickets for help on using tickets.