[GHC] #8507: ConstraintKinds TH regression from 7.6 -> 7.7
#8507: ConstraintKinds TH regression from 7.6 -> 7.7 ----------------------------+---------------------------------------------- Reporter: errge | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 7.7 Haskell | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects valid program Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | ----------------------------+---------------------------------------------- {{{ {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE ConstraintKinds #-} module ConstraintKindUser where -- type Stringy a = (Read a, Show a) $([d|type Stringy a = (Read a, Show a) |]) }}} Results in this error message: {{{ ConstraintKindUser.hs:7:3: The first argument of a tuple should have kind ‛*’, but ‛Read a_a2ZZ’ has kind ‛Constraint’ In the type ‛(Read a_a2ZZ, Show a_a2ZZ)’ In the type declaration for ‛Stringy’ }}} This is a regression compared to 7.6.3. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8507> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8507: ConstraintKinds TH regression from 7.6 -> 7.7 ----------------------------------------------+---------------------------- Reporter: errge | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.7 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: ----------------------------------------------+---------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"fa8b20af798c85d4a0b6faf266c67d0c9ab178a9/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="fa8b20af798c85d4a0b6faf266c67d0c9ab178a9" Fix oversight in comverting tuples from TH to HsSyn (Trac #8507) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8507#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8507: ConstraintKinds TH regression from 7.6 -> 7.7 ----------------------------------------------+---------------------------- Reporter: errge | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Template Haskell | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: th/T8507 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Changes (by simonpj): * status: new => closed * testcase: => th/T8507 * resolution: => fixed Comment: Thanks -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8507#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8507: ConstraintKinds TH regression from 7.6 -> 7.7 ----------------------------------------------+---------------------------- Reporter: errge | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Template Haskell | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: th/T8507 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"12155437ae9cc6bade3beb209c188859b2867799/testsuite"]: {{{ #!CommitTicketReference repository="testsuite" revision="12155437ae9cc6bade3beb209c188859b2867799" Test Trac #8507 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8507#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC