- ghc-tickets - Haskell.org

[GHC] #15581: Unable to commit [negative number] bytes of memory
by GHC 31 Aug '18

31 Aug '18

#15581: Unable to commit [negative number] bytes of memory -------------------------------------+------------------------------------- Reporter: nh2 | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 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: -------------------------------------+------------------------------------- In issues like https://github.com/haskell/text/issues/221 we observe: {{{ "<interactive>: internal error: Unable to commit -1604321280 bytes of memory (GHC version 8.2.2 for x86_64_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} Unable to commit a **negative** amount of bytes? That looks like integer overflow somewhere. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15581> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #14827: Recognize when inlining would create a join point
by GHC 31 Aug '18

31 Aug '18

#14827: Recognize when inlining would create a join point -------------------------------------+------------------------------------- Reporter: ersetzen | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Keywords: JoinPoints | 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: -------------------------------------+------------------------------------- [https://www.reddit.com/r/haskell/comments/7yh8ar/i_wrote_a_program_that_run… This discussion] revolved around a program that runs 10x faster under ghci. One way to solve this is to remove a superfluous inline pragma which allows the following transformation to happen: {{{ letrec { f a = case e of { p1 -> f a'; p2 -> (# l, r #); }} in case f e2 of { (# l, r #) -> e3; } }}} into {{{ joinrec { f a = case e of { p1 -> jump f a'; p2 -> e3; }} in jump f e2 }}} More generally a recursive let binding that is called exactly once from the outside. If all recursive calls are tail calls and the outside one isn't then we could safely replace the call with the binding and end up with join points. In this case it means a 10x speedup so it might be worth doing generally. {{{ letrec { fi = ei; } in ... (fj e) ... => ... (joinrec { fi = ei; } in fj e) ... }}} [https://gist.github.com/AndreasPK/8e6f0cbf253f0930f4cda81e685ac136 Self contained example] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14827> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #15588: Panic when abusing kind inference
by GHC 31 Aug '18

31 Aug '18

#15588: Panic when abusing kind inference -------------------------------------+------------------------------------- Reporter: goldfire | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.5 Keywords: TypeInType | 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 I say {{{#!hs {-# LANGUAGE ScopedTypeVariables, TypeInType, TypeOperators, TypeFamilies, AllowAmbiguousTypes #-} import Data.Proxy import Data.Type.Equality import Data.Type.Bool import Data.Kind data SameKind :: forall k. k -> k -> Type type family IfK (e :: Proxy (j :: Bool)) (f :: m) (g :: n) :: If j m n where IfK (_ :: Proxy True) f _ = f IfK (_ :: Proxy False) _ g = g y :: forall ck (c :: ck). ck :~: Proxy True -> () y Refl = let x :: forall a b (d :: a). SameKind (IfK c b d) d x = undefined in () }}} HEAD says {{{ ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.7.20180827 for x86_64-apple-darwin): ASSERT failed! Bad coercion hole co_a3iZ: If j_a3j0[tau:2] m_a3j1[tau:2] a_a3gV[sk:3] a_a3gV[sk:3] nominal If j_a3j0[tau:2] m_a3j1[tau:2] a_a3jj[sk:3] ~# a_a3jj[sk:3] Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1160:37 in ghc:Outputable pprPanic, called at compiler/utils/Outputable.hs:1219:5 in ghc:Outputable assertPprPanic, called at compiler/typecheck/TcMType.hs:316:25 in ghc:TcMType Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} It's as yet unclear whether the program should be accepted. My best guess is that it should, but that (even with this panic fixed) GHC isn't up to the task. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15588> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5793: make nofib awesome
by GHC 31 Aug '18

31 Aug '18

#5793: make nofib awesome -------------------------------------+------------------------------------- Reporter: dterei | Owner: michalt Type: task | Status: new Priority: normal | Milestone: ⊥ Component: NoFib benchmark | Version: suite | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: 9571 | Blocking: Related Tickets: #15357 #15333 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by sgraf): * related: #15357 => #15357 #15333 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5793#comment:36> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #15565: ancient ghc release history on web page is incomplete
by GHC 30 Aug '18

30 Aug '18

#15565: ancient ghc release history on web page is incomplete -------------------------------------+------------------------------------- Reporter: j.waldmann | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: 8.6.1 Component: Documentation | Version: 8.4.3 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: -------------------------------------+------------------------------------- (just for historical completeness) 2.10 is missing from https://downloads.haskell.org/~ghc/ . There is https://www.haskell.org/ghc/download_ghc_210.html , but the source link on that page is 404, and the wayback machine claims not to have ftp://ftp.dcs.gla.ac.uk/pub/ . Release dates are missing on https://www.haskell.org/ghc/download.html (under "Older releases"). Dates are present at https://www.haskell.org/ghc/ (under "News") but only from 6.10 onwards. I used mail archive locations mentioned at https://www.reddit.com/r/haskell/comments/6y2qbw/what_happened_to/ to find that 0.29 was announced on 29 Jul 1996. The "first full release" (0.10) was at 11 Dec 92. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15565> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #15585: Testing
by GHC 30 Aug '18

30 Aug '18

#15585: Testing -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 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: -------------------------------------+------------------------------------- Hello world -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15585> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #15583: Treating Constraint as Type when using (type C = Constraint)
by GHC 30 Aug '18

30 Aug '18

#15583: Treating Constraint as Type when using (type C = Constraint) -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.5 Keywords: TypeInType | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #15412 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This may be similar/same as #15412? I can't get to the latest GHC right now. Again the "culprit" is using `type C = Constraint`. The code example should not compile, but the error it gives is unexpected. If we define the associated type family `Ob_ (cat :: Cat ob) :: ob -> C` using `C` {{{#!hs {-# Language KindSignatures, PolyKinds, DataKinds, TypeInType, TypeFamilies, FlexibleInstances #-} import Data.Kind type T = Type type C = Constraint type Cat ob = ob -> ob -> T class Category_ (cat :: Cat ob) where type Ob_ (cat :: Cat ob) :: ob -> C id_ :: Ob_ cat a => cat a a class NoCls (a::k) instance NoCls (a::k) instance Category_ (->) where type Ob_ (->) = NoCls -- id_ :: NoCls a => (a -> a) -XInstanceSigs id_ = () }}} the definition of `id_` fails (as we expect), but the expected type (`Ob_ (->) a -> a -> a`) is wrong: {{{#!hs $ ghci -ignore-dot-ghci 348.hs GHCi, version 8.5.20180128: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( 348.hs, interpreted ) 348.hs:22:9: error: • Couldn't match expected type ‘Ob_ (->) a -> a -> a’ with actual type ‘()’ • In the expression: () In an equation for ‘id_’: id_ = () In the instance declaration for ‘Category_ (->)’ • Relevant bindings include id_ :: Ob_ (->) a -> a -> a (bound at 348.hs:22:3) | 22 | id_ = () | ^^ Failed, no modules loaded. Prelude> }}} If we simply replace `Ob_` with `type Ob_ (cat :: Cat ob) :: ob -> Constraint`, the expected type (`a -> a`) matches my intuition: {{{ 348.hs:22:9: error: • Couldn't match expected type ‘a -> a’ with actual type ‘()’ • In the expression: () In an equation for ‘id_’: id_ = () In the instance declaration for ‘Category_ (->)’ • Relevant bindings include id_ :: a -> a (bound at 348.hs:22:3) | 22 | id_ = () | ^^ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15583> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #15412: "Instance head is not headed by a class" when `Constraint` replaced with `type C = Constraint`
by GHC 30 Aug '18

30 Aug '18

#15412: "Instance head is not headed by a class" when `Constraint` replaced with `type C = Constraint` -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 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: -------------------------------------+------------------------------------- {{{#!hs {-# Language DataKinds, TypeInType, TypeFamilies #-} import Data.Kind newtype I a = I a type C = Constraint type family UnitC :: Constraint where UnitC = () instance UnitC => Functor I where fmap = undefined }}} this works fine, but if I try to use the constraint synonym `C` (`UnitC :: C where`) fails with "Instance head is not headed by a class" which has '''no''' Google hits outside of the [https://hackage.haskell.org/package/ghc-8.4.1/docs/src/TcValidity.html#chec… compiler] {{{ $ ghci -ignore-dot-ghci hs/249.hs GHCi, version 8.5.20180128: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( hs/249.hs, interpreted ) hs/249.hs:13:10: error: • Instance head is not headed by a class • In the instance declaration for ‘Functor I’ | 13 | instance UnitC => Functor I where | ^^^^^^^^^^^^^^^^^^ Failed, no modules loaded. Prelude> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15412> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #15582: Phabricator shows "drafts" by default
by GHC 30 Aug '18

30 Aug '18

#15582: Phabricator shows "drafts" by default -------------------------------------+------------------------------------- Reporter: monoidal | Owner: bgamari Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Continuous | Version: 8.4.3 Integration | 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: -------------------------------------+------------------------------------- By default, going to https://phabricator.haskell.org/differential/ shows "Drafts". This category isn't very useful. Is it possible to create a query for "All open" (Statuses: "Any Open Status") and make it the default? I've done this already on my account, but I think it makes sense to do this globally. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15582> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #15580: Specialize min/max functions for GHC provided instances.
by GHC 30 Aug '18

30 Aug '18

#15580: Specialize min/max functions for GHC provided instances. -------------------------------------+------------------------------------- Reporter: AndreasK | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: CodeGen | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In particular for Int/Word/Float/Double we should aim to provide branchless code where reasonable. Especially when using SSE we should just use `minss` instead of {{{ ucomisd %xmm1,%xmm0 jp .Lc5vv jbe .Lc5vw }}} which is worse in all kinds of ways. If someone feels like tackling this I'm happy to help with code review, answering questions, etc. I won't get around to doing it myself any time soon. As a starting point the instance declarations are in ghc- prim/GHC/Classes.hs. I would look into solving this via adding a new MachOP/PrimOP but maybe there are even better ways. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15580> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0