May 2016 - ghc-tickets

Re: [GHC] #4370: Bring back monad comprehensions
by GHC 21 May '16

21 May '16

#4370: Bring back monad comprehensions -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: patch Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2247 Wiki Page: | -------------------------------------+------------------------------------- Comment (by rwbarton): bgamari, is this the right ticket? Also, I wish we wouldn't reopen issues with mega-threads like this one. Monad comprehensions were indeed added and you have to get to comment:62 to find out what the open part of this ticket is. Much easier for posterity if the remaining piece is split out into its own ticket once the comment thread has become very long. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4370#comment:71> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3333: GHCi doesn't load weak symbols
by GHC 21 May '16

21 May '16

#3333: GHCi doesn't load weak symbols -------------------------------------+------------------------------------- Reporter: heatsink | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: GHCi | Version: 6.10.4 Resolution: fixed | Keywords: weak, dynamic | loading Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed Comment: This is now tracked in #11817. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3333#comment:44> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9298: ghc.exe: internal error: evacuate: strange closure type 365488164
by GHC 21 May '16

21 May '16

#9298: ghc.exe: internal error: evacuate: strange closure type 365488164 ------------------------------+--------------------------------------- Reporter: Tominator2 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: idris | Operating System: Windows Architecture: x86 | Type of failure: Compile-time crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------+--------------------------------------- after saying "cabal install idris" the machine churned for a while, spitting out messages, then said: src\Idris\AbsSyntax.hs:1569:10: Warning: `EitherErr' is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal. ghc.exe: internal error: evacuate: strange closure type 365488164 (GHC version 7.8.2 for x86_64_unknown_mingw32) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug This application has requested the Runtime to terminate it in an unusual way. Please contact the application's support team for more information. Failed to install idris-0.9.13.1 cabal.exe: Error: some packages failed to install: idris-0.9.13.1 failed during the building phase. The exception was: ExitFailure 3 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9298> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #4370: Bring back monad comprehensions
by GHC 21 May '16

21 May '16

#4370: Bring back monad comprehensions -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: patch Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2247 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => patch * differential: => Phab:D2247 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4370#comment:70> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11297: CmmSwitchTest fails on arm
by GHC 21 May '16

21 May '16

#11297: CmmSwitchTest fails on arm -------------------------------------+------------------------------------- Reporter: bgamari | Owner: bgamari Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect result Unknown/Multiple | at runtime Test Case: CmmSwitchTest | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ Actual stdout output differs from expected: --- /dev/null 2015-12-26 13:34:29.750000000 +0100 +++ ./codeGen/should_run/CmmSwitchTest.run.stdout.normalised 2015-12-26 22:14:17.937137588 +0100 @@ -0,0 +1,57 @@ +ERR: aj (-1) is 1337 and not 41. +ERR: ak (-11) is 1337 and not 36. +ERR: ak (-10) is 1337 and not 37. +ERR: ak (-9) is 1337 and not 37. +ERR: ak (-8) is 1337 and not 38. +ERR: ak (-7) is 1337 and not 38. +ERR: ak (-6) is 1337 and not 39. +ERR: ak (-5) is 1337 and not 39. +ERR: ak (-4) is 1337 and not 40. +ERR: ak (-3) is 1337 and not 40. +ERR: ak (-2) is 1337 and not 41. +ERR: ak (-1) is 1337 and not 41. +ERR: al (0) is 1337 and not 42. +ERR: al (1) is 1337 and not 42. +ERR: al (2) is 1337 and not 43. +ERR: al (3) is 1337 and not 43. +ERR: al (4) is 1337 and not 44. +ERR: al (5) is 1337 and not 44. +ERR: al (6) is 1337 and not 45. +ERR: al (7) is 1337 and not 45. +ERR: al (8) is 1337 and not 46. +ERR: al (9) is 1337 and not 46. +ERR: al (10) is 1337 and not 47. +ERR: al (-11) is 1337 and not 36. +ERR: al (-10) is 1337 and not 37. +ERR: al (-9) is 1337 and not 37. +ERR: al (-8) is 1337 and not 38. +ERR: al (-7) is 1337 and not 38. +ERR: al (-6) is 1337 and not 39. +ERR: al (-5) is 1337 and not 39. +ERR: al (-4) is 1337 and not 40. +ERR: al (-3) is 1337 and not 40. +ERR: al (-2) is 1337 and not 41. +ERR: al (-1) is 1337 and not 41. +ERR: ay (4294967295) is 1337 and not 41. +ERR: az (4294967285) is 1337 and not 36. +ERR: az (4294967286) is 1337 and not 37. +ERR: az (4294967287) is 1337 and not 37. +ERR: az (4294967288) is 1337 and not 38. +ERR: az (4294967289) is 1337 and not 38. +ERR: az (4294967290) is 1337 and not 39. +ERR: az (4294967291) is 1337 and not 39. +ERR: az (4294967292) is 1337 and not 40. +ERR: az (4294967293) is 1337 and not 40. +ERR: az (4294967294) is 1337 and not 41. +ERR: az (4294967295) is 1337 and not 41. +ERR: ba (4294967285) is 1337 and not 36. +ERR: ba (4294967286) is 1337 and not 37. +ERR: ba (4294967287) is 1337 and not 37. +ERR: ba (4294967288) is 1337 and not 38. +ERR: ba (4294967289) is 1337 and not 38. +ERR: ba (4294967290) is 1337 and not 39. +ERR: ba (4294967291) is 1337 and not 39. +ERR: ba (4294967292) is 1337 and not 40. +ERR: ba (4294967293) is 1337 and not 40. +ERR: ba (4294967294) is 1337 and not 41. +ERR: ba (4294967295) is 1337 and not 41. \ No newline at end of file *** unexpected failure for CmmSwitchTest(normal) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11297> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #12052: Split ghc-boot so we have better dependency hygiene
by GHC 21 May '16

