Opened 11 years ago

Closed 11 years ago

Last modified 9 years ago

#1199 closed merge (fixed)

Type variables in DataD do not match up:

Reported by: wolfgang Owned by: igloo
Priority: normal Milestone:
Component: Template Haskell Version: 6.7
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: TH_reifyDecl2
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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)"

Change History (4)

comment:1 Changed 11 years ago by simonpj

Owner: set to igloo
Type: bugmerge

Ah yes, good point. Now fixed.

Pls merge: Tue Mar 6 06:56:41 GMT Standard Time 2007 simonpj@…

  • Simple fix for Trac #1199 (pls merge to branch)


comment:2 Changed 11 years ago by igloo

Resolution: fixed
Status: newclosed
Test Case: TH_reifyDecl2

Not merged: the 6.6 branch works already.

comment:3 Changed 9 years ago by simonmar

Architecture: MultipleUnknown/Multiple

comment:4 Changed 9 years ago by simonmar

Operating System: MultipleUnknown/Multiple
Note: See TracTickets for help on using tickets.