So it looks like we're stuck at pretty much the same proposals for the
class system.
a) standardize on MPTC and FDs using rules from CHR paper.
b) don't standardize anything, and wait for ATs to take over
c) punt---standardize the library and exact form of FD for that library,
but no more, or
On 5/11/06, Stephanie Weirich [EMAIL PROTECTED] wrote:
a) standardize on MPTC and FDs using rules from CHR paper.
- We're already in that state. There *is* a lot of Haskell code that
uses FDs, it's just not Haskell 98 code. Whenever ATs take over, we'll
still have to deal with this code.