Set up rbs_collection.yaml and add a TypeProf-generated prototype rbs

[mame]

No description provided.

[yui-knk]

Just curiosity, how did you generated these files?

[yui-knk]

I suspect these methods comes from Lrama::Rule, which is a struct,

lrama/lib/lrama/grammar.rb

Line 7 in 4a58968

def to_s

Is this intentional?

[yui-knk]

This is known issue ruby/typeprof#84

[yui-knk]

May the type be bool?

[mame]

Just curiosity, how did you generated these files?

I did:

$ typeprof lib/lrama/*

[Little-Rubyist]

https://cookpad.connpass.com/event/282436/
で話していた内容です．（sorry I'll write Japanese...）

• PRマージ前にSteepfileの check lib/lrama/bitmap.rb を check lib/lrama にしてほしいです．その上で steep check が通るようにしてください．

  • lrama/Steepfile

    Line 6 in 718cbb3

    check "lib/lrama/bitmap.rb"

• 今回のgenerated-rbsを導入後，手作業で型を sig/lrama/ 以下に追加していく場合は rbs subtract sig/lrama/typeprof-generated.rbs sig/lrama/#{added_rbs_file.rbs} などで除去をしてもらえると嬉しいです．
  • 要は sig/lrama/*.rbsを追加された定義はgeneratedからどういう形にせよ消えてほしいです．
  • 参考：rbs subtract のドキュメントはPR内にあるhackmdを読むと良いです．

[yui-knk]

PR & コメントありがとうございます。その後のmameさんcommitを踏まえたうえでの感想ですが

• raise を書いてまわるのはちょっと入れるのに厳しいかなという気がします
  • 気合で全部レビューするのは不可能ではないけど厳しい
  • できればraiseしなくていい方法がほしい
• 今後個別メソッドにrbsを付与するときにコード側の修正を同時にいれるのは大丈夫です、メソッド単位であればそこまでレビューも大変じゃないはず(もちろん変更量によりますが)
• rbs_collection.yaml を入れるのは必要なので別のPRをつくっていただいてやるのがいいとおもいます
• sig/lrama/typeprof-generated.rbs についてはsteep checkの対象には含めないほうがいいと思います。ドキュメントとして、もしくは未定義の型の一覧としてtypeprof-generatedを置いておく のはよいと思います。そのうえで sig/lrama/ に今後ファイルrbs定義がふえたときに typeprof-generated.rbs から消し忘れないような仕組みをCIとしていれられるとbestだと思います