August 2014 - ghc-tickets

Re: [GHC] #6056: INLINABLE pragma prevents worker-wrapper to happen.
by GHC 29 Aug '14

29 Aug '14

#6056: INLINABLE pragma prevents worker-wrapper to happen. --------------------------------------------+------------------------------ Reporter: milan | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime performance bug | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"393506269315bca66aae91517b75e0a003470c84/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="393506269315bca66aae91517b75e0a003470c84" Finally! Test Trac #6056 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6056#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9521: ghc doesn't pass flags to ld via -optl
by GHC 28 Aug '14

28 Aug '14

#9521: ghc doesn't pass flags to ld via -optl -------------------------------------+------------------------------------- Reporter: MikolajKonarski | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Linux Architecture: Unknown/Multiple | Type of failure: Difficulty: Unknown | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I'm compiling i386 binaries on amd64 linux --- already overcame #9421, but still not there. When I do the following (using a i386 GHC 7.8.3 on a 64 bit Ubuntu) {{{ ~/r/LambdaHack$ cabal install haskell-lexer-1.0 -j1 --ghc- option="-optc-m32" --ghc-option="-opta-m32" --ghc-option="-optl-m32" --ghc-option="-optl-arch\ i386" --ghc-option="-optl-m\ elf_i386" --ghc- option="-optl-Wl,-m32" -v3 >& log }}} I get the attached log with, in particular, these lines: {{{ ("/home/mikolaj/local/bin/ghc",["-c","/tmp/4707.c","-o","/tmp/4707.o","-optc-m32","-opta-m32","-optl-m32 ","-optl-arch\\ i386","-optl-m\\ elf_i386","-optl-Wl,-m32"]) ("/usr/bin/ld",["-x","-r","/tmp/4707.o","-o","/tmp/4708.o"]) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9521> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7297: LLVM incorrectly hoisting loads
by GHC 28 Aug '14

28 Aug '14

#7297: LLVM incorrectly hoisting loads -------------------------------------+------------------------------------- Reporter: dterei | Owner: dterei Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.7 (LLVM) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Incorrect | Related Tickets: result at runtime | Test Case: | 367_letnoescape | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Sergei Trofimovich <slyfox@…>): In [changeset:"11455684212b2bbf76d5eb20fdd2d01fbdf21311/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="11455684212b2bbf76d5eb20fdd2d01fbdf21311" testsuite: disable T367_letnoescape on 'optllvm' Known Issue #7297 Signed-off-by: Sergei Trofimovich <slyfox(a)gentoo.org> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7297#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6056: INLINABLE pragma prevents worker-wrapper to happen.
by GHC 28 Aug '14

28 Aug '14

#6056: INLINABLE pragma prevents worker-wrapper to happen. --------------------------------------------+------------------------------ Reporter: milan | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime performance bug | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"9cf5906b692c31b7ec67856b0859cb0e33770651/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="9cf5906b692c31b7ec67856b0859cb0e33770651" Make worker/wrapper work on INLINEABLE things This fixes a long-standing bug: Trac #6056. The trouble was that INLINEABLE "used up" the unfolding for the Id, so it couldn't be worker/wrapper'd by the strictness analyser. This patch allows the w/w to go ahead, and makes the *worker* INLINEABLE instead, so it can later be specialised. However, that doesn't completely solve the problem, because the dictionary argument (which the specialiser treats specially) may be strict and hence unpacked by w/w, so now the worker won't be specilialised after all. Solution: never unpack dictionary arguments, which is done by the isClassTyCon test in WwLib.deepSplitProductType_maybe }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6056#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7206: Implement cheap build
by GHC 28 Aug '14

28 Aug '14

#7206: Implement cheap build -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by snoyberg): * cc: snoyberg (added) Comment: Following up on a separate discussion on the haskell-cafe, I have a possibly related case: {{{#!hs main :: IO () main = printLen >> printLen printLen :: IO () printLen = lengthM 0 [1..40000000 :: Int] >>= print lengthM :: Monad m => Int -> [a] -> m Int lengthM cnt [] = return cnt lengthM cnt (_:xs) = cnt' `seq` lengthM cnt' xs where cnt' = cnt + 1 }}} On my system, this takes almost 1.2GB of memory. If I comment out the second call to `printLen`, it takes 44KB. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7206#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7206: Implement cheap build
by GHC 28 Aug '14

28 Aug '14

#7206: Implement cheap build -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): Another thought. Regardless of what we do here, it seems likely that GHC will sometimes make the wrong choice. So we should give the programmer a way to make the "right" choice. Example. Suppose `[1..10000]` is floated out and shared. Then we should provide `duplicableEnumFromTo 1 10000` which means "please don't try to share me; instead fuse me with my consumers, even if that loses sharing". OK so you lose the nice notation, but you get to say what you want. (And if we switch so that `[1..1000]` is by-default not-shared, then we should provide a way force it to be shared: `nonDuplicableEnumFromTo 1 1000`. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7206#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7206: Implement cheap build
by GHC 28 Aug '14

28 Aug '14

#7206: Implement cheap build -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): See also [http://www.haskell.org/pipermail/ghc- devs/2014-August/006147.html this thread]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7206#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8288: add idris style EDSL support for deep embedding lambdas
by GHC 27 Aug '14

27 Aug '14

#8288: add idris style EDSL support for deep embedding lambdas ----------------------------------------------+---------------------------- Reporter: carter | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Project (more than a week) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: ----------------------------------------------+---------------------------- I could be wrong, but I think this would actually make it much easier to write interesting EDSLs and have a native haskelly syntax. This would sort of be in the same vein as the recently requested applicative brackets idea, albeit a tad more going on . -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8288> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #393: functions without implementations
by GHC 27 Aug '14

27 Aug '14

#393: functions without implementations -------------------------------------+------------------------------------- Reporter: c_maeder | Owner: simonpj Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: None Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: None | Difficulty: Moderate (less Operating System: | than a day) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): Actually using this {{{ f :: Int -> Int f = _ -- Note "_" not "undefined" }}} plus compiling with `-fdefer-type-errors`, will give a runtime error when (and only when) `f` is called, giving file and line number. See [http://www.haskell.org/ghc/docs/latest/html/users_guide/typed-holes.html the manual on typed holes]. See #9497 for making this a bit better. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/393#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8024: Dynamic linking not working on PowerPC Linux.
by GHC 27 Aug '14

27 Aug '14

#8024: Dynamic linking not working on PowerPC Linux. ----------------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | ----------------------------------------------+--------------------------- Comment (by slyfox): The bug looks very much like SPARC's bug #8857 where compiler emitted one level more indirection, but assembler didn't generate proper relocations for it: https://phabricator.haskell.org/D177 I wonder if it cures ppc32 for you. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8024#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0