June 2013 - ghc-tickets

Re: [GHC] #7167: Make it a warning (not error) to hide an import that isn't exported
by GHC 18 Jun '13

18 Jun '13

#7167: Make it a warning (not error) to hide an import that isn't exported ------------------------------------------+--------------------------------- Reporter: simonpj | Owner: igloo Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: rename/should_compile/T7167 | Blockedby: Blocking: | Related: ------------------------------------------+--------------------------------- Changes (by simonpj): * owner: => igloo * milestone: 7.6.1 => 7.8.1 Comment: Ian, maybe you can do this for 7.8? Thanks. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7167#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7167: Make it a warning (not error) to hide an import that isn't exported
by GHC 18 Jun '13

18 Jun '13

#7167: Make it a warning (not error) to hide an import that isn't exported ------------------------------------------+--------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.6.1 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: rename/should_compile/T7167 | Blockedby: Blocking: | Related: ------------------------------------------+--------------------------------- Changes (by zuserm): * cc: mikezuser@… (added) * owner: pcapriotti => * status: closed => new * resolution: fixed => Comment: This change didn't make it into the release notes, and the doc patch doesn't seem to have been applied. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7167#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7954: Strictness analysis regression
by GHC 18 Jun '13

18 Jun '13

#7954: Strictness analysis regression ------------------------------------+--------------------------------------- Reporter: chad.scherrer | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: x86_64 (amd64) Failure: Runtime performance bug | Blockedby: Blocking: | Related: ------------------------------------+--------------------------------------- The sum function from the Prelude relies on GHC's strictness analysis. Here's a run on GHC 7.6.2 where I kill it partway through - max resident memory is over 6 GB. Everything works perfectly if I replace `sum` with `foldl' (+) 0.0`. Chris Done also tested this on 7.4.2; in that case the memory leak is not present and the code runs fine. {{{ --------------------------- chad@chad-desktop:~$ cat norm.hs norm :: [Double] -> Double norm = sqrt . sum . map (\x -> x*x) main :: IO () main = print . norm $ enumFromTo 0 100000000 --------------------------- chad@chad-desktop:~$ ghc -V The Glorious Glasgow Haskell Compilation System, version 7.6.2 --------------------------- chad@chad-desktop:~$ ghc -O2 norm.hs [1 of 1] Compiling Main ( norm.hs, norm.o ) Linking norm ... --------------------------- chad@chad-desktop:~$ /usr/bin/time ./norm ^CCommand terminated by signal 2 21.68user 2.72system 0:24.51elapsed 99%CPU (0avgtext+0avgdata 6370516maxresident)k 0inputs+0outputs (0major+1592762minor)pagefaults 0swaps --------------------------- }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7954> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #5296: Add explicit type applications
by GHC 18 Jun '13

18 Jun '13

#5296: Add explicit type applications ----------------------------------------+----------------------------------- Reporter: dsf | Owner: Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 7.0.3 Keywords: | Os: Linux Architecture: x86_64 (amd64) | Failure: GHC rejects valid program Difficulty: | Testcase: Blockedby: 1897 | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by skeuchel): * cc: steven.keuchel@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5296#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7963: -ddump-minimal-imports should preserve "hiding" imports
by GHC 18 Jun '13

18 Jun '13

#7963: -ddump-minimal-imports should preserve "hiding" imports -----------------------------+---------------------------------------------- Reporter: dsf | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- An input file like {{{ {-# LANGUAGE OverloadedStrings #-} module Hiding where import Prelude hiding (writeFile, unlines) import Data.Text (unlines) import Data.Text.IO (writeFile) main :: IO () main = writeFile "/tmp/foo" (unlines ["hello", "world"]) }}} compiled with -ddump-minimal-imports produces a .imports file containing {{{ import Data.Text ( unlines ) import Data.Text.IO ( writeFile ) }}} Without the import of Prelude the original file won't compile with the new imports. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7963> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #7969: -ddump-minimal-imports should preserve imports required to implement standalone derived instances
by GHC 18 Jun '13

