Do you plant to utilize the new CodeContracts library?

[onodera]

Hello Chuck.

Have you taken a look at the CodeContracts namespace in .NET 4.0 yet? If you have, any plans to reimplement DbC in Cobra using it?

[Charles]

I've glanced at it. In the long run, yes we'll have an option to use what MS is providing instead of Cobra's built-in facilities. In the short run, it's not a high priority.

I've added a ticket: http://cobra-language.com/trac/cobra/ticket/99