[GHC] #14169: ghci panics when using type applications on variables that aren't in scope
#14169: ghci panics when using type applications on variables that aren't in scope -------------------------------------+------------------------------------- Reporter: tysonzero | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Minimal example: {{{#!hs ghci> foo @Int ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-apple-darwin): initTc: unsolved constraints WC {wc_insol = [W] foo_a7EJ :: t_a7EI[tau:1] (CHoleCan: foo) [W] foo_a7F7 :: t_a7F6[tau:1] (CHoleCan: foo)} }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14169 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#14169: ghci panics when using type applications on variables that aren't in scope -------------------------------------+------------------------------------- Reporter: tysonzero | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: #13466 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => closed * resolution: => duplicate * related: => #13466 Comment: Thanks for the bug report. This is a duplicate of #13466, which has been fixed in GHC 8.2.1: {{{ GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci λ> :set -XTypeApplications λ> foo @Int <interactive>:2:1: error: Variable not in scope: foo <interactive>:2:1: error: • Cannot apply expression of type ‘t1’ to a visible type argument ‘Int’ • In the expression: foo @Int In an equation for ‘it’: it = foo @Int }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14169#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC