Hi,
Am Dienstag, den 20.08.2013, 07:43 + schrieb Simon Peyton-Jones:
> | Questions:
> | * Will this annotation have other, possibly unwanted effects?
>
> The role annotation will have exactly the *right* effect;
great.
> | * Should we also simplify constraints like (NT Age a) to (NT Int a
evs
| Subject: Re: Advice about TcDeriv
|
| Good morning,
|
| Am Dienstag, den 20.08.2013, 07:24 + schrieb Simon Peyton-Jones:
| > The more I think about this, the more I wonder if we shouldn't treat
| > NT in a similar way that we treat (~); that is, with built-in rules.
| > The
Good morning,
Am Dienstag, den 20.08.2013, 07:24 + schrieb Simon Peyton-Jones:
> The more I think about this, the more I wonder if we shouldn't treat
> NT in a similar way that we treat (~); that is, with built-in rules.
> The point is, we use
>(a) roles, and
>(b) visibility of the d
The more I think about this, the more I wonder if we shouldn't treat NT in a
similar way that we treat (~); that is, with built-in rules. The point is, we
use
(a) roles, and
(b) visibility of the data constructor
to control abstraction via existence/visibility of the instance. We don't
