Contracts and CLR

[relez]

I read that code contracts will be a general feature of .net framework 4.0 at CLR level, that is language indipendent (e.g C# 4.0 will definitely not have the Spec# syntax). This feature could be managed by Cobra as something different from it's built-in contracts?
Thx.

[Charles]

Yes for .NET 4.0 we could have Cobra's syntax for contracts may to the .NET 4.0 contracts. I haven't look at it in detail yet.