search

Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Test whether we detect errors #94

Open Toxaris opened 10 years ago

Toxaris commented 10 years ago

Our tests focus on detecting well-typedness. We should also test for detecting ill-typedness. Was mentioned in the discussion of #21.

Maybe some variant of the assert statement could be introduced for this.

Toxaris commented 10 years ago

See the examples/neg folder for some examples that should be rejected and could serve as tests if we would support such tests.