21 May '16

#12052: Split ghc-boot so we have better dependency hygiene -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.2 Component: Core | Version: 8.0.1 Libraries | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- At the moment, `template-haskell` transitively depends on `bytestring`. This means that any package which depends on `template-haskell` has its `bytestring` version pinned to the version that was shipped with GHC. Which is lame, because `template-haskell` doesn't actually use `bytestring` in any interesting way. This is bad, we should split `ghc-boot` into two pieces, one which has the binary package database bits, and another which contains the Template Haskell bits, so we can have better dependency hygiene. We should also have a comment on `template-haskell` mentioning the importance of dependency hygiene, so this doesn't happen again. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12052> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #6135: Unboxed Booleans
by GHC 20 May '16

20 May '16

#6135: Unboxed Booleans -------------------------------------+------------------------------------- Reporter: benl | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | primops/should_run/T6135 Blocked By: 8103, 8103 | Blocking: Related Tickets: #605 | Differential Rev(s): Wiki Page: PrimBool | -------------------------------------+------------------------------------- Changes (by jstolarek): * wikipage: => PrimBool -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6135#comment:96> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12086: Allow omitting type family signature
by GHC 20 May '16

20 May '16

#12086: Allow omitting type family signature -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Syntactic issue. I find myself writing {{{#!hs type family Not a where Not False = True Not True = False }}} quite often, where the signature can be inferred it would be nice to be able to write ... to mean the same thing {{{#!hs type family Not False = True Not True = False }}} I know Richard has [https://www.reddit.com/r/haskell/comments/4amov2/the_future_of_dependent_ha… a lot of things planned], I don't know how they mesh together ---- The desugaring is straightforward, for a type family with n-indexes, add a signature with n fresh type variables. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12086> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12085: Premature defaulting and variable not in scope
by GHC 20 May '16

20 May '16

#12085: Premature defaulting and variable not in scope -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple TypeApplications | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs {-# Language RankNTypes, ScopedTypeVariables, TypeFamilies, TypeOperators, UnboxedTuples, UnicodeSyntax, ViewPatterns, QuasiQuotes, TypeInType, ApplicativeDo, TypeApplications, AllowAmbiguousTypes #-} import Data.Kind todo :: forall (a::Type). (Read a, Show a) => String todo = show @a (read @a "42") }}} there are two things I notice, even with `AllowAmbiguousTypes` the `a` gets defaulted prematurely {{{ $ ghci -ignore-dot-ghci -fwarn-type-defaults /tmp/tl0z.hs GHCi, version 8.0.0.20160511: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( /tmp/tl0z.hs, interpreted ) Ok, modules loaded: Main. *Main> :t todo <interactive>:1:1: warning: [-Wtype-defaults] Defaulting the following constraints to type ‘()’ (Read a0) arising from a use of ‘it’ at <interactive>:1:1 (Show a0) arising from a use of ‘it’ at <interactive>:1:1 foo :: String *Main> }}} instead of something like `todo :: forall a. (Read a, Show a) => String`, it can be applied to types {{{ *Main> foo @Int "42" *Main> foo @Float "42.0" }}} ---- The second thing is that if you want to add an argument independent of `a` {{{#!hs -- ghci> foo @Int False -- "100" -- ghci> foo @Float True -- "42.0" foo :: forall (a::Type). (Read a, Show a) => Bool -> String foo b = show @a (read @a (if b then "42" else "100")) }}} I found no way to define it as {{{#!hs -- ghci> foo False @Int -- "100" -- ghci> foo True @Float -- "42.0" foo :: Bool -> forall (a::Type). (Read a, Show a) => String foo b = show @a (read @a (if b then "42" else "100")) }}} to which GHC persists {{{ $ ghci -ignore-dot-ghci -fwarn-type-defaults /tmp/tl0z.hs GHCi, version 8.0.0.20160511: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( /tmp/tl0z.hs, interpreted ) /tmp/tl0z.hs:10:15: error: Not in scope: type variable ‘a’ /tmp/tl0z.hs:10:24: error: Not in scope: type variable ‘a’ Failed, modules loaded: none. Prelude> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12085> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #12036: Shutdown interacts badly with requestSync()
by GHC 20 May '16

20 May '16

#12036: Shutdown interacts badly with requestSync() -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.2.1 Component: Runtime System | Version: 7.10.3 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => duplicate Comment: Duplicate of #12038. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12036#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0