You might want to check the Sigplan notices from January (I think). There is
a refutation of LIA by Wm Kahan. I believe I heard that the new standard has
been withdrawn.
===
Steve (really "D. E.") Stevenson [EMA
> On Thu, 03 Dec 92 08:13:17 +, Simon L Peyton Jones <[EMAIL PROTECTED]>
>said:
Simon> Why do you need to drop the (..) when it turns into a "data" decl?
Simon> You only need do so if you want it to be abstract!
Simon> But "type" decls can't be abstract; the (..) reminds you of this.
I d
Why do you need to drop the (..) when it turns into a "data" decl?
You only need do so if you want it to be abstract!
But "type" decls can't be abstract; the (..) reminds you of this.
Some of us have been musing on how to provide an abstract version of
"type" too, but that didn't get into the la
