`$TestsOnly$` sources shouldn't be able to define non-`$TestsOnly$` categories.

ta0kira / zeolite

Zeolite is a statically-typed, general-purpose programming language.

Apache License 2.0

18 stars 0 forks source link

`$TestsOnly$` sources shouldn't be able to define non-`$TestsOnly$` categories. #91

Closed ta0kira closed 4 years ago

ta0kira commented 4 years ago

Currently, you can define in a $TestsOnly$ .0rx a category that was declared in a non- $TestsOnly$ .0rp. This means that a category visible outside of tests can be implemented to use $TestsOnly$ logic.