September 2014 - ghc-tickets

Re: [GHC] #7863: Verbosity level for quieter Template Haskell
by GHC 20 Sep '14

20 Sep '14

#7863: Verbosity level for quieter Template Haskell -------------------------------------+------------------------------------- Reporter: dolio | Owner: hvr Type: feature | Status: patch request | Milestone: 7.10.1 Priority: low | Version: 7.6.3 Component: Template | Keywords: linker Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: #5647 Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D232 | -------------------------------------+------------------------------------- Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"9f7e3633c692dce75c27607131bd386178fb0fcf/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="9f7e3633c692dce75c27607131bd386178fb0fcf" Change linker message verbosity to `-v2` (re #7863) With this change, the linker status logging output such as Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. is suppressed unless verbosity level is `-v2` or higher. This is done to reduce the compiler message noise when TH is involved, which can reduce the visibiliy of compile warnings. Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D232 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7863#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7863: Verbosity level for quieter Template Haskell
by GHC 20 Sep '14

20 Sep '14

#7863: Verbosity level for quieter Template Haskell -------------------------------------+------------------------------------- Reporter: dolio | Owner: hvr Type: feature | Status: patch request | Milestone: 7.10.1 Priority: low | Version: 7.6.3 Component: Template | Keywords: linker Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: #5647 Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D232 | -------------------------------------+------------------------------------- Changes (by hvr): * status: new => patch * differential: => Phab:D232 Comment: There were only two testcases whose output needed tweaking, so I went ahead and submitted a code-rev -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7863#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4426: Simplify the rules for implicit quantification
by GHC 20 Sep '14

20 Sep '14

#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: new request | Milestone: 7.12.1 Priority: highest | Version: 6.12.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7880 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D211 | -------------------------------------+------------------------------------- Changes (by hvr): * milestone: 7.10.1 => 7.12.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7863: Verbosity level for quieter Template Haskell
by GHC 20 Sep '14

20 Sep '14

#7863: Verbosity level for quieter Template Haskell -------------------------------------+------------------------------------- Reporter: dolio | Owner: hvr Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 7.6.3 Component: Template | Keywords: linker Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: #5647 Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by hvr): * owner: => hvr Comment: The actual change seems to be just a single character: {{{#!diff diff --git a/compiler/ghci/Linker.lhs b/compiler/ghci/Linker.lhs index 5b0251c..ecba45b 100644 --- a/compiler/ghci/Linker.lhs +++ b/compiler/ghci/Linker.lhs @@ -1292,7 +1292,7 @@ findFile mk_file_path (dir : dirs) \begin{code} maybePutStr :: DynFlags -> String -> IO () maybePutStr dflags s - = when (verbosity dflags > 0) $ + = when (verbosity dflags > 1) $ do let act = log_action dflags act dflags SevInteractive noSrcSpan defaultUserStyle (text s) }}} as `maybePutStr` is used for all linker-related progress logging output With that change, a GHCi session looks like {{{ $ inplace/bin/ghc-stage2 --interactive GHCi, version 7.9.20140919: http://www.haskell.org/ghc/ :? for help λ:2> Control.DeepSeq.rnf () () it :: () λ:3> }}} for comparison, here's what this looks like in GHC 7.8.3: {{{ GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. λ:2> Control.DeepSeq.rnf () Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. () it :: () λ:3> }}} If we want it that way, I'll go forward and adapt any testsuite wobbles this may have caused. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7863#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5647: CLI option to silence "Loading package foo ... linking ... done" output
by GHC 20 Sep '14

20 Sep '14

#5647: CLI option to silence "Loading package foo ... linking ... done" output -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: feature | Status: closed request | Milestone: 7.10.1 Priority: normal | Version: 7.2.1 Component: Compiler | Keywords: Resolution: duplicate | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7863 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by hvr): * status: new => closed * difficulty: => Unknown * resolution: => duplicate * related: => #7863 Comment: Closing this ticket in favour of #7863 which sounds more promising -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5647#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7863: Verbosity level for quieter Template Haskell
by GHC 20 Sep '14

