December 2015 - ghc-tickets

Re: [GHC] #4426: Simplify the rules for implicit quantification
by GHC 15 Dec '15

15 Dec '15

#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: bgamari Type: feature request | Status: patch Priority: highest | Milestone: 8.0.1 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: #7880 | Differential Rev(s): Phab:D211, Wiki Page: | Phab:D1615 -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"ddde542dbcb088e0a10aa3cdc3e0aef0a1c4a9b7/ghc" ddde542d/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="ddde542dbcb088e0a10aa3cdc3e0aef0a1c4a9b7" DynFlags Remove -fwarn-context-quantification flag As mentioned in #4426 these warnings are now errors since the Great Wildcards Refactor of 2015 (1e041b7382b6aa329e4ad9625439f811e0f27232). I've opened #11221 to ensure we remove the last traces of the option in 8.2. Test Plan: validate Reviewers: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1615 GHC Trac Issues: #4426 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9632: Promotable type synonyms (or: synonyms to promoted types)
by GHC 14 Dec '15

14 Dec '15

#9632: Promotable type synonyms (or: synonyms to promoted types) -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: checker) | Operating System: Keywords: | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Difficulty: Unknown | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I want to use '''synonyms to promoted types''' in the same places where I can use the '''promoted types''': {{{#!hs {-# LANGUAGE DataKinds, KindSignatures #-} module PromotableTypeSynonyms where data B = T | F data P :: B -> * type B' = B data P' :: B' -> * -- using B' synonym here is currently not allowed }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9632> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10726: Upgrade MingW-w64 distributions for windows
by GHC 14 Dec '15

14 Dec '15

#10726: Upgrade MingW-w64 distributions for windows -------------------------------------+------------------------------------- Reporter: Phyx- | Owner: Phyx- Type: task | Status: new Priority: normal | Milestone: 7.12.1 Component: Build | Version: 7.11 System | Keywords: | Operating System: Windows Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #9218 #9014 Differential Revisions: | #10435 -------------------------------------+------------------------------------- This is the second part of splitting up #9218. The goal is to move `GHC x86` from `MingW` to `MingW-w64` and to upgrade both the `x86` and the `x86_64` toolchains shipped with `GHC` to newer versions. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10726> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 67

[GHC] #11220: Stack overflow instead of type check failure in Servant route
by GHC 14 Dec '15

14 Dec '15

#11220: Stack overflow instead of type check failure in Servant route -------------------------------------+------------------------------------- Reporter: sopvop | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 (Type checker) | 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: -------------------------------------+------------------------------------- GHC 7.10.3 eats a lot of memory and segfaults compiling this. {{{#!hs {-# LANGUAGE DataKinds #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE TypeOperators #-} module Main where import Data.Proxy import Servant.API -- requires servant data A apiP :: Proxy Api apiP = Proxy -- Users type Api = "variants" :> Get '[JSON] () routeL :: URI routeL = safeLink apiP (Proxy :: Proxy ("variants" :> Get '[A] ())) -- Should result in type error -- '[JSON] in route but '[A] here main = print routeL }}} There is '[ JSON ] in Api type, but '[A] in Proxy type passed to safeLink, so it should result in type error. Correct program compiles without problems. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11220> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

Re: [GHC] #4426: Simplify the rules for implicit quantification
by GHC 14 Dec '15

14 Dec '15

#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------- Reporter: simonpj | Owner: bgamari Type: feature request | Status: patch Priority: highest | Milestone: 8.0.1 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: #7880 | Differential Rev(s): Phab:D211, Wiki Page: | Phab:D1615 -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => patch * differential: Phab:D211 => Phab:D211, Phab:D1615 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11202: T10667 is broken on OS X
by GHC 14 Dec '15

14 Dec '15

