- ghc-tickets - Haskell.org

[GHC] #9339: last is not a good consumer
by GHC 22 Jul '14

22 Jul '14

#9339: last is not a good consumer -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.8.3 Keywords: | Differential Revisions: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- The profiler indicates that `print $ last [(1::Int)..10^7]` (compiled with -O2) allocates around 8*10^8 bytes. Using the Henning Thienemann-inspired {{{ myLast = fromJust . foldr (\x -> Just . maybe x id) Nothing }}} (based on his code for viewR/unsnoc) reduces allocation by about half at the cost of some extra work. What we really want, I believe, is for `last` to fuse with the producer in a fashion that allows the Ints to be unboxed, eliminating all the allocation. I have no idea if this will fall out of the general fusion work planned for 7.9. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9339> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #9327: possibly incorrect indentation or mismatched brackets
by GHC 22 Jul '14

22 Jul '14

#9327: possibly incorrect indentation or mismatched brackets -------------------------------------+------------------------------------- Reporter: Jefffrey | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Differential Revisions: Operating System: MacOS X | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- I'm having a weird problem. This code compiles: {{{ fetchSomething :: IO String fetchSomething = return "Something" main :: IO () main = do if True then do l <- fetchSomething let fn s = do let rs = s ++ ": " l <- fetchSomething return $ rs ++ l n <- fn "Prefix" putStr n else return () }}} but the following doesn't: {{{ let ep = Bridge.destination b </> e ed <- doesDirectoryExist ep if ed then do ds <- listDirs ep let fn p = do let t = readUTC p lt <- toLocalTime t <-- parse error (possibly incorrect indentation or mismatched brackets) return $ Snapshot t lt e b l <- mapM fn ds let r = sortBy (compare `on` time) l let ri = Prelude.take m $ assignIDs 1 r if o == Oldest then return $ ri else return $ reverse ri else return [] }}} Here's a live demo of the former: http://coliru.stacked- crooked.com/a/0305f546c8566683 To test the second, the only way I could find is by downloading this repository: https://github.com/Jefffrey/Kopia/commit/9ec9eb93183c4ceed6d324f7fc726584de… and running `cabal test`. Someone on the #haskell channel reproduced it on his machine too. This seems like a bug. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9327> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #9241: Add a"same" function to Data.Eq
by GHC 22 Jul '14

22 Jul '14

#9241: Add a"same" function to Data.Eq ------------------------------------+------------------------------------- Reporter: mhwombat | Owner: Type: feature request | Status: new Priority: low | Milestone: Component: Prelude | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Add a"same" function to Data.Eq that parallels the "comparing" function in Data.Ord. For example: -- | -- > same p x y = (p x) == (p y) -- -- Useful combinator for use in conjunction with the @xxxBy@ family -- of functions from "Data.List", for example: -- -- > ... groupBy (same fst) ... same :: (Eq a) => (b -> a) -> b -> b -> Bool same p x y = (p x) == (p y) For a closer parallel, I suppose "same" could return "Equality" (similar to "Ordering"), and the functions "nubBy", "deleteBy", "deleteFirstsBy", "unionBy", "intersectBy" and "groupBy" should take (a -> a -> Equality) (a -> a -> Bool). But I don't know if there's any benefit to that. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9241> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9343: foldl' is not a good consumer
by GHC 22 Jul '14

22 Jul '14

#9343: foldl' is not a good consumer -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.8.3 Keywords: | Differential Revisions: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Some fancy footwork went into making length a good consumer. Since `length = foldl' (\n _ -> n + 1) 0`, I was wondering if a trick similar to the one used for length might work for more general strict left folds. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9343> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7452: [GNU gold] ld: error: cannot find [...]/Types__1.o
by GHC 21 Jul '14

21 Jul '14

#7452: [GNU gold] ld: error: cannot find [...]/Types__1.o -------------------------------------+------------------------------------- Reporter: mrothe | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Build | Version: 7.6.1 System | Keywords: Resolution: fixed | Operating System: Linux Differential Revisions: | Type of failure: Building GHC Architecture: x86_64 | failed (amd64) | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7452#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5442: ghc-pkg unregister --user/--global/--package-conf not normative
by GHC 21 Jul '14

21 Jul '14

#5442: ghc-pkg unregister --user/--global/--package-conf not normative -------------------------------------+------------------------------------- Reporter: guest | Owner: ezyang Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: ghc-pkg | Version: 7.2.1 Resolution: fixed | Keywords: Differential Revisions: Phab:D84 | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Changes (by ezyang): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5442#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5442: ghc-pkg unregister --user/--global/--package-conf not normative
by GHC 21 Jul '14

21 Jul '14

#5442: ghc-pkg unregister --user/--global/--package-conf not normative -------------------------------------+------------------------------------- Reporter: guest | Owner: ezyang Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: ghc-pkg | Version: 7.2.1 Resolution: | Keywords: Differential Revisions: Phab:D84 | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Comment (by Edward Z. Yang <ezyang@…>): In [changeset:"d7c807f7975c13444e1ce79e4c36dd802321cf40/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="d7c807f7975c13444e1ce79e4c36dd802321cf40" [ghc-pkg] Fix #5442 by using the flag db stack to modify packages. Summary: Previously, the full database stack was used for ghc-pkg to modify packages, which meant that commands like 'ghc-pkg unregister --user' worked the same as 'ghc-pkg unregister'. Since package modification is a "read and write" operation, we should use the flag db stack (which is currently used for reads) to determine which database to update. There is also a new flag --user-package-db, which lets you explicitly set the user database (as seen by --user). This was mostly added to aid in testing, but could be useful for end users as well. Signed-off-by: Edward Z. Yang <ezyang(a)cs.stanford.edu> Test Plan: validate Reviewers: simonmar, hvr, austin Subscribers: simonmar, relrod, carter Differential Revision: https://phabricator.haskell.org/D84 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5442#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8874: Warning: Couldn't figure out linker information!
by GHC 21 Jul '14

21 Jul '14

#8874: Warning: Couldn't figure out linker information! -------------------------+------------------------------------------------- Reporter: | Owner: Lemming | Status: new Type: bug | Milestone: Priority: | Version: 7.8.1-rc2 normal | Operating System: Linux Component: | Type of failure: Incorrect warning at Compiler | compile-time Keywords: | Test Case: Architecture: | Blocking: x86_64 (amd64) | Difficulty: | Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- {{{ $ cabal-1.18.0.2 install --with-ghc=ghc-7.8.0.20140228 utility-ht-0.0.10 ... [ 1 of 24] Compiling Text.Show.HT ( src/Text/Show/HT.hs, dist/build/Text/Show/HT.o ) [ 2 of 24] Compiling Text.Read.HT ( src/Text/Read/HT.hs, dist/build/Text/Read/HT.o ) [ 3 of 24] Compiling Data.Strictness.HT ( src/Data/Strictness/HT.hs, dist/build/Data/Strictness/HT.o ) [ 4 of 24] Compiling Control.Monad.HT ( src/Control/Monad/HT.hs, dist/build/Control/Monad/HT.o ) [ 5 of 24] Compiling Data.Tuple.HT ( src/Data/Tuple/HT.hs, dist/build/Data/Tuple/HT.o ) [ 6 of 24] Compiling Control.Functor.HT ( src/Control/Functor/HT.hs, dist/build/Control/Functor/HT.o ) [ 7 of 24] Compiling Data.Monoid.HT ( src/Data/Monoid/HT.hs, dist/build/Data/Monoid/HT.o ) [ 8 of 24] Compiling Data.Maybe.HT ( src/Data/Maybe/HT.hs, dist/build/Data/Maybe/HT.o ) [ 9 of 24] Compiling Data.Ix.Enum ( src/Data/Ix/Enum.hs, dist/build/Data/Ix/Enum.o ) [10 of 24] Compiling Data.Function.HT.Private ( src/Data/Function/HT/Private.hs, dist/build/Data/Function/HT/Private.o ) [11 of 24] Compiling Data.Function.HT ( src/Data/Function/HT.hs, dist/build/Data/Function/HT.o ) [12 of 24] Compiling Data.List.Key.Private ( src/Data/List/Key/Private.hs, dist/build/Data/List/Key/Private.o ) [13 of 24] Compiling Data.List.Key ( src/Data/List/Key.hs, dist/build/Data/List/Key.o ) [14 of 24] Compiling Data.Ord.HT ( src/Data/Ord/HT.hs, dist/build/Data/Ord/HT.o ) [15 of 24] Compiling Data.Eq.HT ( src/Data/Eq/HT.hs, dist/build/Data/Eq/HT.o ) [16 of 24] Compiling Data.Bool.HT.Private ( src/Data/Bool/HT/Private.hs, dist/build/Data/Bool/HT/Private.o ) [17 of 24] Compiling Data.Bool.HT ( src/Data/Bool/HT.hs, dist/build/Data/Bool/HT.o ) [18 of 24] Compiling Data.List.Match.Private ( src/Data/List/Match/Private.hs, dist/build/Data/List/Match/Private.o ) [19 of 24] Compiling Data.List.HT.Private ( src/Data/List/HT/Private.hs, dist/build/Data/List/HT/Private.o ) [20 of 24] Compiling Data.List.HT ( src/Data/List/HT.hs, dist/build/Data/List/HT.o ) [21 of 24] Compiling Data.Record.HT.Private ( src/Data/Record/HT/Private.hs, dist/build/Data/Record/HT/Private.o ) [22 of 24] Compiling Data.Record.HT ( src/Data/Record/HT.hs, dist/build/Data/Record/HT.o ) [23 of 24] Compiling Data.String.HT ( src/Data/String/HT.hs, dist/build/Data/String/HT.o ) [24 of 24] Compiling Data.List.Match ( src/Data/List/Match.hs, dist/build/Data/List/Match.o ) [ 1 of 24] Compiling Text.Show.HT ( src/Text/Show/HT.hs, dist/build/Text/Show/HT.p_o ) <no location info>: Warning: Couldn't figure out linker information! Make sure you're using GNU gcc, or clang [ 2 of 24] Compiling Text.Read.HT ( src/Text/Read/HT.hs, dist/build/Text/Read/HT.p_o ) [ 3 of 24] Compiling Data.Strictness.HT ( src/Data/Strictness/HT.hs, dist/build/Data/Strictness/HT.p_o ) [ 4 of 24] Compiling Control.Monad.HT ( src/Control/Monad/HT.hs, dist/build/Control/Monad/HT.p_o ) ... }}} The warning only appears for the first module in profiling mode. What does the warning mean? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8874> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #7831: Bad fragmentation when allocating many large objects
by GHC 21 Jul '14

21 Jul '14

#7831: Bad fragmentation when allocating many large objects -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: low | Milestone: ⊥ Component: Runtime | Version: 7.7 System | Keywords: Resolution: | Operating System: Unknown/Multiple Differential Revisions: | Type of failure: None/Unknown Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Changes (by ezyang): * priority: normal => low * milestone: 7.10.1 => ⊥ Comment: I don't think we are planning on fixing this any time in the near future. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7831#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 21 Jul '14

21 Jul '14

#703: all binaries built by ghc have executable stacks -------------------------------------+------------------------------------- Reporter: duncan | Owner: ezyang Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.3 (NCG) | Keywords: Resolution: fixed | Operating System: Linux Differential Revisions: | Type of failure: None/Unknown Architecture: | Test Case: N/A Unknown/Multiple | Blocking: Difficulty: Moderate | (less than a day) | Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- Changes (by ezyang): * status: new => closed * resolution: => fixed Comment: Jens' builds of ghc-7.8 in copr (http://copr.fedoraproject.org/coprs/petersen/ghc-7.8) correctly do not have the executable bit. I'm going to close this bug unless someone actually reports that their builds have the executable bit set. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/703#comment:41> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0