20 Sep '14

#7863: Verbosity level for quieter Template Haskell -------------------------------------+------------------------------------- Reporter: dolio | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 7.6.3 Component: Template | Keywords: linker Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: #5647 Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by hvr): * related: => #5647 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7863#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9610: Missing fixity declaration for `Data.Foldable.{elem, notElem}`
by GHC 19 Sep '14

19 Sep '14

#9610: Missing fixity declaration for `Data.Foldable.{elem,notElem}` -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: libraries/base | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: #9586 | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- `Data.Foldable.{elem,notElem}` is lacking the fixity declaration {{{#!hs infix 4 `elem`, `notElem` }}} to match their monomorphic `Data.List` counterparts' fixity. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9610> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #9580: Possible excessive leniency in interaction between coerce and data families?
by GHC 19 Sep '14

19 Sep '14

#9580: Possible excessive leniency in interaction between coerce and data families? -------------------------------------+------------------------------------- Reporter: dmcclean | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler (Type | Version: 7.8.3 checker) | Operating System: Keywords: | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Difficulty: Unknown | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Per goldfire's request at #8177, I am promoting this issue into it's own ticket. I am entirely not confident that it represents a bug; I raise the issue because, while it happens to do exactly what I want, I cannot understand *why* it does what I want, and it seems like it might possibly also do related undesirable things. I have the following situation, which I have distilled from a real use case, retaining its identifiers but eliding a whole bunch of irrelevant detail. The real thing is on GitHub if it helps anyone to see why I want to do this, but it's really a side issue AFAICT. It's split into two modules, because goldfire had suggested that it might have arisen because the newtype constructor `Quantity'` was in scope at the site of the `coerce`, this test shows that it arises even when `Quantity'` is not in scope. {{{ {-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleInstances #-} module Test ( Quantity, Unit, Dimension(..), Variant(..), Mass, KnownVariant(Dimensional) ) where data Variant = DQuantity | DUnit data Dimension = DMass | DLength | DTime -- ... this isn't the real way, it's simplified data UnitName = UnitName String class KnownVariant (var :: Variant) where data Dimensional var :: Dimension -> * -> * instance KnownVariant DQuantity where newtype Dimensional DQuantity d v = Quantity' v instance KnownVariant DUnit where data Dimensional DUnit d v = Unit' UnitName v instance (Show v) => Show (Dimensional DQuantity d v) where show (Quantity' x) = "As A Quantity " ++ show x type Quantity = Dimensional DQuantity type Unit = Dimensional DUnit type Mass v = Quantity DMass v }}} And the main module: {{{ module Main where import Test import Data.Coerce main = do let x = 3.7 :: Double putStrLn . show $ x let y = (coerce x) :: Mass Double putStrLn . show $ y let z = (coerce y) :: Double putStrLn . show $ z }}} My question is in two parts: 1) Why are these coercions allowed if the role signature of `Dimensional` is, as GHCi's :i tells me, nominal nominal nominal? 2) Is this the intended behavior? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9580> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

Re: [GHC] #4426: Simplify the rules for implicit quantification
by GHC 19 Sep '14

19 Sep '14

#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: highest | Version: 6.12.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7880 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D211 | -------------------------------------+------------------------------------- Comment (by goldfire): I'm very late to this conversation, so please ignore me if this is silly. Why not just jump the gun and make this an error right now? Has anyone tried to see how many packages on Hackage this would break? Spreading the effects of this change over 3 releases (warning in 7.10, error in 7.12 while deprecating the warning flag, remove warning flag in 7.14) seems like a lot of overhead when the amount of affected code is (in my uneducated guess) very small. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5395: Context reduction stack overflow without undecidable instances
by GHC 19 Sep '14

19 Sep '14

#5395: Context reduction stack overflow without undecidable instances -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.0.4 Resolution: fixed | Keywords: type family, Operating System: | termination Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHC | Difficulty: Unknown rejects valid program | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed Comment: Done! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5395#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0