October 2014 - ghc-tickets

[GHC] #9727: -Werror=unused-but-set-variable causes validation error on Windows
by GHC 30 Oct '14

30 Oct '14

#9727: -Werror=unused-but-set-variable causes validation error on Windows -------------------------------------+------------------------------------- Reporter: gintas | Owner: gintas Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.9 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: Building Difficulty: Unknown | GHC failed Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- After upgrading the inplace mingw to gcc 4.8.3, validate.sh fails with the following error: cc1.exe: error: -Werror=unused-but-set-variable: No option -Wunused-but- set-variable The cause is in mk/validate-settings.mk: ifeq "$(GccLT46)" "NO" SRC_CC_WARNING_OPTS += -Werror=unused-but-set-variable # gcc 4.6 gives 3 warning for giveCapabilityToTask not being inlined SRC_CC_WARNING_OPTS += -Wno-error=inline endif This checks the version of the inplace mingw, but the actual command line that fails is not using the inplace mingw (4.8.3), but the host ghc's mingw (4.5.3, in /usr/local/mingw). Command line: C:/Users/Gintas/Downloads/msys32/usr/local/mingw/bin/../libexec/gcc/mingw32/4.5.2/cc1.exe -quiet -v -Icompiler/. -Icompiler/parser -Icompiler/utils -Icompiler/stage1 -Icompiler/stage1/build/autogen -IC:\Users\Gintas\Downloads\msys32\home\Gintas\ghc\inplace/lib/include/ -iprefix c:\users\gintas\downloads\msys32\usr\local\mingw\bin\../lib/gcc/mingw32/4.5.2/ -isystem C:/Users/Gintas/Downloads/msys32/usr/local/mingw/bin/../lib/gcc/mingw32/4.5.2/include -isystem C:/Users/Gintas/Downloads/msys32/usr/local/mingw/bin/../lib/gcc/mingw32/4.5.2 /include-fixed -U__i686 -Di386_HOST_ARCH=1 -Dmingw32_HOST_OS=1 -D__GLASGOW_HASKELL__=708 -U__i686 -isystemC:\Users\Gintas\Downloads\msys32\usr\local\lib\process-1.2.0.0\include -isystemC:\Users\Gintas\Downloads\msys32\usr\local\lib\directory-1.2.1.0\include -isystemC:\Users\Gintas\Downloads\msys32\usr\local\lib\time-1.4.2\include -isystemC:\Users\Gintas\Downloads\msys32\usr\local\lib\Win32-2.3.0.2\include -isystemC:\Users\Gintas\Downloads\msys32\usr\local\lib\bytestring-0.10.4.0\include -isystemC:\Users\Gintas\Downloads\msys32\usr\local\lib\base-4.7.0.1\include -isystemC:\Users\Gintas\Downloads\msys32\usr\local\lib\integer- gmp-0.5.1.0\include -isystemC:\Users\Gintas\Downloads\msys32\usr\local\lib/include -include compiler/stage1/build/autogen/cabal_macros.h compiler/stage1/build/Fingerprint_hsc_make.c -quiet -dumpbase Fingerprint_hsc_make.c -march=i686 -march=i686 -auxbase-strip compiler/stage1/build/Fingerprint_hsc_make.o -Werror -Wall -Werror=unused- but-set-variable -Wno-error=inline -version -fno-stack-protector -o C:\Users\Gintas\Downloads\msys32\tmp\ccvafaLk.s -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9727> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #2496: Invalid Eq/Ord instances in Data.Version
by GHC 29 Oct '14

29 Oct '14

#2496: Invalid Eq/Ord instances in Data.Version -------------------------------------+------------------------------------- Reporter: guest | Owner: duncan Type: bug | Status: patch Priority: normal | Milestone: ⊥ Component: Core | Version: 6.8.3 Libraries | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D395 | -------------------------------------+------------------------------------- Comment (by thomie): From http://www.haskell.org/pipermail/libraries/2014-October/024033.html: > This proposal is now accepted, with support from Duncan, Herbert and > myself. No objections were raised. > > If all goes well, versionTags will be deprecated in GHC 7.10, and removed > in GHC 7.12. I'll try to write a bit nicer summary next time. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2496#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2496: Invalid Eq/Ord instances in Data.Version
by GHC 29 Oct '14

29 Oct '14

#2496: Invalid Eq/Ord instances in Data.Version -------------------------------------+------------------------------------- Reporter: guest | Owner: duncan Type: bug | Status: patch Priority: normal | Milestone: ⊥ Component: Core | Version: 6.8.3 Libraries | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D395 | -------------------------------------+------------------------------------- Comment (by hvr): Replying to [comment:13 ekmett]: > @hvr See the link from thomie above ~5 weeks ago. I saw no summary of the voting/discussing there; I meant a summary in the sense of >> At the end of the discussion period, summarise your understanding of the consensus (or lack thereof), including a link to the thread in the mailing list archives, and send the summary to the maintainer for decision. Here's an example of what I mean: http://www.haskell.org/pipermail/libraries/2014-August/023658.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2496#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9668: Unicode info is out of date
by GHC 29 Oct '14

29 Oct '14

#9668: Unicode info is out of date -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: ekmett Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Core Libraries | Version: 7.9 Keywords: Unicode | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Incorrect Blocked By: | result at runtime Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- The automatically generated `WCsubst.c` was last generated in 2011. The Unicode standard has been updated several times since then. I would like to try to replace that whole mechanism with something a little more cache- friendly, but at the very list the tables need to be right. Unfortunately, the script that generates this file gives no information about its input format, or just where a file with the right format is supposed to come from. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9668> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

Re: [GHC] #2496: Invalid Eq/Ord instances in Data.Version
by GHC 29 Oct '14

29 Oct '14

#2496: Invalid Eq/Ord instances in Data.Version -------------------------------------+------------------------------------- Reporter: guest | Owner: duncan Type: bug | Status: patch Priority: normal | Milestone: ⊥ Component: Core | Version: 6.8.3 Libraries | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D395 | -------------------------------------+------------------------------------- Comment (by ekmett): @hvr See the link from thomie above ~5 weeks ago. Makes sense to me. So is the plan then to depcate the tags now and remove them later? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2496#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2496: Invalid Eq/Ord instances in Data.Version
by GHC 29 Oct '14

29 Oct '14

#2496: Invalid Eq/Ord instances in Data.Version -------------------------------------+------------------------------------- Reporter: guest | Owner: duncan Type: bug | Status: patch Priority: normal | Milestone: ⊥ Component: Core | Version: 6.8.3 Libraries | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D395 | -------------------------------------+------------------------------------- Comment (by hvr): Replying to [comment:11 thomie]: > Library proposal accepted. Is there a summary of the library submission? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2496#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9740: D380 caused fft2 regressions
by GHC 29 Oct '14

29 Oct '14

#9740: D380 caused fft2 regressions -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 | Type of failure: Runtime hour) | performance bug Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D390 -------------------------------------+------------------------------------- When I got rid of the hand-unboxing in GHC.List, I missed the fact that a `take` helper function took an unboxed value and was therefore strict. When I changed that to a regular function, I didn't make it strict, and this caused a regression in fft2 and (I believe) also a test suite perf test. The function is properly strictified in D390. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9740> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

Re: [GHC] #2496: Invalid Eq/Ord instances in Data.Version
by GHC 29 Oct '14

29 Oct '14

#2496: Invalid Eq/Ord instances in Data.Version -------------------------------------+------------------------------------- Reporter: guest | Owner: duncan Type: bug | Status: patch Priority: normal | Milestone: ⊥ Component: Core | Version: 6.8.3 Libraries | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D395 | -------------------------------------+------------------------------------- Changes (by thomie): * cc: core-libraries-committee@… (added) * status: new => patch * differential: => Phab:D395 Comment: Library proposal accepted. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2496#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9719: Improve `mkInteger` interface
by GHC 29 Oct '14

29 Oct '14

#9719: Improve `mkInteger` interface -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: task | Status: new Priority: low | Milestone: 7.12.1 Component: Compiler | Version: Keywords: Integer | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- `mkInteger` is the current operation provided by the `Integer` libraries to construct (large) integer values. The current type-signature is {{{#!hs mkInteger :: Bool -- sign-bit -> [Int] -- absolute value in 31 bit chunks, least significant first -> Integer }}} A somewhat pathological example of why this representation is not so nice is the following simple CAF {{{#!hs c :: Integer c = 0xf000000000000000 }}} that (this is for a 64bit arch!) gets compiled into the following STG: {{{ ==================== STG syntax: ==================== sat_sJQ :: GHC.Types.Int [LclId, Str=DmdType] = NO_CCS GHC.Types.I#! [3]; sat_sJR :: [GHC.Types.Int] [LclId, Str=DmdType] = NO_CCS :! [sat_sJQ GHC.Types.[]]; sat_sJP :: GHC.Types.Int [LclId, Str=DmdType] = NO_CCS GHC.Types.I#! [1610612736]; sat_sJS :: [GHC.Types.Int] [LclId, Str=DmdType] = NO_CCS :! [sat_sJP sat_sJR]; sat_sJO :: GHC.Types.Int [LclId, Str=DmdType] = NO_CCS GHC.Types.I#! [0]; sat_sJT :: [GHC.Types.Int] [LclId, Str=DmdType] = NO_CCS :! [sat_sJO sat_sJS]; Foo.c :: GHC.Integer.Type.Integer [GblId, Str=DmdType] = \u srt:SRT:[0Y :-> GHC.Integer.Type.mkInteger, sJT :-> sat_sJT] [] GHC.Integer.Type.mkInteger GHC.Types.True sat_sJT; }}} Instead a more "natural" `mkInteger` would be desirable, possibly in the style of `unpackCString#`, in terms of a packed/unboxed vector of machine- word-sized chunks. A better `mkInteger` could then take a `ByteArray#` or a `Addr#` + length instead, e.g. {{{#!hs mkInteger :: Int# -- signum(n) = sign of encoded Integer -- abs(n) = number of machine-word sized chunks -> Addr# -- pointer to start of machine-word sized chunks, -- least-significant chunk first -> Integer }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9719> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #9716: The list modules need a bit of post-BBP shaking
by GHC 28 Oct '14

28 Oct '14

#9716: The list modules need a bit of post-BBP shaking -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: ekmett Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Core Libraries | Version: 7.8.3 Keywords: lists | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- We currently have an unfortunately named `Data.List.OldList`, and no terribly clear story to explain it. One concept, due in part to me and in part to Carter: 1. Move all the basics needed to implement `instance Foldable []` from `Data.OldList` to `Data.List.Base` (or some similar name). 2. Move all the "extras" like `inits`, `tails`, and `sort` from `Data.OldList` into `Data.List`. 3. Delete `Data.OldList`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9716> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6