test: cover standalone YESNO field checks

This commit is contained in:
Hermes Agent
2026-09-08 07:08:15 +00:00
parent d413b2bf82
commit e91d4dc3f2
4 changed files with 15 additions and 1 deletions
@@ -28,6 +28,12 @@ class ValidateTypecheckDiagnosticsTests(unittest.TestCase):
MODULE.EXPECTED_OK,
)
def test_includes_dedicated_yesno_field_check_success_fixture(self):
self.assertIn(
"tests/typecheck_object_field_check_type_yesno_good.claro",
MODULE.EXPECTED_OK,
)
if __name__ == "__main__":
unittest.main()
@@ -0,0 +1,7 @@
CLASS Player
HAS ready YESNO
END
NEW Player player
SET player.ready YES
CHECK TYPE player.ready IS YESNO