: [Haskell-cafe] Proposal for associated type synonyms in
Template Haskell
Hello Thomas,
I see this is a proposal for a partial implementation of #1673
(http://hackage.haskell.org/trac/ghc/ticket/1673). Maybe it would be
good if
the remaining syntax (associated datatypes and type
Sent: 11 November 2008 11:11
To: Haskell Cafe
Subject: Re: [Haskell-cafe] Proposal for associated type synonyms in
Template Haskell
Hello Thomas,
I see this is a proposal for a partial implementation of #1673
(http://hackage.haskell.org/trac/ghc/ticket/1673). Maybe it would be good
] On Behalf Of José Pedro
Magalhães
Sent: 11 November 2008 11:11
To: Haskell Cafe
Subject: Re: [Haskell-cafe] Proposal for associated type synonyms in Template
Haskell
Hello Thomas,
I see this is a proposal for a partial implementation of #1673
(http://hackage.haskell.org/trac/ghc/ticket/1673). Maybe
Hi Pedro,
You are right, it is a partial implementation. We chose not to propose
an implementation for associated datatypes and type families because it
is unknown if there is a demand for it.
But I don't think coming up with the TH AST modifications for associated
type synonyms and type
Hello Thomas,
I see this is a proposal for a partial implementation of #1673 (
http://hackage.haskell.org/trac/ghc/ticket/1673). Maybe it would be good if
the remaining syntax (associated datatypes and type families) would also be
defined and implemented in TH. Or maybe there isn't much demand
Hello,
Recently, we released a library on Hackage for generic rewriting
(package rewriting if you are curious). The user of the library is
expected to define type class instances to enable rewriting on his or
her own datatypes. As these instances follow the datatype declarations
closely, we
