July 2015 - ghc-tickets

[GHC] #10566: Move "package key" generation to GHC
by GHC 23 Jul '15

23 Jul '15

#10566: Move "package key" generation to GHC -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.12.1 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: | -------------------------------------+------------------------------------- Currently in GHC 7.10, we have the following situation: 1. Cabal computes a package key, which in practice (since no one is using Backpack in the wild) is a Merkle tree of the versions of each of the dependencies of the package. 2. This package key is passed to GHC via `-this-package-key` 3. GHC handles the package key opaquely Now, in recent Backpack implementation, we need GHC to be able to compute package keys. (The concrete case: you're type-checking an interface file of an indefinite package, where you want to instantiate it with some assignment of its holes: instantiating those holes you need to instantiate any package keys mentioned in the interface, in which case you really want to be able to compute the hash.) So I want to move package key generation to GHC. The primary implication is this: does Cabal continue to generate package keys? If it doesn't, we should revert from `-this-package-key` back to `-package-name` from the previous version (but maybe renamed because this name was bad). GHC then computes a package key based on `-package-name` and the explicitly mentioned `-package` dependencies, and Cabal reads it out with something akin to `--abi-hash`. If it does, we need to ensure GHC and Cabal's package key algorithms stay synchronized. I personally lean towards the first option. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10566> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #10018: Cannot define custom fixity for infix data constructors in GHCi
by GHC 23 Jul '15

23 Jul '15

#10018: Cannot define custom fixity for infix data constructors in GHCi -------------------------------------+------------------------------------- Reporter: | Owner: RyanGlScott | Status: new Type: bug | Milestone: Priority: normal | Version: 7.8.4 Component: GHCi | Operating System: Unknown/Multiple Keywords: | Type of failure: Incorrect result Architecture: | at runtime Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- When compiling from a module, declaring a custom fixity for an infix data constructor is valid: {{{#!hs module DataFixity where data Infix a b = a :@: b infixl 4 :@: }}} And GHCi recognizes this: {{{ $ ghci DataFixity.hs GHCi, version 7.8.4: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. [1 of 1] Compiling DataFixity ( DataFixity.hs, interpreted ) Ok, modules loaded: DataFixity. λ> :i :@: data Infix a b = a :@: b -- Defined at DataFixity.hs:3:18 infixl 4 :@: }}} However, one cannot do this entirely in GHCi: {{{ $ ghci GHCi, version 7.8.4: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. λ> data Infix a b = a :@: b; infixl 4 :@: λ> :i (:@:) data Infix a b = a :@: b -- Defined at <interactive>:2:18 }}} GHCi simply assumes {{{:@:}}} has the default infix precedence. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10018> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #4929: Support all top-level declarations in GHCi
by GHC 23 Jul '15

23 Jul '15

#4929: Support all top-level declarations in GHCi -------------------------------------+--------------------------------- Reporter: simonmar | Owner: simonmar Type: task | Status: closed Priority: high | Milestone: 7.4.1 Component: GHCi | Version: 7.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: -------------------------------------+--------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"e809ef57d841695f76ab9b2758f7aeb774d6b223/ghc" e809ef5/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="e809ef57d841695f76ab9b2758f7aeb774d6b223" ghci: fixity declarations for infix data constructors (#10018) Declaring a custom fixity for an infix data constructor should work: Prelude> data Infix a b = a :@: b; infixl 4 :@: This is a followup to #2947, which handled fixity declarations in ghci statements (e.g. let add = (+); infixl 6 `add`). Support for declarations (data, type, newtype, class, instance, deriving, and foreign) was added to GHCi in #4929. Reviewers: simonpj, austin, thomie Subscribers: thomie, bgamari Differential Revision: https://phabricator.haskell.org/D1028 GHC Trac Issues: #10018 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4929#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2947: infix precedence of backtick functions defined in ghci is not reported by :info
by GHC 23 Jul '15

23 Jul '15

#2947: infix precedence of backtick functions defined in ghci is not reported by :info -------------------------------------+--------------------------------- Reporter: EyalLotem | Owner: pcapriotti Type: bug | Status: closed Priority: lowest | Milestone: 7.6.1 Component: GHCi | Version: 6.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+--------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"e809ef57d841695f76ab9b2758f7aeb774d6b223/ghc" e809ef5/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="e809ef57d841695f76ab9b2758f7aeb774d6b223" ghci: fixity declarations for infix data constructors (#10018) Declaring a custom fixity for an infix data constructor should work: Prelude> data Infix a b = a :@: b; infixl 4 :@: This is a followup to #2947, which handled fixity declarations in ghci statements (e.g. let add = (+); infixl 6 `add`). Support for declarations (data, type, newtype, class, instance, deriving, and foreign) was added to GHCi in #4929. Reviewers: simonpj, austin, thomie Subscribers: thomie, bgamari Differential Revision: https://phabricator.haskell.org/D1028 GHC Trac Issues: #10018 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2947#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 23 Jul '15

