Angles の RBS を忘れていた。
Ruby の型チェックは、RBS を書いて、steep check という流れだ。
エラーの始め 5つ は仕方ないとして、最後 1つ が解決できなかった。
/4CT_Ruby$ steep check
program/app/reduce.rb:31:10: NoMethodError: type=(::Array[::Array[::Array[::Integer]]] | nil), method=each_with_index (g_confs.data[0..4].each_with_index)
program/app/reduce.rb:31:10: NoMethodError: type=(::Array[::Array[::Array[::Integer]]] | nil), method=each_with_index (g_confs.data[0..4].each_with_index)
program/app/reduce.rb:49:12: NoMethodError: type=singleton(::Strip), method=new (Strip.new g_conf)
program/app/reduce.rb:59:13: NoMethodError: type=singleton(::Angles), method=new (Angles.new g_conf, strip.edgeno)
program/lib/c_read_file.rb:50:6: NoMethodError: type=singleton(::File), method=foreach (File.foreach(format('../4ct_data/d_tactics%02<num>d.txt', num: deg)) do |line|)
program/lib/r_angles.rb:112:10: UnresolvedOverloading: receiver=::Array[(true | false)], method_name=[]=, method_types=(::int, (true | false)) -> (true | false) | (::int, ::int, (true | false)) -> (true | false) | (::int, ::int, ::Array[(true | false)]) -> ::Array[(true | false)] | (::int, ::int, nil) -> nil | (::Range[::Integer], (true | false)) -> (true | false) | (::Range[::Integer], ::Array[(true | false)]) -> ::Array[(true | false)] | (::Range[::Integer], nil) -> nil (neighbour[u] = false)
