9 Feb
2011
9 Feb
'11
3:34 p.m.
On Wed, Feb 9, 2011 at 20:14, Alexey Khudyakov
...
instance PRead (WRead ::: b) instance PRead b => PRead (a ::: b)
instance PWrite (WWrite ::: b) instance PWrite b => PWrite (a ::: b)
Brilliant! I was thinking to something like this but as a replacement of the accumulation mechanism in the Monad. I didn't think of it in the permission checking part. Thanks a lot. Now I need to consolidate better my code for incorporating yours and other people contributions. Bye, -- Cristiano GPG Key: 4096R/C17E53C6 2010-02-22 Fingerprint = 4575 4FB5 DC8E 7641 D3D8 8EBE DF59 B4E9 C17E 53C6