February 2016 - ghc-tickets

[GHC] #11349: [TypeApplications] Create Proxy-free alternatives of functions in base
by GHC 25 Feb '16

25 Feb '16

#11349: [TypeApplications] Create Proxy-free alternatives of functions in base ----------------------------------------+--------------------------------- Reporter: Iceland_jack | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Core Libraries | Version: 7.10.3 Keywords: TypeApplications | Operating System: Other Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- Now that we have [https://phabricator.haskell.org/D1138 TypeApplications] how about we create a Proxy-free version of functions in base that currently require it: {{{#!hs tr :: forall a. Typeable a => TypeRep tr = typeRep @Proxy @a Proxy symbol :: forall s. KnownSymbol s => String symbol = symbolVal @s Proxy nat :: forall n. KnownNat n => Integer nat = natVal @n Proxy }}} While we're at it let's use [https://hackage.haskell.org/package/base/docs /Numeric-Natural.html Natural] as the value-level representation of Nat, avoiding `Maybe` in `someNatVal :: Integer -> Maybe SomeNat`: {{{#!hs nat :: forall n. KnownNat n => Natural nat = natVal @n Proxy someNatVal :: Natural -> SomeNat someNatVal = ... }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11349> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #10398: Support consecutive named Haddock comments
by GHC 25 Feb '16

25 Feb '16

#10398: Support consecutive named Haddock comments -------------------------------------+------------------------------------- Reporter: dmcclean | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 (Parser) | Operating System: Unknown/Multiple Keywords: | Type of failure: Other Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- (I don't sufficiently understand the manner in which this arises from a GHC issue, but reliable sources inform me that it does.) This haddock issue, https://github.com/haskell/haddock/issues/392, apparently is related to the manner in which GHC parses comments. The way it manifests is that {{{#!hs module Foo ( -- $chunk1 -- $chunk2 foo, -- $chunk3 bar ) where {- $chunk1 This is chunk 1. -} {- $chunk2 This is chunk 2. -} {- $chunk3 This is chunk 3. -} foo = 3 bar = 7 }}} The resulting haddock documentation will include chunks 1 and 3 but not 2. See the linked ticket for a discussion by Mateusz Kowalczyk explaining how this relates to GHC. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10398> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10484: hPutBuf crashes when trying to write a large string to stdout (resource exhausted)
by GHC 25 Feb '16

25 Feb '16

#10484: hPutBuf crashes when trying to write a large string to stdout (resource exhausted) -------------------------------------+------------------------------------- Reporter: bayloff | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.8.3 libraries/base | Operating System: Windows Keywords: | Type of failure: Runtime crash Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The following program crashes when I try to write a byte string larger than 61kb to stdout: {{{#!hs import qualified Data.ByteString.Char8 as BS main = BS.putStrLn $ BS.replicate (62 * 1024) 'x' }}} When I run the above, I get the following runtime error: {{{ <stdout>: hPutBuf: resource exhausted (Not enough space) }}} GHC versions tested: 7.6.3 and 7.8.3 (both 32 and 64 bit) OS: Windows 7 and Windows Server 20008R2 The issue is not reproducible with the Linux version of GHC. It is also not reproducible if I use the Lazy variant of the byte strings. Note: The Linux version of the program was tested with GHC 7.6.3 because this is the one I have on my Ubuntu machine. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10484> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #11637: single-module recursion and import aliases
by GHC 24 Feb '16

24 Feb '16

#11637: single-module recursion and import aliases -------------------------------------+------------------------------------- Reporter: dmwit | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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: -------------------------------------+------------------------------------- I put the following code in {{{Foo.hs}}}: {{{ module Foo where import Prelude (Either(..)) import {-# SOURCE #-} Foo as F not (Left x) = x not (Right x) = F.not (Left x) }}} And the following code in {{{Foo.hs-boot}}}: {{{ module Foo where import Prelude(Either) not :: Either a a -> a }}} I get the following error when trying to compile: {{{ % ghc -c Foo.hs-boot % ghc -c Foo.hs Foo.hs:5:17: Not in scope: ‘F.not’ zsh: exit 1 ghc -c Foo.hs }}} This surprises me, as running ghci on a slightly modified version (replacing {{{F.not (Left x)}}} with simply {{{x}}}) confirms that `not` is exported correctly; hence I believe {{{F.not}}} should indeed be in scope. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11637> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #7670: StablePtrs should be organized by generation for efficient minor collections
by GHC 24 Feb '16