23 Jul '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: patch Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D1073 -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"7ec07e4027826ad92cf651798cc4b5b9eea34a18/ghc" 7ec07e40/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="7ec07e4027826ad92cf651798cc4b5b9eea34a18" Slight refactoring to the fix for #4012 Add CoreSyn.chooseOrphanAnchor, and use it }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:112> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10670: panic! ASSERT failed compiler/types/Type.hs line 1712
by GHC 23 Jul '15

23 Jul '15

#10670: panic! ASSERT failed compiler/types/Type.hs line 1712 -------------------------------------+------------------------------------- Reporter: bjmprice | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- The following code causes a panic when loaded into GHCi (more complicated code below makes GHC panic also) {{{#!hs {-# LANGUAGE GADTs , PolyKinds #-} module Bug where data TyConT (a::k) = TyConT String tyConTArr :: TyConT (->) tyConTArr = TyConT "(->)" data G2 c a where G2 :: TyConT a -> TyConT b -> G2 c (c a b) getT2 :: TyConT (c :: k2 -> k1 -> k) -> TyConT (a :: k) -> Maybe (G2 c a) getT2 (TyConT c) (TyConT a) = Nothing s tf = case getT2 tyConTArr tf of Just (G2 _ _) -> Nothing _ -> Nothing }}} `ghci Bug.hs` yields {{{ ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.11.20150717 for x86_64-unknown-linux): ASSERT failed! file compiler/types/Type.hs line 1712 a_ame -> b_amf k_anj }}} And for GHC: {{{#!hs {-# LANGUAGE GADTs , PolyKinds , FlexibleInstances , TypeOperators , ScopedTypeVariables #-} module Bug2 where import Unsafe.Coerce data TyConT (a::k) = TyConT String eqTyConT :: TyConT a -> TyConT b -> Bool eqTyConT (TyConT a) (TyConT b) = a == b tyConTArr :: TyConT (->) tyConTArr = TyConT "(->)" data TypeRepT (a::k) where TRCon :: TyConT a -> TypeRepT a TRApp :: TypeRepT a -> TypeRepT b -> TypeRepT (a b) data GetAppT a where GA :: TypeRepT a -> TypeRepT b -> GetAppT (a b) getAppT :: TypeRepT a -> Maybe (GetAppT a) getAppT (TRApp a b) = Just $ GA a b getAppT _ = Nothing eqTT :: TypeRepT (a::k1) -> TypeRepT (b::k2) -> Bool eqTT (TRCon a) (TRCon b) = eqTyConT a b eqTT (TRApp c a) (TRApp d b) = eqTT c d && eqTT a b eqTT _ _ = False data G2 c a where G2 :: TypeRepT a -> TypeRepT b -> G2 c (c a b) getT2 :: TypeRepT (c :: k2 -> k1 -> k) -> TypeRepT (a :: k) -> Maybe (G2 c a) getT2 c t = do GA t' b <- getAppT t GA c' a <- getAppT t' if eqTT c c' then Just (unsafeCoerce $ G2 a b :: G2 c a) else Nothing tyRepTArr :: TypeRepT (->) tyRepTArr = TRCon tyConTArr s tf = case getT2 tyRepTArr tf of Just (G2 _ _) -> Nothing _ -> Nothing }}} `ghc Bug2.hs` yields {{{ [1 of 1] Compiling Bug2 ( Bug2.hs, Bug2.o ) ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.11.20150717 for x86_64-unknown-linux): ASSERT failed! file compiler/types/Type.hs line 1712 a_amr -> b_ams k_a1c2 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} This is a regression from 7.10.1 (fails at 1224bb55cac502fe04005345aad47a6bc5c4a297) `uname -a`: `Linux cam-05-unx 3.5.0-54-generic #81~precise1-Ubuntu SMP Tue Jul 15 04:02:22 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux` using GCC 4.6.3 `gcc -v` output: {{{ Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.6/lto-wrapper Target: x86_64-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.6.3-1ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.6/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --program- suffix=-4.6 --enable-shared --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.6 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable- libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --enable- objc-gc --disable-werror --with-arch-32=i686 --with-tune=generic --enable- checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu Thread model: posix gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) }}} `ghc -v Bug2.hs`: {{{ Glasgow Haskell Compiler, Version 7.11.20150717, stage 2 booted by GHC version 7.10.1 Using binary package database: /5playpen/t-bepric/ghc- build/inplace/lib/package.conf.d/package.cache Using binary package database: /home/t-bepric/.ghc/x86_64-linux-7.11.20150717/package.conf.d/package.cache wired-in package ghc-prim mapped to ghc-prim-0.4.0.0-inplace wired-in package integer-gmp mapped to integer-gmp-1.0.0.0-inplace wired-in package base mapped to base-4.8.2.0-inplace wired-in package rts mapped to builtin_rts wired-in package template-haskell mapped to template- haskell-2.10.0.0-inplace wired-in package ghc mapped to ghc-7.11.20150717-inplace wired-in package dph-seq not found. wired-in package dph-par not found. Hsc static flags: wired-in package ghc-prim mapped to ghc-prim-0.4.0.0-inplace wired-in package integer-gmp mapped to integer-gmp-1.0.0.0-inplace wired-in package base mapped to base-4.8.2.0-inplace wired-in package rts mapped to builtin_rts wired-in package template-haskell mapped to template- haskell-2.10.0.0-inplace wired-in package ghc mapped to ghc-7.11.20150717-inplace wired-in package dph-seq not found. wired-in package dph-par not found. *** Chasing dependencies: Chasing modules from: *Bug2.hs Stable obj: [] Stable BCO: [] Ready for upsweep [NONREC ModSummary { ms_hs_date = 2015-07-22 15:01:01 UTC ms_mod = Bug2, ms_textual_imps = [import (implicit) Prelude, import Unsafe.Coerce] ms_srcimps = [] }] *** Deleting temp files: Deleting: compile: input file Bug2.hs Created temporary directory: /tmp/ghc33699_0 *** Checking old interface for Bug2: [1 of 1] Compiling Bug2 ( Bug2.hs, Bug2.o ) *** Parser: *** Renamer/typechecker: *** Desugar: Result size of Desugar (before optimization) = {terms: 206, types: 667, coercions: 24} Result size of Desugar (after optimization) = {terms: 133, types: 421, coercions: 10} *** Simplifier: *** Deleting temp files: Deleting: /tmp/ghc33699_0/ghc_1.s Warning: deleting non-existent /tmp/ghc33699_0/ghc_1.s *** Deleting temp dirs: Deleting: /tmp/ghc33699_0 ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.11.20150717 for x86_64-unknown-linux): ASSERT failed! file compiler/types/Type.hs line 1712 a_amr -> b_ams k_a1c2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10670> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #4945: Another SpecConstr infelicity
by GHC 22 Jul '15

