January 2016 - ghc-tickets

[GHC] #11302: GHC HEAD uses up all memory while compiling `genprimcode`
by GHC 11 Jan '16

11 Jan '16

#11302: GHC HEAD uses up all memory while compiling `genprimcode` -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When attempting to self-bootstrap GHC HEAD I discovered that `utils/genprimocode` can't be compiled with GHC HEAD. How to reproduce roughly: {{{ $ cd utils/genprimcode $ alex --ghc Lexer.x $ happy --ghc Parser.y $ ghc-7.11.20151226 --make Main [1 of 5] Compiling ParserM ( ParserM.hs, ParserM.o ) [2 of 5] Compiling Lexer ( Lexer.hs, Lexer.o ) [3 of 5] Compiling Syntax ( Syntax.hs, Syntax.o ) [4 of 5] Compiling Parser ( Parser.hs, Parser.o ) [5 of 5] Compiling Main ( Main.hs, Main.o ) ...killed by OS due to running out-of-memory after using up >10GiB ram.... }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11302> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #4243: Make a proper options parser for the RTS
by GHC 11 Jan '16

11 Jan '16

#4243: Make a proper options parser for the RTS -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: normal | Milestone: 8.0.1 Component: Runtime System | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 7535 Related Tickets: #9839 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dobenour): Would it be okay to use [http://re2c.org re2c] to generate the RTS options parser? I have a patch that provides a proper options parser using it. Existing libraries like getopt did not seem suitable, due to the non- standard format of the RTS flags. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4243#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1311: newtypes of unboxed types disallowed - documentation bug and/or feature request
by GHC 10 Jan '16

10 Jan '16

#1311: newtypes of unboxed types disallowed - documentation bug and/or feature request -------------------------------------+------------------------------------- Reporter: Isaac Dupree | Owner: osa1 Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): I don't see a problem thus far. But as I said in my previous comment, you may need to unify that result kind with `*` in the datatype case somewhere. Perhaps a `_ <- unifyType blah blah (typeKind res_ty) liftedTypeKind` would do the trick, but perhaps something more elaborate is necessary. I do think you're pushing in the right direction, though. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1311#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11398: Type application for operator sections
by GHC 10 Jan '16

10 Jan '16

#11398: Type application for operator sections -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple TypeApplications | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- With `-fprint-explicit-foralls` {{{#!hs (+ 1) :: forall {a}. Num a => a -> a }}} This means we cannot apply it to a type: {{{#!hs (+ 1) @Int :: Int -> Int }}} Since sections are sugar `(+ 1)` could be given the type `forall a. Num a => a -> a` instead. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11398> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #2940: Do CSE after CorePrep
by GHC 10 Jan '16

10 Jan '16

#2940: Do CSE after CorePrep -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: lowest | Milestone: 8.0.1 Component: Compiler | Version: 6.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by osa1): I'm currently implementing CSE in STG level. I'm almost done implementing the infrastructure ({{{TrieMap}}} etc.). I'll update the thread once I get some results. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2940#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Batch modify: #9289, #9291, #9342, #9353, #9441, #9476, #9542, ...
by GHC 10 Jan '16

10 Jan '16

Batch modification to #9289, #9291, #9342, #9353, #9441, #9476, #9542, #9617, #9645, #9659 by thomie: failure to Runtime performance bug -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=9289%2C9291%2C9342%2C9353%2C9441%2…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10476: Wrong ar during cross-compilation
by GHC 10 Jan '16

10 Jan '16

