[GHC] #10589: Core Lint error with LambdaCase
#10589: Core Lint error with LambdaCase -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 (Type checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- When I say {{{ {-# LANGUAGE LambdaCase, TypeFamilies #-} type family F a where F a = Bool -> a foo = (\case True -> 5 False -> 6) :: F Int }}} `-dcore-lint` tells me {{{ *** Core Lint errors : in result of Desugar (after optimization) *** /Users/rae/temp/Bug.hs:6:1: Warning: [RHS of foo :: Bool -> Int] From-type of Cast differs from type of enclosed expression ... }}} The problem is a missing `mkTcSymCo` in the relevant bit of `tcExpr`. Will fix in ongoing work. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10589> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10589: Core Lint error with LambdaCase -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"2db18b8135335da2da9918b722699df684097be9/ghc" 2db18b81/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="2db18b8135335da2da9918b722699df684097be9" Visible type application This re-working of the typechecker algorithm is based on the paper "Visible type application", by Richard Eisenberg, Stephanie Weirich, and Hamidhasan Ahmed, to be published at ESOP'16. This patch introduces -XTypeApplications, which allows users to say, for example `id @Int`, which has type `Int -> Int`. See the changes to the user manual for details. This patch addresses tickets #10619, #5296, #10589. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10589#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10589: Core Lint error with LambdaCase -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"b218241d6ba8c1a8dff3e9dbb461dbbc1d2ab412/ghc" b218241d/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="b218241d6ba8c1a8dff3e9dbb461dbbc1d2ab412" Test #10589 in typecheck/should_compile/T10589 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10589#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10589: Core Lint error with LambdaCase -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_compile/T10589 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by goldfire): * testcase: => typecheck/should_compile/T10589 * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10589#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC