termination for FDs and ATs

Ross Paterson 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 mailing list