- Improved support for modules (still incomplete)
- Fix a bug with typing self.new
- Fix bug with annotated return types
- Fix bug with rdl_query
- Fix bug with running under Rails where type files don't exist (Joel Holdbrooks)
- Static type checking!
wrap: falseoptional argument totype,pre, andpost- Non-null type annotation (not checked)
- Default argument configuration for
type,pre, andpost attr_*_typemethods- Initial types for Rails
- Modified
selftype to be any instance of the self's class - Library types now use new aliases %integer and %numeric instead of the Integer and Numeric classes
- Instead of requiring
rdl_types.rb, requiretypes/core
- Fix issue #14 - allow type/pre/post to coexist, improve docs on dependent types
- Fix typos in README, pull req #13
- Fix bug where calling method overloaded sometimes with block and sometimes without would always report type error
- Update code to eliminate Ruby 2.3 warning messages
- Fixed errors in post conditions of numeric types (incorrect number of args)
- Added syntax highlighting in README.md as pointed out by jsyeo
- Comprehensive changes to types of Numeric subclass methods to make types more specific & accurate
- Changed superclasses of numeric classes to be
Numeric
- Higher-order types and tests for them
- Dependent types
/extrasdirectory, which contains random type tests for numeric subclass method typesBigDecimaladded to alias%real- Changelog added!
- Added much enhanced
rdl_queryfacility and accompanying command-line script.
- First release!