- ghc-tickets - Haskell.org

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

11 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 11 Jan '16

11 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

Re: [GHC] #4105: ffi005 fails on OS X
by GHC 10 Jan '16

10 Jan '16

#4105: ffi005 fails on OS X -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: infoneeded Priority: low | Milestone: 8.0.1 Component: Compiler (FFI) | Version: 6.12.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | ffi/should_run/ffi005 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by kseo): Replying to [comment:12 thomie]: > Did you test on x86, as it says in the description? I ran in on x64. Sorry for the confusion! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4105#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4105: ffi005 fails on OS X
by GHC 10 Jan '16

10 Jan '16

#4105: ffi005 fails on OS X -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: infoneeded Priority: low | Milestone: 8.0.1 Component: Compiler (FFI) | Version: 6.12.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | ffi/should_run/ffi005 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomie): Did you test on x86, as it says in the description? The following two commits are relevant. The first one changes the test to only run for `WAY=optc` on x86. The second deletes `WAY=optc`. So now the test is always skipped on x86. That doesn't mean the problem is solved though! * commit 05a2f49caba62723992a03676f6df6085aa514c7 {{{ Author: Simon Marlow <marlowsd(a)gmail.com> Date: Tue Nov 24 10:14:34 2009 +0000 ffi005: run only the via-C way on x86 platforms due to 80-bit vs. 64-bit precision leading to floating point differences when using the native code generator. -fvia-C uses the -ffloat-store gcc sledgehammer to avoid this. }}} * commit dc34ea9fd80f493e00062c276b2c7c898505bca2 {{{ Author: Max Bolingbroke <batterseapower(a)hotmail.com> Date: Sat Apr 2 11:25:01 2011 +0100 Remove any mention of optc/profc from all.T files }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4105#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4105: ffi005 fails on OS X
by GHC 10 Jan '16

10 Jan '16

#4105: ffi005 fails on OS X -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: infoneeded Priority: low | Milestone: 8.0.1 Component: Compiler (FFI) | Version: 6.12.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | ffi/should_run/ffi005 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by kseo): ffi005 passes on my OS X with the current HEAD (fbd6de2f0761b63a5f0a88ce0590f515d63790a4). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4105#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0