June 2015 - ghc-tickets

Re: [GHC] #7450: Regression in optimisation time of functions with many patterns (6.12 to 7.4)?
by GHC 23 Jun '15

23 Jun '15

#7450: Regression in optimisation time of functions with many patterns (6.12 to 7.4)? -------------------------------------+------------------------------------- Reporter: iustin | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): I could not find any notes at that link. What does `-dshow-passes` show? Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7450#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7450: Regression in optimisation time of functions with many patterns (6.12 to 7.4)?
by GHC 23 Jun '15

23 Jun '15

#7450: Regression in optimisation time of functions with many patterns (6.12 to 7.4)? -------------------------------------+------------------------------------- Reporter: iustin | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by bgamari): I've done some testing; notes can be found here. https://github.com/bgamari/ghc-T7450 I have also attached a profile of GHC churning through a Read instance for a 1000-constructor ADT above. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7450#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10551: dynwrapper points to wrong paths on Windows
by GHC 22 Jun '15

22 Jun '15

#10551: dynwrapper points to wrong paths on Windows -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: high | Milestone: 7.10.2 Component: Compiler | Version: 7.10.2-rc1 Keywords: | Operating System: Windows Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I was looking at build-prog.mk and I noticed this: {{{ >-------echo 'LPTSTR path_dirs[] = {' >> $$@ >-------$$(foreach p,$$($1_$2_TRANSITIVE_DEP_KEYS),$$(call make- command,echo ' TEXT("/../lib/$$p")$$(comma)' >> $$@)) >-------echo ' TEXT("/../lib/"),' >> $$@ >-------echo ' NULL};' >> $$@ >-------echo 'LPTSTR progDll = TEXT }}} This probably can't be right since we're now using LIB_NAME to refer to filepaths. Better fix this... -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10551> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10348: HEAD: `KnownNat` does not imply `Typeable` any more
by GHC 22 Jun '15

22 Jun '15

#10348: HEAD: `KnownNat` does not imply `Typeable` any more -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 (Type checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: | valid program Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- As Iavor confirmed (https://mail.haskell.org/pipermail/ghc- devs/2015-April/008885.html) there is a regression on HEAD relative to `ghc-7.11.20150215`. Here is a reproduction snippet: {{{#!hs {-# LANGUAGE AutoDeriveTypeable, GADTs, DataKinds, KindSignatures, StandaloneDeriving #-} import GHC.TypeLits import Data.Typeable data Foo (n :: Nat) where Hey :: KnownNat n => Foo n deriving instance Show (Foo n) data T t where T :: (Show t, Typeable t) => t -> T t deriving instance Show (T n) }}} With ghci-7.11.20150407 I now see more constraints {{{ *Main> :t T Hey T Hey :: (Typeable n, KnownNat n) => T (Foo n) }}} OTOH ghci-7.11.20150215 only wanted `KnownNat`: {{{ *Main> :t T Hey T Hey :: KnownNat n => T (Foo n) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10348> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

Re: [GHC] #2531: Prune duplicates in ghci history
by GHC 22 Jun '15

22 Jun '15

#2531: Prune duplicates in ghci history -------------------------------------+------------------------------------- Reporter: venkat | Owner: Type: feature request | Status: closed Priority: lowest | Milestone: 7.12.1 Component: GHCi | Version: 6.8.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed Comment: The user's guide now mentions that you can prune duplicates from GHCi's history by changing the .haskeline file, with a link to the Haskeline documentation. No need to reimplement this feature in GHCi. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2531#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2531: Prune duplicates in ghci history
by GHC 22 Jun '15

22 Jun '15

#2531: Prune duplicates in ghci history -------------------------------------+------------------------------------- Reporter: venkat | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.12.1 Component: GHCi | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"b5a2e8763fcf0e2b4c57e12f2b2e5817e5ce9df0/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="b5a2e8763fcf0e2b4c57e12f2b2e5817e5ce9df0" Documentation: add section on .haskeline file (#2531) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2531#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10553: powerpc: getEnvironment empty when run in GHCi
by GHC 21 Jun '15

21 Jun '15

#10553: powerpc: getEnvironment empty when run in GHCi -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Keywords: | Operating System: Linux Architecture: powerpc | Type of failure: Incorrect result Test Case: | at runtime Blocking: | Blocked By: Differential Revisions: | Related Tickets: -------------------------------------+------------------------------------- Hi, on powerpc (only), with ghc-7.8, we have this: ``` $ cat env.hs import System.Environment main = getEnvironment >>= print $ runhaskell env.hs [] $ ./env [("RESET","\\e[0m")... ``` This breaks the test suite of shake. Does anyone feel like investigating this? Also tracked at https://bugs.debian.org/789458 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10553> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #2182: ghc sessions (--make, --interactive, ghc api) erroneously retain instances
by GHC 20 Jun '15

