Brian Anderson 2fc58fc6a0 Revert "Use check instead of assert in export-unexported-dep" ...

This reverts commit 480eda0f10fabd6e76a30c91df1d84740d6f81cc. The commit
adding the assert keyword has been restored.

2011-05-02 20:56:46 -04:00

..

bench

…

compile-fail

Add a test that imports can't circumvent exports

2011-05-01 17:22:20 -04:00

run-fail

Un-revert "Use different syntax for checks that matter to typestate", fixing the problem.

2011-05-02 17:50:46 -07:00

run-pass

Revert "Use check instead of assert in export-unexported-dep"

2011-05-02 20:56:46 -04:00