ConstraintKinds TH regression from 7.6 -> 7.7
{-# 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.
Trac metadata
Trac field | Value |
---|---|
Version | 7.7 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Template Haskell |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |