[GHC] #13640: Core lint error with deferred type holes
#13640: Core lint error with deferred type holes -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs {-# Options_GHC -dcore-lint -fdefer-typed-holes #-} import Prelude hiding ((.)) class Functor' f where map' :: (a -> b) -> f a -> f b class Bifunctor' f where map2' :: (a -> b) -> f a c -> f b c bimap' :: Bifunctor' f => (a -> b) -> (c -> d) -> (f a c -> f b d) bimap' f g = map2' f . map' }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13640 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13640: Core lint error with deferred type holes -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by Iceland_jack): * Attachment "tN4R.log" added. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13640 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13640: Core lint error with deferred type holes -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Can you update the description to explain what the problem is? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13640#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13640: Core lint error with deferred type holes -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): FWIW, I can't reproduce this error with GHC 8.0.2, 8.2.1, or HEAD: {{{ $ /opt/ghc/8.2.1/bin/ghci Bug.hs GHCi, version 8.2.0.20170427: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci [1 of 1] Compiling Main ( Bug.hs, interpreted ) Bug.hs:12:22: error: • Variable not in scope: (.) :: (f0 a c0 -> f0 b c0) -> ((a0 -> b0) -> f1 a0 -> f1 b0) -> f a c -> f b d • Perhaps you want to remove ‘.’ from the explicit hiding list in the import of ‘Prelude’ (Bug.hs:3:1-27). | 12 | bimap' f g = map2' f . map' | }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13640#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13640: Core lint error with deferred type holes -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): I've verified that commit b4bdbe4957ae8b82c4cda5584203b44d3c4f004f (Don't omit any evidence bindings), the fix for #12156, was what fixed this program. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13640#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13640: Core lint error with deferred type holes -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- @@ -0,0 +1,2 @@ + The following program (note the `-dcore-lint`) + @@ -15,0 +17,5 @@ + + produces a `*** Core Lint errors : in result of Desugar (after + optimization) ***`, more information in attached + [https://ghc.haskell.org/trac/ghc/attachment/ticket/13640/tN4R.log the + log]. New description: The following program (note the `-dcore-lint`) {{{#!hs {-# Options_GHC -dcore-lint -fdefer-typed-holes #-} import Prelude hiding ((.)) class Functor' f where map' :: (a -> b) -> f a -> f b class Bifunctor' f where map2' :: (a -> b) -> f a c -> f b c bimap' :: Bifunctor' f => (a -> b) -> (c -> d) -> (f a c -> f b d) bimap' f g = map2' f . map' }}} produces a `*** Core Lint errors : in result of Desugar (after optimization) ***`, more information in attached [https://ghc.haskell.org/trac/ghc/attachment/ticket/13640/tN4R.log the log]. -- Comment (by Iceland_jack): Replying to [comment:1 simonpj]:
Can you update the description to explain what the problem is?
Edited. It seems to have been solved already, thanks for a swift response -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13640#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13640: Core lint error with deferred type holes -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #12947 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * related: => #12947 Comment: This ended up being the same issue as #12947. Regression test incoming. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13640#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13640: Core lint error with deferred type holes -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #12947 | Differential Rev(s): Phab:D3528 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => patch * differential: => Phab:D3528 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13640#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13640: Core lint error with deferred type holes
-------------------------------------+-------------------------------------
Reporter: Iceland_jack | Owner: (none)
Type: bug | Status: patch
Priority: normal | Milestone:
Component: Compiler | Version: 8.0.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: #12947 | Differential Rev(s): Phab:D3528
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ryan Scott
#13640: Core lint error with deferred type holes -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_fail/T13640 Blocked By: | Blocking: Related Tickets: #12947 | Differential Rev(s): Phab:D3528 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * testcase: => typecheck/should_fail/T13640 * status: patch => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13640#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC