February 2016 - ghc-tickets

Re: [GHC] #7741: Add SIMD support to x86/x86_64 NCG
by GHC 07 Feb '16

07 Feb '16

#7741: Add SIMD support to x86/x86_64 NCG -------------------------------------+------------------------------------- Reporter: shelarcy | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (NCG) | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #3557 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: gmainland (added) * failure: None/Unknown => Runtime performance bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7741#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5476: Cap memory usage for one thread without disrupting other threads
by GHC 07 Feb '16

07 Feb '16

#5476: Cap memory usage for one thread without disrupting other threads -------------------------------------+------------------------------------- Reporter: joeyadams | Owner: Type: feature request | Status: closed Priority: normal | Milestone: ⊥ Component: Runtime System | Version: 7.2.1 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #7763 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => duplicate * related: => #7763 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5476#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7862: Could not deduce (A) from the context (A, ...)
by GHC 07 Feb '16

07 Feb '16

#7862: Could not deduce (A) from the context (A, ...) -------------------------------------+------------------------------------- Reporter: alang9 | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.3 checker) | Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: GHC rejects | Test Case: indexed- valid program | types/should_compile/T7862 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * milestone: 8.0.1 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7862#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7985: Allow openFile on unknown file type
by GHC 07 Feb '16

07 Feb '16

#7985: Allow openFile on unknown file type -------------------------------------+------------------------------------- Reporter: singpolyma | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Core Libraries | Version: 7.6.3 Resolution: invalid | 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: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: ekmett (added) * status: infoneeded => closed * resolution: => invalid Comment: No response from submitter. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7985#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7862: Could not deduce (A) from the context (A, ...)
by GHC 07 Feb '16

07 Feb '16

#7862: Could not deduce (A) from the context (A, ...) -------------------------------------+------------------------------------- Reporter: alang9 | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler (Type | Version: 7.8.3 checker) | Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: GHC rejects | Test Case: indexed- valid program | types/should_compile/T7862 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed * milestone: => 8.0.1 Comment: This was fixed in commit a6f0f5ab45b2643b561e0a0a54a4f14745ab2152: {{{ Author: Simon Peyton Jones <simonpj(a)microsoft.com> Date: Tue Dec 23 15:39:50 2014 +0000 Eliminate so-called "silent superclass parameters" The purpose of silent superclass parameters was to solve the awkward problem of superclass dictinaries being bound to bottom. See THE PROBLEM in Note [Recursive superclasses] in TcInstDcls Although the silent-superclass idea worked, * It had non-local consequences, and had effects even in Haddock, where we had to discard silent parameters before displaying instance declarations * It had unexpected peformance costs, shown up by Trac #3064 and its test case. In monad-transformer code, when constructing a Monad dictionary you had to pass an Applicative dictionary; and to construct that you neede a Functor dictionary. Yet these extra dictionaries were often never used. (All this got much worse when we added Applicative as a superclass of Monad.) Test T3064 compiled *far* faster after silent superclasses were eliminated. * It introduced new bugs. For example SilentParametersOverlapping, T5051, and T7862, all failed to compile because of instance overlap directly because of the silent-superclass trick. So this patch takes a new approach, which I worked out with Dimitrios in the closing hours before Christmas. It is described in detail in THE PROBLEM in Note [Recursive superclasses] in TcInstDcls. Seems to work great! Quite a bit of knock-on effect * The main implementation work is in tcSuperClasses in TcInstDcls Everything else is fall-out * IdInfo.DFunId no longer needs its n-silent argument * Ditto IDFunId in IfaceSyn * Hence interface file format changes * Now that DFunIds do not have silent superclass parameters, printing out instance declarations is simpler. There is tiny knock-on effect in Haddock, so that submodule is updated * I realised that when computing the "size of a dictionary type" in TcValidity.sizePred, we should be rather conservative about type functions, which can arbitrarily increase the size of a type. Hence the new datatype TypeSize, which has a TSBig constructor for "arbitrarily big". * instDFunType moves from TcSMonad to Inst * Interestingly, CmmNode and CmmExpr both now need a non-silent (Ord r) in a couple of instance declarations. These were previously silent but must now be explicit. * Quite a bit of wibbling in error messages }}} The test output is now: {{{ T7862.hs:23:10: Warning: No explicit implementation for ‘+’, ‘*’, ‘abs’, ‘signum’, ‘fromInteger’, and (either ‘negate’ or ‘-’) In the instance declaration for ‘Num (Tower s a)’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7862#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7860: Add more bit fiddling functions to 'integer-gmp'
by GHC 07 Feb '16

