Re: [GHC] #1199: Type variables in DataD do not match up:
#1199: Type variables in DataD do not match up: --+- Reporter: wolfgang | Owner: igloo Type: merge | Status: closed Priority: normal| Milestone: Component: Template Haskell |Version: 6.7 Severity: normal| Resolution: fixed Keywords:| Difficulty: Unknown Testcase: TH_reifyDecl2 | Architecture: Multiple Os: Multiple | --+- Changes (by igloo): * resolution: = fixed * testcase: = TH_reifyDecl2 * status: new = closed Comment: Not merged: the 6.6 branch works already. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1199 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #1199: Type variables in DataD do not match up:
#1199: Type variables in DataD do not match up:
-+--
Reporter: wolfgang | Owner:
Type: bug | Status: new
Priority: normal| Milestone:
Component: Template Haskell | Version: 6.7
Severity: normal|Keywords:
Difficulty: Unknown |Testcase:
Architecture: Multiple | Os: Multiple
-+--
When reigying an ADT, the type variables listed on the left side are
different from those used on the right side:
{{{
Prelude Language.Haskell.TH $(reify ''Maybe = stringE . show)
TyConI (DataD [] Data.Maybe.Maybe [a_1627391676] [NormalC
Data.Maybe.Nothing [],NormalC Data.Maybe.Just [(NotStrict,VarT
a_1627391681)]] [])
}}}
The type variables do match up when we look just at the constructor:
{{{
Prelude Language.Haskell.TH $(reify 'Just = stringE . show)
DataConI Data.Maybe.Just (ForallT [a_1627391681] [] (AppT (AppT ArrowT
(VarT a_1627391681)) (AppT (ConT Data.Maybe.Maybe) (VarT a_1627391681
Data.Maybe.Maybe (Fixity 9 InfixL)
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1199
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1199: Type variables in DataD do not match up:
#1199: Type variables in DataD do not match up: --+- Reporter: wolfgang | Owner: igloo Type: merge | Status: new Priority: normal| Milestone: Component: Template Haskell |Version: 6.7 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Architecture: Multiple Os: Multiple | --+- Changes (by simonpj): * owner: = igloo * type: bug = merge Comment: Ah yes, good point. Now fixed. Pls merge: Tue Mar 6 06:56:41 GMT Standard Time 2007 [EMAIL PROTECTED] * Simple fix for Trac #1199 (pls merge to branch) Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1199 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