#10476: Wrong ar during cross-compilation -------------------------------------+------------------------------------- Reporter: jakzale | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Build | Version: 7.11 System | Operating System: Unknown/Multiple Keywords: cross- | Type of failure: Building GHC compiling | failed Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- It appears that during cross-compilation, while building stage 1 ghc, the build system uses ar for target architecture instead of ar for build/host architecture. It will cause linking errors on systems where ar for target architecture is incompatible with ar for build/host architecture (sample output attached below). {{{ (...) "rm" -f libraries/Cabal/Cabal/dist- boot/build/libHSCabal-1.22.3.0-3tdTeip89ooLNDDdwdA54s.a.contents "rm" -f libraries/bin-package-db/dist-boot/build/libHSbin-package- db-0.0.0.0-Gk3F1vzzO3g80wuNGtok3x.a libraries/bin-package-db/dist- boot/build/libHSbin-package-db-0.0.0.0-Gk3F1vzzO3g80wuNGtok3x.a.contents echo libraries/bin-package-db/dist-boot/build/GHC/PackageDb.o >> libraries/bin-package-db/dist-boot/build/libHSbin-package- db-0.0.0.0-Gk3F1vzzO3g80wuNGtok3x.a.contents "/Users/jakub/src/haskell/PNaCl/gsoc/wrappers/i686-unknown-nacl-ar" q libraries/bin-package-db/dist-boot/build/libHSbin-package- db-0.0.0.0-Gk3F1vzzO3g80wuNGtok3x.a @libraries/bin-package-db/dist- boot/build/libHSbin-package-db-0.0.0.0-Gk3F1vzzO3g80wuNGtok3x.a.contents /Users/jakub/src/nacl_sdk/pepper_canary/toolchain/mac_x86_newlib/bin/i686 -nacl-ar: creating libraries/bin-package-db/dist-boot/build/libHSbin- package-db-0.0.0.0-Gk3F1vzzO3g80wuNGtok3x.a "rm" -f libraries/bin-package-db/dist-boot/build/libHSbin-package- db-0.0.0.0-Gk3F1vzzO3g80wuNGtok3x.a.contents (...) ld: archive has no table of contents file '/Users/jakub/src/haskell/PNaCl /ghc-pnacl/libraries/terminfo/dist- boot/build/libHSterminfo-0.4.0.1-7qZwBlx3clR8sTBilJl253.a' for architecture x86_64 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10476> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #11170: (read ".9") :: Double unable to parse
by GHC 10 Jan '16

10 Jan '16

#11170: (read ".9") :: Double unable to parse -------------------------------------+------------------------------------- Reporter: varosi | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Prelude | Version: 7.10.2 Keywords: Read | Operating System: Windows Architecture: x86_64 | Type of failure: Incorrect result (amd64) | at runtime Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- For most languages ".9" is a floating point number equal to 0.9, but in GHC this is unparsable. I don't know if it is by design, but it was unexpected by me. I think that it is good this to be valid parsable to Double string. What do you think of? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11170> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 16

[GHC] #11346: GHCi can crash when tabbing a filename
by GHC 10 Jan '16

10 Jan '16

#11346: GHCi can crash when tabbing a filename ------------------------------+------------------------------- Reporter: honnza | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.3 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: GHCi crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ------------------------------+------------------------------- The following sequence of actions: 1. Type `:: I` into GHCI 2. Press the tab key 3. Hold backspace to erase the resulting text 4. Repeat steps 2 and 3 May result in the following appearing in the console: {{{ Prelude Data.Map> :: ImageExpo.config ghc.exe: panic! (the 'impossible' happened) (GHC version 7.6.3 for i386-unknown-mingw32): Prelude.chr: bad argument: (-947713851) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} followed by the system prompt. Afterwards I have realised that `::` was actually interpreted as a GHCi command rather than the type designation syntax. Tabbing yields all files in the current directory, but actually performing the command yields `unknown command '::'` There is only one file that starts with `I` in my current directory. Did not manage to reproduce -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11346> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #10776: DataKinds promotion of String -> Symbol and Natural -> Nat
by GHC 10 Jan '16

10 Jan '16

#10776: DataKinds promotion of String -> Symbol and Natural -> Nat -------------------------------------+------------------------------------- Reporter: htebalaka | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 (Type checker) | Keywords: DataKinds | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Exactly what it says on the tin. It would be nice if the following would compile: {{{#!hs {-# LANGUAGE DataKinds, KindSignatures, GADTs #-} import GHC.TypeLits import GHC.Natural data X = X String Natural data Y :: X -> * where Y :: Y (X "hello" 4) }}} I kind of assume there's already a ticket for this, but couldn't find one, so figured I'd open one in case. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10776> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5