type-ruby / t-ruby / 20479786397

76%

push

github

feat: integrate type checker into compiler for return type validation (#15)

* feat: integrate type checker into compiler for return type validation

Add `type_check` option to Compiler that validates return types
at compile time. When enabled, the compiler infers method return
types using ASTTypeInferrer and compares them against declared
return type annotations. Raises TypeCheckError on mismatch.

Changes:
- Add type_check parameter to Compiler.new
- Integrate ASTTypeInferrer for return type inference
- Validate both top-level functions and class methods
- Support union types, nullable types, and subtype relationships
- Fix TypeCheckError to properly inherit from StandardError

Fixes #14

* feat: enable type checking by default via Config

- Add type_check: true to DEFAULT_CONFIG in Config class
- Add Config#type_check? method to read the setting
- Compiler reads type_check? from config instead of parameter
- Remove redundant type_check parameter from Compiler.new
- CLI and Watcher use config-driven type checking
- Add type_check? mock to tests not testing type validation

* fix: normalize Boolean/bool types and disable type check in e2e

- Normalize Boolean, TrueClass, FalseClass to bool in type comparison
- Disable type checking in E2E integration test (tests compilation, not types)

63 of 69 new or added lines in 4 files covered. (91.3%)

5084 of 6689 relevant lines covered (76.01%)

1165.9 hits per line