May 2014 - ghc-tickets

Re: [GHC] #7505: Commentary shipped with GHC sources is outdated
by GHC 21 May '14

21 May '14

#7505: Commentary shipped with GHC sources is outdated --------------------------------------+------------------------------------ Reporter: jstolarek | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Documentation | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Documentation bug | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Changes (by jstolarek): * status: new => closed * resolution: => fixed Comment: This was fixed by 0960a37868e6d08857e86465c8ca346b29b1c813. Closing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7505#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7730: :info and polykinds
by GHC 20 May '14

20 May '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Comment (by archblob): Simon Marlow confirmed my suspicions on irc, and guided me to either testsuite/tests/perf/compiler or nofib for large files on which to benchmark. I have attached the -pa output on several files from the testsuite and i see no differences that stand out. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:48> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7730: :info and polykinds
by GHC 20 May '14

20 May '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Comment (by archblob): It seems I'm doing time and allocation profiling wrong so I need some quidance. Right now I'm building stage 3 with +RTS -pa -RTS but the prof file I get seems to be only from the last run ghc made. So I don't really know how to procede. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:47> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9016: Add System.Exit.die
by GHC 20 May '14

20 May '14

#9016: Add System.Exit.die ------------------------------------+------------------------------------- Reporter: SimonHengel | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: libraries/base | 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: | ------------------------------------+------------------------------------- (as per the proposal/discussion on haskell-libraries, I just posted a summary that "awaits moderator approval") -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9016> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

Re: [GHC] #7730: :info and polykinds
by GHC 19 May '14

19 May '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Comment (by archblob): I have comparte the sizes of .hi files on a number of libraries individually and also did the whole libraries folder. The results are in the attached file. It is roughly a 0.04% increase in interface file size. I will post performance numbers too when i have them. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:46> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4836: literate markdown not handled correctly by unlit
by GHC 19 May '14

19 May '14

#4836: literate markdown not handled correctly by unlit ----------------------------------------------+---------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #7120 ----------------------------------------------+---------------------------- Comment (by elliottt): I've updated my branch, and it's building successfully against master. I plan on testing a few corner cases, then submitting a patch. For reference, here's the branch: https://github.com/elliottt/ghc/tree/literate-markdown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4836#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7730: :info and polykinds
by GHC 19 May '14

19 May '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Comment (by archblob): Unfortunately my git workflow leaves a lot to be desired and I did not have a separate commit for each change I made and won't be able to give you separate numbers, I'm running benchmarks on the whole patch tonight and post the numbers when I'm done. I'll also have the numbers for separate changes in a couple of days, when I find the time to split the commit. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:45> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7730: :info and polykinds
by GHC 19 May '14

19 May '14

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: archblob Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8776 --------------------------------------------+------------------------------ Comment (by simonpj): Thank you! Did you do the performance comparisons? Does the compiler allocate more when compiling? Do hi files get bigger? Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:44> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9110: MonomorphismRestriction too eager
by GHC 19 May '14

19 May '14

#9110: MonomorphismRestriction too eager ------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | 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: | ------------------------------------+------------------------------------- This strange example came up on IRC: {{{ {-# LANGUAGE MonoLocalBinds, MonomorphismRestriction #-} foo :: a foo = bar bar = undefined where _ = baz undefined baz = const [1] }}} yields {{{ /Users/rae/temp/Bug.hs:4:7: Couldn't match expected type ‘a’ with actual type ‘t0’ because type variable ‘a’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for foo :: a at /Users/rae/temp/Bug.hs:3:8 Relevant bindings include foo :: a (bound at /Users/rae/temp/Bug.hs:4:1) In the expression: bar In an equation for ‘foo’: foo = bar }}} Setting either `NoMonoLocalBinds` ''or'' `NoMonomorphismRestriction` fixes the problem. After some staring at this, I didn't get to the bottom of it. But I did learn some things: * If we remove the definition for `foo`, the module compiles. * With the monomorphism restriction (MR), `bar` gets the type `GHC.Exts.Any`. * Without the MR, `bar` gets the type `forall t.t`. * The MR bites `baz`, as it should. According to the rules in [http://www.haskell.org/onlinereport/decls.html#sect4.5.5 the Haskell Report], it seems that the MR should ''not'' bite `bar`, as `bar`'s inferred type's unification type variable is ''not'' constrained -- this is why I'm posting the example as a bug. But, I may be entirely mistaken, as the whole example makes my brain go a little fuzzy. In particular, I'm a little mystified how `MonoLocalBinds` enters the picture, but it is necessary to tickle the problem. Apologies if GHC is behaving correctly here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9110> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9124: Infinite loop when printing a (finite) list with just one element
by GHC 19 May '14

19 May '14

#9124: Infinite loop when printing a (finite) list with just one element ------------------------------------+--------------------------------- Reporter: OoS | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Yes Blocked By: | Blocking: Related Tickets: | ------------------------------------+--------------------------------- If I print a (finite) list with ohne element I get a "<<loop>>" from the runtime. When I remove some where clauses from "buildFrustum", the code works again flawlessly. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9124> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5