[GHC] #13066: Backpack doesn't check for fixity consistency
#13066: Backpack doesn't check for fixity consistency -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 8.1 (Type checker) | Keywords: backpack | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This should fail, but instead it prints 7. {{{ unit p where signature A where infixl 6 `mul` infixl 7 `plu` mul :: Int -> Int -> Int plu :: Int -> Int -> Int module P where import A x = 2 `mul` 3 `plu` 1 unit i where module A where infixl 7 `mul` infixl 6 `plu` mul :: Int -> Int -> Int mul x y = x * y plu :: Int -> Int -> Int plu x y = x + y unit main where dependency p[A=i:A] module Main where import P main = print x }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13066> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13066: Backpack doesn't check for fixity consistency -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: patch Priority: normal | Milestone: 8.2.1 Component: Compiler (Type | Version: 8.1 checker) | Resolution: | Keywords: backpack Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2919 Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * status: new => patch * differential: => Phab:D2919 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13066#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13066: Backpack doesn't check for fixity consistency -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: patch Priority: normal | Milestone: 8.2.1 Component: Compiler (Type | Version: 8.1 checker) | Resolution: | Keywords: backpack Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2919 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Edward Z. Yang <ezyang@…>): In [changeset:"e41c61fa7792d12ac7ffbacda7a5b3ba6ef2a267/ghc" e41c61f/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="e41c61fa7792d12ac7ffbacda7a5b3ba6ef2a267" Improve Backpack support for fixities. Summary: Two major bug-fixes: - Check that fixities match between hsig and implementation - Merge and preserve fixities when merging signatures Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Test Plan: validate Reviewers: bgamari, simonpj, austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2919 GHC Trac Issues: #13066 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13066#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13066: Backpack doesn't check for fixity consistency -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: closed Priority: normal | Milestone: 8.2.1 Component: Compiler (Type | Version: 8.1 checker) | Resolution: fixed | Keywords: backpack Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2919 Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13066#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC