- ghc-tickets - Haskell.org

Re: [GHC] #2256: Incompleteness of type inference: must quantify over implication constraints
by GHC 01 Feb '18

01 Feb '18

#2256: Incompleteness of type inference: must quantify over implication constraints -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler (Type | Version: 6.8.2 checker) | Keywords: Resolution: | QuantifedConstraints Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * keywords: => QuantifedConstraints -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2256#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2893: Implement "Quantified constraints" proposal
by GHC 01 Feb '18

01 Feb '18

#2893: Implement "Quantified constraints" proposal -------------------------------------+------------------------------------- Reporter: porges | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.10.1 Resolution: | Keywords: | QuantifiedConstraints Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4353 Wiki Page: | -------------------------------------+------------------------------------- Description changed by simonpj: Old description: > See: [wiki:QuantifiedContexts Quantified constraints wiki page] New description: See: [wiki:QuantifiedConstraints Quantified constraints wiki page] -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2893#comment:32> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #14687: Investigate differences in Int-In/Outlining
by GHC 31 Jan '18

31 Jan '18

#14687: Investigate differences in Int-In/Outlining -------------------------------------+------------------------------------- Reporter: AndreasK | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 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 one case the numbers get floated out and in the others they stay in the alternative. This results in one being compiled as a CAF while the other gets recreated on the heap. {{{ {-# LANGUAGE MagicHash, BangPatterns, ScopedTypeVariables #-} import GHC.Prim import GHC.Exts func :: Int# -> Int# -> Int func 1# 1# = 10 func 1# 2# = 20 foo :: Int# -> Int# -> Int foo 1# 1# = 30 foo 2# 1# = 40 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14687> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #14630: name shadowing warnings by record pattern synonyms + RecordWildCards or NamedFieldPuns
by GHC 31 Jan '18

31 Jan '18

#14630: name shadowing warnings by record pattern synonyms + RecordWildCards or NamedFieldPuns -------------------------------------+------------------------------------- Reporter: | Owner: (none) mizunashi_mana | Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Keywords: | Operating System: Unknown/Multiple PatternSynonyms | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When I use PatternSynonyms + RecordWildCards/NamedFieldPuns, I get name shadowing warnings. I am hoping that these warnings don't trigger in the below case. {{{#!hs {-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE RecordWildCards #-} {-# LANGUAGE NamedFieldPuns #-} module TestPatternSynonyms where pattern Tuple :: a -> b -> (a, b) pattern Tuple{x, y} = (x, y) {-# COMPLETE Tuple #-} f :: (a, b) -> a f Tuple{x} = x {- warning: [-Wname-shadowing] This binding for ‘x’ shadows the existing binding -} g :: (Int, Int) -> Int g Tuple{..} = x + y {- warning: [-Wname-shadowing] This binding for ‘x’ shadows the existing binding This binding for ‘y’ shadows the existing binding -} }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14630> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #14746: Provide PDEP and PEXT instructions
by GHC 31 Jan '18

31 Jan '18

#14746: Provide PDEP and PEXT instructions -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 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: -------------------------------------+------------------------------------- The PDEP (parallel bit deposit) and PEXT (parallel bit extract) instructions are super cool and could be very naturally expressed in GHC as: {{{ packedBitDeposit :: Word# -> Word# -> Word# packedBitExtract :: Word# -> Word# -> Word# }}} I requesting that these be added to GHC.Prim (or more accurately, I'm requesting approval for these be added to GHC.Prim, by me or by any other interested party, possibly at a more distant point in the future). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14746> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #6087: Join points need strictness analysis
by GHC 31 Jan '18

31 Jan '18

#6087: Join points need strictness analysis -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: infoneeded Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 7.4.1 Resolution: | 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: | -------------------------------------+------------------------------------- Comment (by osa1): > Did you recompile all the libraries, or just nofib? Just nofib. > Can you see what is happening with the 5% allocation increase in mate? Sure, I'll update. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6087#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6087: Join points need strictness analysis
by GHC 31 Jan '18

31 Jan '18

#6087: Join points need strictness analysis -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: infoneeded Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 7.4.1 Resolution: | 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: | -------------------------------------+------------------------------------- Comment (by osa1): > These are -O vs -O + late-dmd-anal I assume. It'd be worth doing the same with -O2 vis -O2 + late-dmd-anal nofib runs with -O2 by default. Here's an example command that nofib runs to compile of the benchmarks: {{{ ghc-stage2 -O2 -Rghc-timing -H32m -hisuf hi -rtsopts -c Main.hs -o Main.o }}} with `-flate-dmd-anal`: {{{ ghc-stage2 -O2 -Rghc-timing -H32m -hisuf hi -flate-dmd-anal -rtsopts -c Main.hs -o Main.o }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6087#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6087: Join points need strictness analysis
by GHC 31 Jan '18

31 Jan '18

#6087: Join points need strictness analysis -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: infoneeded Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 7.4.1 Resolution: | 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: | -------------------------------------+------------------------------------- Comment (by simonpj): Interesting. * These are `-O` vs `-O + late-dmd-anal` I assume. It'd be worth doing the same with `-O2` vis `-O2 + late-dmd-anal` * Did you recompile all the libraries, or just nofib? * A 4.6% increase in compiler allocations and compile time. * We get some small wins. * Can you see what is happening with the 5% allocation increase in `mate`? * I think that HEAD has indeed abandoned the "clever .hi file scheme", so we don't need to worry about that part. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6087#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6087: Join points need strictness analysis
by GHC 31 Jan '18

31 Jan '18

#6087: Join points need strictness analysis -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: infoneeded Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 7.4.1 Resolution: | 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: | -------------------------------------+------------------------------------- Comment (by osa1): I've attached the nofib-analyse output. For reference, here's the wiki page on late demand analysis: https://ghc.haskell.org/trac/ghc/wiki/LateDmd. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6087#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6087: Join points need strictness analysis
by GHC 31 Jan '18

31 Jan '18

#6087: Join points need strictness analysis -------------------------------------+------------------------------------- Reporter: simonpj | Owner: (none) Type: bug | Status: infoneeded Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 7.4.1 Resolution: | 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: | -------------------------------------+------------------------------------- Changes (by osa1): * Attachment "analyse" added. nofib using GHC HEAD, compare default with -flate-dmd-anal -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6087> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0