Cobra Forums

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?

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