#1849: Template Haskell: reify is not consistent with the special constructors
ListT and TupleT
------------------------------+---------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.10 branch
Component: Template Haskell | Version: 6.8.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
------------------------------+---------------------------------------------
Comment (by guest):
Replying to [comment:4 simonpj]:
> I think this is likely to be easily fixed, but don't want to fix it if
you and Ian agree in the end to eliminate the ListT and TupleT
constructors!
As I recently wrote in the template-haskell list [1], I think the special
type constructors should be kept as long as all redundancies are
eliminated (i.e. template-haskell should only return tuple list and arrow
types to the user in the form of ListT ArrT and TupleT; never using ConT).
According to that, current behaviour of reify is redundant, that's why I
opened this ticket. Let's see what Ian thinks.
In the same message I also proposed separating constructors from types
themselves, ... but that's another story.
[1] http://www.haskell.org/pipermail/template-
haskell/2007-November/000649.html
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1849#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
