Class System current status

[Bulat Ziganshin]

Hello Johannes,

Friday, May 12, 2006, 4:18:29 PM, you wrote:

>     => Partial p i b | p i -> b  where ...       -- (*)

> (*) A funny visual aspect of FDs is the absurd syntax.
> On the left of "|", the whitespace is (type arg) application,
> but on the right, it suddenly denotes sequencing (tupling)

i also don't like this - it's really confusing. "p,i->b" will be
better approach


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com