- ghc-tickets - Haskell.org

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

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 ----------------------------------------------+---------------------------- Changes (by bjp): * cc: bjp@… (added) * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4836#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9035: ghci sometimes displays Word32 as Word64
by GHC 19 May '14

19 May '14

#9035: ghci sometimes displays Word32 as Word64 --------------------------+------------------------------------------------ Reporter: | Owner: MikeIzbicki | Status: new Type: bug | Milestone: Priority: normal | Version: 7.8.2 Component: GHCi | Operating System: Linux Keywords: | Type of failure: Incorrect result at runtime Architecture: x86_64 | Test Case: (amd64) | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ Given this code: {{{ module Main where import Data.Word import Unsafe.Coerce import System.IO nanFloat :: Float nanFloat = unsafeCoerce (maxBound :: Word32) float2word32 :: Float -> Word32 float2word32 = unsafeCoerce nanDouble :: Double nanDouble = unsafeCoerce (maxBound :: Word64) double2word64 :: Double -> Word64 double2word64 = unsafeCoerce main = do putStrLn $ "nanFloat = " ++ show (float2word32 nanFloat) putStrLn $ "nanFloat = " ++ show (float2word32 $ nanFloat + 1) putStrLn $ "nanDouble = " ++ show (double2word64 nanDouble) putStrLn $ "nanDouble = " ++ show (double2word64 $ nanDouble + 1) }}} If we compile with GHC and run, we correctly output: {{{ nanFloat = 4294967295 nanFloat = 4294967295 nanDouble = 18446744073709551615 nanDouble = 18446744073709551615 }}} But if we instead load in ghci, we get the following output: {{{ nanFloat = 4294967295 nanFloat = 140247862083583 nanDouble = 18446744073709551615 nanDouble = 18446744073709551615 }}} For some reason, ghci is displaying (nanFloat+1) as having significantly more digits than can possibly stored in a Word32 value. Test system: Intel Core 2 Duo running Debian with GHC 7.8.2 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9035> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6