steep 0.47.0 → 0.49.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (57) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +23 -0
  3. data/Gemfile +1 -1
  4. data/Gemfile.lock +14 -16
  5. data/lib/steep/ast/types/any.rb +2 -0
  6. data/lib/steep/ast/types/boolean.rb +2 -0
  7. data/lib/steep/ast/types/bot.rb +2 -0
  8. data/lib/steep/ast/types/class.rb +2 -0
  9. data/lib/steep/ast/types/factory.rb +162 -138
  10. data/lib/steep/ast/types/helper.rb +8 -0
  11. data/lib/steep/ast/types/instance.rb +2 -0
  12. data/lib/steep/ast/types/intersection.rb +4 -0
  13. data/lib/steep/ast/types/literal.rb +2 -0
  14. data/lib/steep/ast/types/logic.rb +2 -0
  15. data/lib/steep/ast/types/name.rb +6 -0
  16. data/lib/steep/ast/types/nil.rb +2 -0
  17. data/lib/steep/ast/types/proc.rb +9 -0
  18. data/lib/steep/ast/types/record.rb +4 -0
  19. data/lib/steep/ast/types/self.rb +2 -0
  20. data/lib/steep/ast/types/top.rb +2 -0
  21. data/lib/steep/ast/types/tuple.rb +4 -0
  22. data/lib/steep/ast/types/union.rb +4 -0
  23. data/lib/steep/ast/types/var.rb +16 -3
  24. data/lib/steep/ast/types/void.rb +2 -0
  25. data/lib/steep/diagnostic/ruby.rb +23 -11
  26. data/lib/steep/diagnostic/signature.rb +56 -0
  27. data/lib/steep/interface/function.rb +4 -0
  28. data/lib/steep/interface/method_type.rb +14 -26
  29. data/lib/steep/interface/type_param.rb +103 -0
  30. data/lib/steep/server/base_worker.rb +1 -0
  31. data/lib/steep/server/interaction_worker.rb +1 -1
  32. data/lib/steep/server/type_check_worker.rb +2 -2
  33. data/lib/steep/services/signature_service.rb +2 -2
  34. data/lib/steep/services/type_check_service.rb +2 -1
  35. data/lib/steep/signature/validator.rb +221 -49
  36. data/lib/steep/subtyping/cache.rb +30 -0
  37. data/lib/steep/subtyping/check.rb +600 -705
  38. data/lib/steep/subtyping/constraints.rb +66 -30
  39. data/lib/steep/subtyping/relation.rb +60 -0
  40. data/lib/steep/subtyping/result.rb +190 -16
  41. data/lib/steep/type_construction.rb +543 -395
  42. data/lib/steep/type_inference/block_params.rb +31 -3
  43. data/lib/steep/type_inference/context.rb +37 -3
  44. data/lib/steep/version.rb +1 -1
  45. data/lib/steep.rb +4 -4
  46. data/sample/lib/length.rb +35 -0
  47. data/sample/sig/length.rbs +34 -0
  48. data/smoke/diagnostics-rbs/nonregular-type-alias.rbs +3 -0
  49. data/smoke/diagnostics-rbs/recursive-type-alias.rbs +3 -0
  50. data/smoke/diagnostics-rbs/test_expectations.yml +57 -12
  51. data/smoke/tsort/a.rb +1 -1
  52. data/smoke/tsort/test_expectations.yml +1 -63
  53. data/steep.gemspec +1 -1
  54. metadata +13 -10
  55. data/lib/steep/drivers/trace_printer.rb +0 -29
  56. data/lib/steep/interface/method.rb +0 -78
  57. data/lib/steep/subtyping/trace.rb +0 -71
data/lib/steep/subtyping/trace.rb DELETED
@@ -1,71 +0,0 @@
1
- module Steep
2
- module Subtyping
3
- class Trace
4
- attr_reader :array
5
-
6
- def initialize(array: [])
7
- @array = array
8
- end
9
-
10
- def interface(sub, sup, &block)
11
- push :interface, sub, sup, &block
12
- end
13
-
14
- def method(name, sub, sup, &block)
15
- push :method, sub, sup, name, &block
16
- end
17
-
18
- def method_type(name, sub, sup, &block)
19
- push :method_type, sub, sup, name, &block
20
- end
21
-
22
- def type(sub, sup, &block)
23
- push :type, sub, sup, &block
24
- end
25
-
26
- def push(*xs)
27
- array << xs
28
- yield
29
- ensure
30
- array.pop
31
- end
32
-
33
- def add(sup, sub)
34
- array << [sup, sub]
35
- yield
36
- ensure
37
- array.pop
38
- end
39
-
40
- def empty?
41
- array.empty?
42
- end
43
-
44
- def drop(n)
45
- self.class.new(array: array.drop(n))
46
- end
47
-
48
- def size
49
- array.size
50
- end
51
-
52
- def +(other)
53
- self.class.new(array: array + other.array)
54
- end
55
-
56
- def initialize_copy(source)
57
- @array = source.array.dup
58
- end
59
-
60
- def each
61
- if block_given?
62
- array.each do |pair|
63
- yield(*pair)
64
- end
65
- else
66
- enum_for :each
67
- end
68
- end
69
- end
70
- end
71
- end