[GHC] #14232: Invalid type signature prokoves error in GHCi
#14232: Invalid type signature prokoves error in GHCi -------------------------------------+------------------------------------- Reporter: walling | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.2.1 Keywords: | Operating System: MacOS X Architecture: x86_64 | Type of failure: Poor/confusing (amd64) | error message Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When I create and save a file with the following content (notice the missing arrow `->`): {{{#!hs f :: (String -> a) String -> a f g s = g s }}} ... it outputs this snippet in GHCi (copy-pasted from terminal): {{{ $ ghci bug.hs GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( Playground/bug.hs, interpreted ) ghc: panic! (the 'impossible' happened) (GHC version 8.2.1 for x86_64-apple-darwin): repSplitAppTys String a_a1pl[sk:1] [] 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/types/Type.hs:808:9 in ghc:Type Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Leaving GHCi. }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14232 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14232: Invalid type signature prokoves error in GHCi -------------------------------------+------------------------------------- Reporter: walling | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.2.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 Type of failure: Poor/confusing | (amd64) error message | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): That's terrible! Works fine in HEAD though. I'm not sure what fixed it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14232#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14232: Invalid type signature prokoves error in GHCi
-------------------------------------+-------------------------------------
Reporter: walling | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone:
Component: GHCi | Version: 8.2.1
Resolution: | Keywords:
Operating System: MacOS X | Architecture: x86_64
Type of failure: Poor/confusing | (amd64)
error message | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Simon Peyton Jones
#14232: Invalid type signature prokoves error in GHCi -------------------------------------+------------------------------------- Reporter: walling | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: GHCi | Version: 8.2.1 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Poor/confusing | Unknown/Multiple error message | Test Case: Blocked By: | Blocking: Related Tickets: #13819 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => closed * os: MacOS X => Unknown/Multiple * resolution: => duplicate * architecture: x86_64 (amd64) => Unknown/Multiple * related: => #13819 Comment: This is a duplicate of #13819. It's definitely fixed in GHC 8.4, since it was fixed in commit c2417b87ff59c92fbfa8eceeff2a0d6152b11a47 (`Fix #13819 by refactoring TypeEqOrigin.uo_thing`). It happens to be fixed in GHC 8.2.2, too (see https://ghc.haskell.org/trac/ghc/ticket/13819#comment:16). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14232#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC