Skip to content

Conversation

@soutaro
Copy link
Member

@soutaro soutaro commented Sep 24, 2019

This PR adds runtime test feature for RBS signatures, which validates all method calls of given classes and checks if the arguments and return values #is_a? specified types.

We assume you run the runtime test with tests or specs:

$ RUBYOPT=-rruby/signature/test/setup RBS_TEST_TARGET="Kaigi::*" bundle exec rake test

Discussions

  • Generic types? => no test on generic parameters yet!
  • Interface types? => no test yet! (I think using #respond_to? would make some sense.)
  • Parametric polymorphism => no test yet! (We would be able to implement type inference, but not yet.)

@soutaro soutaro merged commit bba1b27 into master Oct 1, 2019
@soutaro soutaro deleted the test branch October 1, 2019 13:06
soutaro pushed a commit that referenced this pull request May 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants