November 2014 - ghc-tickets

Re: [GHC] #5834: Allow both INLINE and INLINABLE for the same function
by GHC 26 Nov '14

26 Nov '14

#5834: Allow both INLINE and INLINABLE for the same function -------------------------------------+------------------------------------- Reporter: rl | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.5 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Runtime | Related Tickets: performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => Runtime performance bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5834#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5835: Make better use of known dictionaries
by GHC 26 Nov '14

26 Nov '14

#5835: Make better use of known dictionaries -------------------------------------+------------------------------------- Reporter: rl | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.5 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Runtime | Related Tickets: performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => Runtime performance bug Old description: > Example: > > {{{ > data T a where > T :: Eq a => a -> T a > > foo :: a -> T a -> Bool > {-# INLINE foo #-} > foo x = \(T y) -> x == y > > appl :: (a -> b) -> a -> b > {-# NOINLINE appl #-} > appl f x = f x > > bar :: T Int -> Bool > bar t = appl (foo 42) t > }}} > > GHC generates this for `bar`: > > {{{ > bar2 :: Int > bar2 = I# 42 > > bar1 :: T Int -> Bool > bar1 = > \ (ds_dhk :: T Int) -> > case ds_dhk of _ { T $dEq_agz y_aa4 -> > == @ Int $dEq_agz bar2 y_aa4 > } > > bar :: T Int -> Bool > bar = \ (t_aga :: T Int) -> appl @ (T Int) @ Bool bar1 t_aga > }}} > > Note how it want to get the `Eq` dictionary for `Int` from `T`. But we > know the `Eq Int` instance without inspecting `T` and `bar` could be > significantly simplified if we used that. New description: Example: {{{ {-# LANGUAGE GADTs #-} module T5835 where data T a where T :: Eq a => a -> T a foo :: a -> T a -> Bool {-# INLINE foo #-} foo x = \(T y) -> x == y appl :: (a -> b) -> a -> b {-# NOINLINE appl #-} appl f x = f x bar :: T Int -> Bool bar t = appl (foo 42) t }}} GHC generates this for `bar`: {{{ bar2 :: Int bar2 = I# 42 bar1 :: T Int -> Bool bar1 = \ (ds_dhk :: T Int) -> case ds_dhk of _ { T $dEq_agz y_aa4 -> == @ Int $dEq_agz bar2 y_aa4 } bar :: T Int -> Bool bar = \ (t_aga :: T Int) -> appl @ (T Int) @ Bool bar1 t_aga }}} Note how it want to get the `Eq` dictionary for `Int` from `T`. But we know the `Eq Int` instance without inspecting `T` and `bar` could be significantly simplified if we used that. -- Comment: Core unchanged in HEAD vs 7.5. To reproduce, use this command: `ghc -O2 -ddump-simpl -dsuppress-module-prefixes -dsuppress-idinfo T5835.hs` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5835#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5840: Extend the supported environment sizes of vectorised closures
by GHC 26 Nov '14

26 Nov '14

#5840: Extend the supported environment sizes of vectorised closures -------------------------------------+------------------------------------- Reporter: | Owner: chak mukesh.tiwari | Status: infoneeded Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Data | Keywords: Parallel Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: #7330 Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => infoneeded -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5840#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5840: Extend the supported environment sizes of vectorised closures
by GHC 26 Nov '14

26 Nov '14

#5840: Extend the supported environment sizes of vectorised closures -------------------------------------+------------------------------------- Reporter: | Owner: chak mukesh.tiwari | Status: new Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Data | Keywords: Parallel Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: #7330 Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * related: => #7330 Comment: Is this still an issue? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5840#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5841: seg fault in ghci but not ghc when using chart-gtk code
by GHC 26 Nov '14

26 Nov '14

#5841: seg fault in ghci but not ghc when using chart-gtk code ---------------------------------------+---------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #5816 Differential Revisions: | ---------------------------------------+---------------------------------- Changes (by thomie): * related: 5816 => #5816 * milestone: 7.10.1 => Comment: Replying to [comment:4 carter]: > My understanding is that the switch to dylibs for ghci should resolve many of the "funny problems with ghci" bugs people have had over the years. Indeed, let's close this. For anyone reading this in the future: please re-open this ticket or open a new ticket when you have any kind linking problem with GHC on OS X. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5841#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5850: Greater customization of GHCi prompt
by GHC 26 Nov '14

26 Nov '14

#5850: Greater customization of GHCi prompt -------------------------------------+------------------------------------- Reporter: | Owner: JamesFisher | Status: new Type: feature | Milestone: 7.10.1 request | Version: 7.4.1 Priority: normal | Keywords: newcomer Component: GHCi | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: hvr (added) * keywords: => newcomer -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5850#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5859: unsafeInterleaveIO duplicates computation when evaluated by multiple threads
by GHC 26 Nov '14

26 Nov '14

#5859: unsafeInterleaveIO duplicates computation when evaluated by multiple threads -------------------------------------+------------------------------------- Reporter: joeyadams | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: Component: Core | Version: 7.2.2 Libraries | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Incorrect | Related Tickets: result at runtime | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: core-libraries-committee@… (added) * status: new => closed * resolution: => fixed * milestone: 7.10.1 => Comment: Replying to [comment:6 simonpj]: > Cf #5943. Since `unsafeDupableInterleaveIO` is now NONINLINE, the symptoms of this ticket might have gone away. I confirm, as did bgamari: > Indeed I can't reproduce the buggy behavior with 7.6.2 and 7.7 HEAD. For reference, in commit bbcf397765953798b6d730c2bd1088c3463f3f5b: {{{ Author: Simon Marlow <> Date: Fri Mar 23 12:28:18 2012 +0000 change unsafeDupableInterleaveIO from INLINE to NOINLINE (#5943) See the comment for details. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5859#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5898: ghc: internal error: Invalid Mach-O file
by GHC 26 Nov '14

26 Nov '14

#5898: ghc: internal error: Invalid Mach-O file ---------------------------------------+--------------------------- Reporter: jeffshaw | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.0.4 Resolution: worksforme | Keywords: Operating System: MacOS X | Architecture: powerpc Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | ---------------------------------------+--------------------------- Changes (by thomie): * status: new => closed * resolution: => worksforme Comment: Linking on OS X has been much improved in the GHC 7.8 series. Please try the latest [https://www.haskell.org/ghc/ release], and don't hesitate to re-open this ticket if you encounter the same problem again. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5898#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5907: Crashed loading package Safe
by GHC 26 Nov '14

26 Nov '14

#5907: Crashed loading package Safe -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Package | Version: 7.0.3 system | Keywords: Resolution: wontfix | Architecture: Unknown/Multiple Operating System: Windows | Difficulty: Unknown Type of failure: GHCi crash | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => wontfix Comment: Sorry, there won't be another 7.0.x release. Please try the latest version from https://www.haskell.org/ghc/download or the [https://haskell.org/platform Haskell platform]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5907#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5910: Holes with other constraints
by GHC 26 Nov '14

26 Nov '14

#5910: Holes with other constraints -------------------------------------+------------------------------------- Reporter: xnyhps | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: high | Version: 7.5 Component: Compiler | Keywords: holes (Type checker) | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: Other | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): Replying to [comment:22 simonpj]: > OK, so holes are now in HEAD. > > They lack > * documentation > * tests of any kind > > Two more actions: > * '''Sean or Thijs, could you add documentation and tests?''' > > * I think the idea of allowing undefined variables to turn into holes is a good one; so I'll leave the ticket open for that too. Did those tests ever get added? What is left to do here? See also #9091. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5910#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0