#13050: Holes don't work infix -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | 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: | Differential Rev(s): Phab:D2910 Wiki Page: | -------------------------------------+------------------------------------- Comment (by deech): Also the types inferred by holes can be confusing: {{{#!hs

:t 1 1 :: Num t => t :t (+) 1 1 (+) 1 1 :: Num a => a _ 1 1 Found hole: _ :: Integer -> Integer -> te }}}

I would have expected: {{{

_ 1 1 Found hole: _ :: (Num a) => a -> a -> te }}}

-- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13050#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#13050: Holes don't work infix -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | 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: | Differential Rev(s): Phab:D2910 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ömer Sinan Ağacan ): In [changeset:"6c869f906b879bc746ea1aa3e79e02f146d85093/ghc" 6c869f90/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="6c869f906b879bc746ea1aa3e79e02f146d85093" Parse holes as infix operators Reported as #13050. Since holes are expressions but not identifiers, holes were not allowed in infix operator position. This patch introduces a new production in infix operator parser to allow this. Reviewers: simonpj, austin, bgamari Reviewed By: simonpj Subscribers: simonpj, RyanGlScott, thomie, mpickering Differential Revision: https://phabricator.haskell.org/D2910 GHC Trac Issues: #13050 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13050#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#13050: Holes don't work infix -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | Status: merge Priority: normal | Milestone: 8.0.3 Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_compile/T13050 Blocked By: | Blocking: Related Tickets: #13088 | Differential Rev(s): Phab:D2910 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * testcase: => typecheck/should_compile/T13050 * related: => #13088 * milestone: => 8.0.3 Comment: I've opened #13088 to track the remaining issue (type operator holes). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13050#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler