On Thu, 2008-03-13 at 14:21 -0400, Swaroop Sridhar wrote: > When we eventually get to introducing the immutable construct, I think > it is better to introduce it in the form of a constraint > > ex: (forall (Immutable 'a) 'a) > > rather than as a constructor (immutable 'a).
I think I agree, though I think that this is syntactically pretty awkward. I definitely agree that this is what I had in mind semantically. shap _______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
