termination for FDs and ATs
ross at soi.city.ac.uk
Mon May 1 20:01:01 EDT 2006
On Sat, Apr 29, 2006 at 07:13:28PM -0400, Manuel M T Chakravarty wrote:
> 1. You are using non-standard instances with contexts containing
> non-variable predicates. (I am not disputing the potential
> merit of these, but we don't know whether they apply to Haskell'
> at this point.)
However they are under consideration for Haskell', so it would be worth
knowing whether they would create future problems for ATs.
More information about the Haskell-prime