20 Jun '15

#2182: ghc sessions (--make, --interactive, ghc api) erroneously retain instances -------------------------------------+------------------------------------- Reporter: claus | Owner: ezyang Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler (Type | Version: 6.9 checker) | Keywords: Resolution: fixed | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: GHC accepts | Test Case: T2182ghci, invalid program | T2182ghci2, T2182 Blocked By: | Blocking: 5316 Related Tickets: | Differential Revisions: Phab:D488 -------------------------------------+------------------------------------- Comment (by Edward Z. Yang <ezyang@…>): In [changeset:"0cb1f5cf26fae946ca745abc5e302e62a8f66feb/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="0cb1f5cf26fae946ca745abc5e302e62a8f66feb" Filter orphan rules based on imports, fixes #10294 and #10420. Summary: If we have an orphan rule in our database, don't apply it unless the defining module is transitively imported by the module we are processing. We do this by defining a new RuleEnv data type which includes both the RuleBase as well as the set of visible orphan modules, and threading this through the relevant environments (CoreReader, RuleCheckEnv and ScEnv). This is analogous to the instances fix we applied in #2182 4c834fdddf4d44d12039da4d6a2c63a660975b95, but done for RULES. An important knock-on effect is that we can remove some buggy code in LoadInterface which tried to avoid loading interfaces that were loaded by plugins (which sometimes caused instances and rules to NEVER become visible). One note about tests: I renamed the old plugins07 test to T10420 and replaced plugins07 with a test to ensure that a plugin import did not cause new rules to be loaded in. Signed-off-by: Edward Z. Yang <ezyang(a)cs.stanford.edu> Test Plan: validate Reviewers: simonpj, austin, goldfire Subscribers: bgamari, thomie Differential Revision: https://phabricator.haskell.org/D950 GHC Trac Issues: #10420 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2182#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2437: More accurate package dependencies
by GHC 20 Jun '15

20 Jun '15

#2437: More accurate package dependencies -------------------------------------+------------------------------------- Reporter: simonmar | Owner: niteria Type: task | Status: patch Priority: lowest | Milestone: 7.12.1 Component: Package system | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #3560, #8174 | Blocking: | Differential Revisions: Phab:D973 -------------------------------------+------------------------------------- Comment (by Edward Z. Yang <ezyang@…>): In [changeset:"85d539754ac07286ef5fed714ad42451bd5a1d28/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="85d539754ac07286ef5fed714ad42451bd5a1d28" Make GHC install libraries to e.g. xhtml-3000.2.1-0ACfOp3hebWD9jGWE4v4Gh. Summary: Previously, we'd install them to something like xhtml_0ACfOp3hebWD9jGWE4v4G which was fairly ugly; this commit changes the default install path to contain the full package name and version, as well as the package key. Needs a Cabal submodule update for the commit for install paths support "Add libname install-dirs variable, use it by default. Fixes #2437". It also contains some miscellaneous fixes for Cabal HEAD. Signed-off-by: Edward Z. Yang <ezyang(a)cs.stanford.edu> Test Plan: validate Reviewers: austin Subscribers: bgamari, thomie Trac Issues: #10479 Differential Revision: https://phabricator.haskell.org/D922 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2437#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10479: Make GHC install libraries to, e.g. xhtml-3000.2.1-0ACfOp3hebWD9jGWE4v4Gh
by GHC 20 Jun '15

20 Jun '15

#10479: Make GHC install libraries to, e.g. xhtml-3000.2.1-0ACfOp3hebWD9jGWE4v4Gh -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Package | Version: 7.10.1 system | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: Phab:D922 | -------------------------------------+------------------------------------- The GHC version of https://github.com/haskell/cabal/issues/2437 ; we need to adapt ghc-cabal to use the correct install paths. I have an in-flight patch, see the Phabricator. However, applying the change to HEAD is blocked by https://github.com/haskell/cabal/issues/2638 since there are some Cabal changes, which necessitate updating to Cabal head. Cabal maintainers have expressed interest in this being merged into 7.10. To do this, we first have to merge the Cabal change into the 7.10 branch of Cabal, and apply the differential to GHC 7.10. (We shouldn't be blocked by the Cabal HEAD changes as those are not on the 7.10 branch.) If 7.10 release managers agree to let this patch in I volunteer to coordinate the changes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10479> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5