- ghc-tickets - Haskell.org

Re: [GHC] #8030: FlexibleContexts PolyKinds Type Families bug
by GHC 08 Apr '15

08 Apr '15

#8030: FlexibleContexts PolyKinds Type Families bug -------------------------------------+------------------------------------- Reporter: wvv | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | typecheck/should_fail/T8030 Related Tickets: #8034 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * testcase: => typecheck/should_fail/T8030 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8030#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8030: FlexibleContexts PolyKinds Type Families bug
by GHC 08 Apr '15

08 Apr '15

#8030: FlexibleContexts PolyKinds Type Families bug -------------------------------------+------------------------------------- Reporter: wvv | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #8034 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"53cc9af94122866aaae751f94f83ce7b940e5494/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="53cc9af94122866aaae751f94f83ce7b940e5494" Test Trac #8030 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8030#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9160: Panic: Template variable unbound in rewrite rule
by GHC 08 Apr '15

08 Apr '15

#9160: Panic: Template variable unbound in rewrite rule ----------------------------------+--------------------------------------- Reporter: mietek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: Compile-time crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------------- Installing `singletons-1.0` with GHC 7.8.2 on OS X 10.9.2 fails: {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.8.2 for x86_64-apple-darwin): Template variable unbound in rewrite rule }}} Full build log attached. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9160> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 18

[GHC] #10247: 5x increase in total memory allocation for `prof-doc-fib` test since 2011
by GHC 08 Apr '15

08 Apr '15

#10247: 5x increase in total memory allocation for `prof-doc-fib` test since 2011 -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: task | Status: new Priority: high | Milestone: Component: Profiling | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Commit c81e07063dd4f792d65f5933cfb906620d120b24 (#8811) makes a small change to the formatting of the profiling output. When updating the prof.sample files in the `testsuite/tests/profiling/should_run` directory, we noticed that memory allocation numbers for several tests have increased substantially since 2011. {{{ -total alloc = 107,829,264 bytes (excludes profiling overheads) +total alloc = 538,951,032 bytes (excludes profiling overheads) }}} The following tests need investigation: * T680.prof.sample (2x total alloc) * prof-doc-fib.prof.sample (5x) * prof-doc-last.prof.sample (3x) * scc003.prof.sample (2x) Maybe it's nothing serious, but I'm setting priority to high since it seems like a regression. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10247> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10257: internal error: evacuate: strange closure type 3269
by GHC 08 Apr '15

08 Apr '15

#10257: internal error: evacuate: strange closure type 3269 -------------------------------------------+------------------------------- Reporter: lukaramu | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: GHCi crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------------+------------------------------- When trying to load the attatched source into GHCi, it spit out the following error: {{{ ghc.exe: internal error: evacuate: strange closure type 3269 (GHC version 7.8.3 for i386_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. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10257> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #10252: Abstract newtype in hs-boot
by GHC 08 Apr '15

08 Apr '15

#10252: Abstract newtype in hs-boot -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.11 Component: Compiler | Operating System: Unknown/Multiple (Type checker) | Type of failure: None/Unknown Keywords: backpack | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Currently, the following syntax is not supported in an `hs-boot` file: {{{ module A where newtype F }}} This functionality would be pretty useful, since often the RHS of a newtype is intended to be abstract, and would be a pain to place in the boot file. This is also useful for Backpack. It's a bit hard for me to tell what this should do under the hood: we would have newtypes without the coercions. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10252> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #10188: prefix type-level cons can't be parsed
by GHC 07 Apr '15

07 Apr '15

#10188: prefix type-level cons can't be parsed -------------------------------------+------------------------------------- Reporter: Kinokkory | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Whereas other type operators (whether used as type families or used as data constructors) can be safely used in a prefix form, only the type- level cons of the built-in list kind can't be used in a prefix form. It really is a problem because we don't have any means to express type- level cons itself in source code. This for example prevents us from writing a generic type-level foldr that takes the built-in list and other similar data types alike. In a ghci: {{{#!hs > :set -XDataKinds -XTypeOperators > data Listy a = a ::: Listy a > :kind! (:::) (:::) :: k -> Listy k -> Listy k = forall (k :: BOX). (':::) > :kind! (:) <interactive>:1:2: parse error on input ‘:’ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10188> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #9964: GHC crash with NOINLINE and weird IO stuff
by GHC 07 Apr '15

07 Apr '15

#9964: GHC crash with NOINLINE and weird IO stuff -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- {{{#!hs {-# LANGUAGE UnboxedTuples #-} module Crash where import GHC.Base crash :: IO Int crash = IO (\s -> let {-# NOINLINE s' #-} s' = s in (# s', 1::Int #)) }}} This compiles under 7.6.3, but both 7.8.3 and head choke: {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.8.3 for x86_64-unknown-linux): StgCmmEnv: variable not found s{v sLw} [lid] local binds for: Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9964> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 15

[GHC] #10214: parser: TransStmt has incorrect SrcSpan
by GHC 07 Apr '15

07 Apr '15

#10214: parser: TransStmt has incorrect SrcSpan -------------------------------------+------------------------------------- Reporter: mpickering | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 (Parser) | Operating System: Unknown/Multiple Keywords: | Type of failure: Other ApiAnnotations | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The production for `squals` is. {{{#!hs squals :: { Located [LStmt RdrName (LHsExpr RdrName)] } -- In reverse order, because the last -- one can "grab" the earlier ones : squals ',' transformqual {% addAnnotation (gl $ last $ unLoc $1) AnnComma (gl $2) >> return (sLL $1 $> [L (getLoc $3) ((unLoc $3) (reverse (unLoc $1)))]) } }}} The location of the whole statement is set to that `transformqual` when it fact it should encompass the whole production. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10214> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10207: parser: ParStmt has incorrect SrcSpan
by GHC 07 Apr '15

07 Apr '15

#10207: parser: ParStmt has incorrect SrcSpan -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 (Parser) | Operating System: Unknown/Multiple Keywords: | Type of failure: Other ApiAnnotations | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The production for pquals is {{{#!hs pquals :: { Located [[LStmt RdrName (LHsExpr RdrName)]] } : squals '|' pquals {% addAnnotation (gl $ last $ unLoc $1) AnnVbar (gl $2) >> return (L (getLoc $2) (reverse (unLoc $1) : unLoc $3)) } | squals { L (getLoc $1) [reverse (unLoc $1)] } }}} This assigns the location of the '|' to the entire returned value. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10207> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7