#11202: T10667 is broken on OS X -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 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: -------------------------------------+------------------------------------- It fails with, {{{ =====> T10667(normal) 2 of 18 [0, 1, 0] cd ./codeGen/should_compile && "/Users/bgamari/ghc/inplace/test spaces /ghc-stage2" -c T10667.hs -fforce-recomp -dcore-lint -dcmm-lint -dno- debug-output -no-user-package-db -rtsopts -fno-warn-tabs -fno-warn-missed- specialisations -fno-ghci-history -g > T10667.comp.stderr 2>&1 Compile failed (status 256) errors were: /var/folders/4l/06tjh3z978l_b5plmkq08ff80000gq/T/ghc56547_0/ghc_1.s:101:2: error: error: unknown directive .hword 3 ^ /var/folders/4l/06tjh3z978l_b5plmkq08ff80000gq/T/ghc56547_0/ghc_1.s:129:2: error: error: unknown directive .hword 1 ^ /var/folders/4l/06tjh3z978l_b5plmkq08ff80000gq/T/ghc56547_0/ghc_1.s:131:2: error: error: unknown directive .hword 13 ^ . . . }}} [[https://developer.apple.com/library/mac/documentation/DeveloperTools/Refere…]] we should be using `.short` on Darwin. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11202> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11121: Introduce `-XTemplateHaskellQuotes` pragma for subset of TH
by GHC 14 Dec '15

14 Dec '15

#11121: Introduce `-XTemplateHaskellQuotes` pragma for subset of TH -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: feature | Status: new request | Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #10382, #11102 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- TODO: describe why we need this -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11121> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10250: API Annotations : add Locations in hsSyn were layout occurs
by GHC 14 Dec '15

14 Dec '15

#10250: API Annotations : add Locations in hsSyn were layout occurs -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: task | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple ApiAnnotations | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- At the moment ghc-exactprint, which uses the GHC API Annotations to provide a framework for roundtripping Haskell source code with optional AST edits, has to implement a horrible workaround to manage the points where layout needs to be captured. These are MatchGroup HsDo HsCmdDo HsLet LetStmt HsCmdLet GRHSs To provide a more natural representation, the contents subject to layout rules need to be wrapped in a SrcSpan. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10250> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #10238: Update libffi shortly before first GHC 7.12.1 RC
by GHC 14 Dec '15

14 Dec '15

#10238: Update libffi shortly before first GHC 7.12.1 RC -------------------------------------+------------------------------------- Reporter: hvr | Owner: hvr Type: task | Status: new Priority: highest | Milestone: 7.12.1 Component: Runtime | Version: System | Operating System: Unknown/Multiple Keywords: libffi | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Making this ticket so I don't forget to check for the latest libffi release shortly before the first RC (like I missed that "libffi-3.2.1 was released on November 12, 2014" which would have been in time for 7.10.1RC1) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10238> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #10845: Incorrect behavior when let binding implicit CallStack object
by GHC 14 Dec '15

14 Dec '15

#10845: Incorrect behavior when let binding implicit CallStack object -------------------------------------+------------------------------------- Reporter: | Owner: nitromaster101 | Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- I'm trying out ghc HEAD at 062feee4e7408ad5b9d882e5fed2c700e337db72. {{{#!hs {-# LANGUAGE ImplicitParams #-} import GHC.Types f :: (?loc :: CallStack) => Int f = let y = length $ getCallStack ?loc in if y < 2 then 3 else 4 f2 :: (?loc :: CallStack) => Int f2 = if (length $ getCallStack ?loc) < 2 then 3 else 4 f3 :: (?loc :: [Int]) => Int f3 = let y = length ?loc in if y < 2 then 3 else 4 }}} produces: {{{ [1 of 1] Compiling Main ( Bug.hs, interpreted ) Bug.hs:5:6: warning: Redundant constraint: ?loc::CallStack In the type signature for: f :: (?loc::CallStack) => Int }}} f3 doesn't produce an error which makes me think it's related to CallStack handling. The warning seems accurate: the returned callstack only contains the entry at f. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10845> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 19