22 Jul '15

#4945: Another SpecConstr infelicity -------------------------------------+------------------------------------- Reporter: batterseapower | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Runtime | Test Case: performance bug | simplCore/should_compile/T4945 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * status: closed => new * resolution: fixed => Comment: Let's leave it open until it is fixed for good. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4945#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4945: Another SpecConstr infelicity
by GHC 22 Jul '15

22 Jul '15

#4945: Another SpecConstr infelicity -------------------------------------+------------------------------------- Reporter: batterseapower | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Runtime | Test Case: performance bug | simplCore/should_compile/T4945 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"50b9a7a355d6fbcb539d4f5aa8313fc0536e8fc3/ghc" 50b9a7a3/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="50b9a7a355d6fbcb539d4f5aa8313fc0536e8fc3" Revert "Trac #4945 is working again" This reverts commit 5d98b6828f65ce6eea45e93880928b7031955d38. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4945#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10627: cabal install of numeric-prelude hangs
by GHC 22 Jul '15

22 Jul '15

#10627: cabal install of numeric-prelude hangs -------------------------------------+------------------------------------- Reporter: George | Owner: Type: bug | Status: new Priority: high | Milestone: 7.10.2 Component: Compiler | Version: 7.10.2-rc2 Keywords: | Operating System: MacOS X Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- While trying to do cabal install species with 7.10.2rc2 I discovered that it hangs compiling numeric-prelude in src/Algebra/RealRing.h. It doesn't seem to be busy computing as cpu usage is 0% {{{ ghc -V The Glorious Glasgow Haskell Compilation System, version 7.10.1.20150630 cabal install --verbose=3 numeric-prelude ... [39 of 97] Compiling Algebra.RealRing ( src/Algebra/RealRing.hs, dist/build/Algebra/RealRing.o ) ... Result size of Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) = {terms: 3,506, types: 3,224, coercions: 4} *** Common sub-expression: Result size of Common sub-expression }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10627> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 24

Re: [GHC] #3699: Wildcards in type functions
by GHC 22 Jul '15

22 Jul '15

#3699: Wildcards in type functions -------------------------------------+------------------------------------- Reporter: | Owner: msosn MartijnVanSteenbergen | Type: feature request | Status: new Priority: low | Milestone: 7.12.1 Component: Compiler (Type | Version: 6.10.4 checker) | Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D1092 -------------------------------------+------------------------------------- Comment (by thomasw): Fixing #10586 led me to add support for wild cards in type/data family instance declarations, see Phab:D1092. @msosn: Sorry for stealing this. As I implemented partial type signatures in the first place, this was less than an hour's worth of work for me. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3699#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0