18 Jun '13

#7969: -ddump-minimal-imports should preserve imports required to implement standalone derived instances -----------------------------+---------------------------------------------- Reporter: dsf | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- If a module contains a "deriving instance Show Foo" declaration, the import of Foo's constructors needs to be preserved for the module to compile. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7969> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #7694: LLVM: bootstrapping with LLVM 3.2 does not work
by GHC 17 Jun '13

17 Jun '13

#7694: LLVM: bootstrapping with LLVM 3.2 does not work --------------------------------+------------------------------------------- Reporter: gmainland | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (LLVM) Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: x86_64 (amd64) Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- Building GHC itself using the LLVM back end no longer works with LLVM 3.2 (3.1 is fine). On Linux x86_64, the stage2 compiler fails for me. Unfortunately running the test suite with stage=1 did not produce any quality failures that would help us track down the problem. This does not appear to be related to the new codegen since using LLVM 3.1 does not cause a failure. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7694> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

2 14

Re: [GHC] #7373: When building GHC: Failed to load interface for `GHC.Fingerprint'
by GHC 17 Jun '13

17 Jun '13

#7373: When building GHC: Failed to load interface for `GHC.Fingerprint' -------------------------------+-------------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.1 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: driver/T7373 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by simonpj): What are the "false differences", precisely? I understand what is happening now. In your example we have * Package `pkg` has * Module A depends on nothing * Module C, depends on A and {-# SOURCE #-} B * Module B, depends on C * Home package has * Module D depends on pkg:C Now, if you compile D, it needs to load C.hi, which in turn needs the interface for B. But because it's not in the home package (the one to which the module D being compiled belongs), GHC assumes `pkg` is complete compiled and doesn't track which of `B.hi` or `B.hi-boot` should be available; it just looks for `B.hi`. In the test, you delete `B.hi` hence the error. I'm rather inclined to say "too bad" here. From outside, it's better to wait for the loop to be compiled, and ''then'' compile client packages. In the example, make D import B. Or make D import B instead of C, and make B export all of C's exports. Or make a third module CB that imports both C and B, and use that in client modules. This isn't just convenience. You get better cross-module inlining once B is compiled, so you only want to use `B.hi-boot` when there is absolutely no alternative, ie while compiling modules that form part of the cycle. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7373#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7373: When building GHC: Failed to load interface for `GHC.Fingerprint'
by GHC 17 Jun '13

17 Jun '13

#7373: When building GHC: Failed to load interface for `GHC.Fingerprint' -------------------------------+-------------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.1 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: driver/T7373 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by simonpj): * testcase: T7373 => driver/T7373 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7373#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7918: SrcSpan's associated with expanded quasi-quotes are inconsistent
by GHC 17 Jun '13

17 Jun '13

#7918: SrcSpan's associated with expanded quasi-quotes are inconsistent -----------------------------+---------------------------------------------- Reporter: edsko | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.4.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Consider {{{ {-# LANGUAGE TemplateHaskell #-} module A where import Language.Haskell.TH.Quote qq = QuasiQuoter { quoteExp = \str -> case str of "a" -> [| True |] "b" -> [| id True |] "c" -> [| True || False |] "d" -> [| False |] , quotePat = undefined , quoteType = undefined , quoteDec = undefined } {-# LANGUAGE QuasiQuotes #-} module B where import A ex1 = [qq|a|] ex2 = [qq|b|] ex3 = [qq|c|] ex4 = [qq|d|] }}} In the expansion of `[qq|a|]` the source span for `True` is reported as 4:7-4:14 and 7:7-7:14 respectively -- i.e., the span of the entire quasi- quote. However, for the expansion of `[qq|b|]` and `[qq|c|]` the source span for `id`, `True`, `False`, and `(||)` are all reported as 5:11-5:14 / 6:11-6:14, i.e., starting at the "contents" of the quasi-quote. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7918> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

2 1