24 Feb '16

#7670: StablePtrs should be organized by generation for efficient minor collections -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.7 Resolution: | Keywords: 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 Remi): * cc: remi.turk@… (removed) * cc: remi (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7670#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11634: Bang patterns bind... unexpectedly. Deserves loud warning
by GHC 24 Feb '16

24 Feb '16

#11634: Bang patterns bind... unexpectedly. Deserves loud warning -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 7.10.3 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: -------------------------------------+------------------------------------- Consider the following, {{{#!hs {-# LANGUAGE BangPatterns #-} hello :: [Int] -> () hello (!x:xs) = ... }}} To me it seems like the bang pattern should be applied to `x`; but it's not! In fact, this program is equivalent to, {{{#!hs hello (!(x:xs)) = ... }}} This strikes me as quite surprising, yet there is no mention of how `!` is supposed to bind in the [[http://downloads.haskell.org/~ghc/master/users- guide//glasgow_exts.html#ghc-flag--XBangPatterns|users guide]] nor the [[https://prime.haskell.org/wiki/BangPatterns|Haskell Prime proposal]]. This behavior is slightly less surprising if you consider that the bang pattern `!Just x` is equivalent to `!(Just x)` (although this also strikes me as a bit unfortunate, although it is likely too late to do much about this). In sum: We need to document the current syntactic binding properties of `!` in the users guide. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11634> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #11569: make -j24 test
by GHC 23 Feb '16

23 Feb '16

#11569: make -j24 test ----------------------------------+-------------------------- Reporter: mfox | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 8.1 Keywords: | Operating System: Linux Architecture: aarch64 | Type of failure: Other Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------+-------------------------- My computer is slow but has many cores. I find several hundred tests fail "bad stderr" when I set the environment variable: {{{ export MAKEFLAGS=-j24 make test }}} I'll update with the list of failing tests in a few hours when I'm done running the testsuite serially. But one is T3307. It even fails when run by itself like: {{{ export MAKEFLAGS=-j24 make test TESTS="T3307" }}} But otherwise passes if {{{ unset MAKEFLAGS make test TESTS="T3307" }}} Building version 99cb627a45afacde5f86799671c53baf81daee41 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11569> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #11609: Document unicode report deviations
by GHC 23 Feb '16

23 Feb '16

#11609: Document unicode report deviations -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Documentation | Version: 7.10.3 Keywords: unicode, | Operating System: Unknown/Multiple report-impact | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #1103, #4373, | #10196, #11012 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- @nomeata mentions in #10196: The report specifies “Haskell compilers are expected to make use of new versions of Unicode as they are made available.” So if we deviate from that, we should make sure that * the user’s guide explicitly lists all deviations from the report [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/bugs-and- infelicities.html#infelicities-lexical in this section], and * that the Haskell prime committee is going to be aware of these (sensible) deviations, so that they can become official. Certain deviations are (there might be more): * `OtherLetter` are treated as lowercase (#1103), and thus allowed in identifiers. * `ModifierLetter` (#10196) and `OtherNumber` (#4373) are allowed in identifiers, but only starting from the second character. * `$decdigit = $ascdigit -- for now, should really be $digit (ToDo)` (see compiler/parser/Lexer.x) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11609> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7650: can't use combining characters in identifiers
by GHC 23 Feb '16

23 Feb '16

#7650: can't use combining characters in identifiers -------------------------------------+------------------------------------- Reporter: guest | Owner: thomie Type: feature request | Status: closed Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 7.6.2 (Parser) | Resolution: fixed | Keywords: unicode Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1938 Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * type: bug => feature request * resolution: => fixed * milestone: => 8.2.1 Comment: I guess this is a feature, so don't merge to 8.0. See #11609 for documentation (todo). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7650#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7650: can't use combining characters in identifiers
by GHC 23 Feb '16

23 Feb '16

#7650: can't use combining characters in identifiers -------------------------------------+------------------------------------- Reporter: guest | Owner: thomie Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 (Parser) | Resolution: | Keywords: unicode Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1938 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"2aee41960aa00fe09a2cd1983e02c15e06013037/ghc" 2aee419/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="2aee41960aa00fe09a2cd1983e02c15e06013037" Allow combining characters in identifiers (#7650) Reviewed by: austin, rwbarton Differential Revision: https://phabricator.haskell.org/D1938 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7650#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0