07 Feb '16

#7860: Add more bit fiddling functions to 'integer-gmp' -------------------------------------+------------------------------------- Reporter: lebedev | Owner: hvr Type: feature request | Status: new Priority: normal | Milestone: Component: Core Libraries | Version: 7.6.3 Resolution: | Keywords: integer-gmp Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #3489, #9835 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * keywords: gmp => integer-gmp -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7860#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7860: Add more bit fiddling functions to 'integer-gmp'
by GHC 07 Feb '16

07 Feb '16

#7860: Add more bit fiddling functions to 'integer-gmp' -------------------------------------+------------------------------------- Reporter: lebedev | Owner: hvr Type: feature request | Status: new Priority: normal | Milestone: Component: Core Libraries | Version: 7.6.3 Resolution: | Keywords: gmp Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #3489, #9835 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: ekmett (added) * owner: => hvr * related: #3489, 9835 => #3489, #9835 Comment: Assigning to hvr as per comment:15. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7860#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11491: GHC 10.7.3 panic while executing 'stack upgrade' on Mac OSX El Capitan
by GHC 07 Feb '16

07 Feb '16

#11491: GHC 10.7.3 panic while executing 'stack upgrade' on Mac OSX El Capitan ----------------------------------------+--------------------------------- Reporter: hienqnguyen | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- {{{ /Users/tdoan$ stack upgrade Fetched package index. Populated index cache. stack-1.0.2: download Warning: /private/var/folders/wl/8jbs0c_w8xj_5z0059bpz1v80000gn/T/stack- upgrade8446/stack-1.0.2/stack.yaml: Unrecognized field in ImageOptsMonoid: containers Cabal-1.22.6.0: copying precompiled package SHA-1.6.4.2: copying precompiled package ansi-terminal-0.6.2.3: copying precompiled package auto-update-0.1.3: copying precompiled package base-orphans-0.4.5: copying precompiled package base16-bytestring-0.1.1.6: copying precompiled package ansi-wl-pprint-0.6.7.3: download ansi-wl-pprint-0.6.7.3: configure base64-bytestring-1.0.0.1: copying precompiled package byteable-0.1.1: copying precompiled package bytestring-builder-0.10.6.0.0: copying precompiled package cereal-0.4.1.1: copying precompiled package cryptohash-0.11.6: copying precompiled package data-default-class-0.0.1: copying precompiled package ansi-wl-pprint-0.6.7.3: build dlist-0.7.1.2: copying precompiled package extra-1.4.2: download extra-1.4.2: configure extra-1.4.2: build ansi-wl-pprint-0.6.7.3: copy/register file-embed-0.0.9: download file-embed-0.0.9: configure file-embed-0.0.9: build file-embed-0.0.9: copy/register extra-1.4.2: copy/register filelock-0.1.0.1: download filelock-0.1.0.1: configure generics-sop-0.2.0.0: download filelock-0.1.0.1: build generics-sop-0.2.0.0: configure generics-sop-0.2.0.0: build filelock-0.1.0.1: copy/register gitrev-1.2.0: download gitrev-1.2.0: configure gitrev-1.2.0: build gitrev-1.2.0: copy/register hourglass-0.2.9: copying precompiled package ieee754-0.7.6: download ieee754-0.7.6: configure ieee754-0.7.6: build ieee754-0.7.6: copy/register Progress: 21/136 -- While building package generics-sop-0.2.0.0 using: /Users/tdoan/.stack/setup-exe-cache/x86_64-osx/setup-Simple- Cabal-1.22.5.0-ghc-7.10.3 --builddir=.stack- work/dist/x86_64-osx/Cabal-1.22.5.0 build --ghc-options " -ddump-hi -ddump-to-file" Process exited with code: ExitFailure 1 Logs have been written to: /private/var/folders/wl/8jbs0c_w8xj_5z0059bpz1v80000gn/T/stack- upgrade8446/stack-1.0.2/.stack-work/logs/generics-sop-0.2.0.0.log Configuring generics-sop-0.2.0.0... Building generics-sop-0.2.0.0... Preprocessing library generics-sop-0.2.0.0... [ 1 of 13] Compiling Generics.SOP.Sing ( src/Generics/SOP/Sing.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/Sing.o ) [ 2 of 13] Compiling Generics.SOP.Constraint ( src/Generics/SOP/Constraint.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/Constraint.o ) [ 3 of 13] Compiling Generics.SOP.BasicFunctors ( src/Generics/SOP/BasicFunctors.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/BasicFunctors.o ) [ 4 of 13] Compiling Generics.SOP.Classes ( src/Generics/SOP/Classes.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/Classes.o ) [ 5 of 13] Compiling Generics.SOP.NP ( src/Generics/SOP/NP.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/NP.o ) [ 6 of 13] Compiling Generics.SOP.Metadata ( src/Generics/SOP/Metadata.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/Metadata.o ) [ 7 of 13] Compiling Generics.SOP.Dict ( src/Generics/SOP/Dict.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/Dict.o ) [ 8 of 13] Compiling Generics.SOP.NS ( src/Generics/SOP/NS.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/NS.o ) [ 9 of 13] Compiling Generics.SOP.GGP ( src/Generics/SOP/GGP.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/GGP.o ) [10 of 13] Compiling Generics.SOP.Universe ( src/Generics/SOP/Universe.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/Universe.o ) [11 of 13] Compiling Generics.SOP.TH ( src/Generics/SOP/TH.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/TH.o ) [12 of 13] Compiling Generics.SOP.Instances ( src/Generics/SOP/Instances.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Generics/SOP/Instances.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.10.3 for x86_64-apple-darwin): Loading temp shared object failed: dlopen(/var/folders/wl/8jbs0c_w8xj_5z0059bpz1v80000gn/T/ghc8794_0/libghc_70.dylib, 5): Library not loaded: /usr/local/opt/ghc/lib/ghc-7.10.3/templ_GJPvtLC64aA4c1Jl10o2qt /libHStemplate-haskell-2.10.0.0-GJPvtLC64aA4c1Jl10o2qt-ghc7.10.3.dylib Referenced from: /var/folders/wl/8jbs0c_w8xj_5z0059bpz1v80000gn/T/ghc8794_0/libghc_70.dylib Reason: image not found Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug /Users/tdoan$ stack --version Version 1.0.0 x86_64 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11491> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #4029: ghci leaks memory when loading a file
by GHC 07 Feb '16

07 Feb '16

#4029: ghci leaks memory when loading a file -------------------------------------+------------------------------------- Reporter: blarsen | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: GHCi | Version: Resolution: | Keywords: memory leak Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by jme): * cc: jme (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4029#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8136: arr020 test fails randomly with ghci way
by GHC 07 Feb '16

07 Feb '16

#8136: arr020 test fails randomly with ghci way -----------------------------+---------------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.7 Keywords: | Operating System: Linux Architecture: x86 | Type of failure: Runtime crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------+---------------------------------- I noticed that when I run arr020 (`make TEST=arr020`) it randomly segfaults when running `ghci` way. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8136> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4