rdl 2.0.0.rc2 → 2.0.0.rc3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (92) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGES.md +7 -1
  3. data/README.md +94 -20
  4. data/lib/rdl.rb +4 -1
  5. data/lib/rdl/config.rb +90 -3
  6. data/lib/rdl/info.rb +16 -0
  7. data/lib/rdl/typecheck.rb +207 -79
  8. data/lib/rdl/types/bot.rb +1 -1
  9. data/lib/rdl/types/dependent_arg.rb +17 -8
  10. data/lib/rdl/types/{finitehash.rb → finite_hash.rb} +3 -29
  11. data/lib/rdl/types/generic.rb +1 -37
  12. data/lib/rdl/types/intersection.rb +1 -0
  13. data/lib/rdl/types/lexer.rex +2 -1
  14. data/lib/rdl/types/lexer.rex.rb +4 -1
  15. data/lib/rdl/types/method.rb +2 -12
  16. data/lib/rdl/types/nominal.rb +1 -22
  17. data/lib/rdl/types/non_null.rb +50 -0
  18. data/lib/rdl/types/parser.racc +3 -1
  19. data/lib/rdl/types/parser.tab.rb +222 -190
  20. data/lib/rdl/types/singleton.rb +1 -6
  21. data/lib/rdl/types/structural.rb +1 -10
  22. data/lib/rdl/types/top.rb +1 -2
  23. data/lib/rdl/types/tuple.rb +3 -19
  24. data/lib/rdl/types/type.rb +223 -0
  25. data/lib/rdl/types/union.rb +12 -2
  26. data/lib/rdl/types/var.rb +4 -1
  27. data/lib/rdl/types/wild_query.rb +1 -0
  28. data/lib/rdl/wrap.rb +199 -169
  29. data/lib/rdl_disable.rb +41 -0
  30. data/lib/rdl_types.rb +1 -4
  31. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/_aliases.rb +0 -0
  32. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/abbrev.rb +0 -0
  33. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/array.rb +56 -56
  34. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/base64.rb +0 -0
  35. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/basic_object.rb +0 -0
  36. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/benchmark.rb +0 -0
  37. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/bigdecimal.rb +0 -0
  38. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/bigmath.rb +0 -0
  39. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/bignum.rb +0 -0
  40. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/class.rb +0 -0
  41. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/complex.rb +0 -0
  42. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/coverage.rb +0 -0
  43. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/csv.rb +0 -0
  44. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/date.rb +0 -0
  45. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/dir.rb +0 -0
  46. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/encoding.rb +0 -0
  47. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/enumerable.rb +0 -0
  48. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/enumerator.rb +0 -0
  49. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/exception.rb +0 -0
  50. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/file.rb +0 -0
  51. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/fileutils.rb +0 -0
  52. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/fixnum.rb +0 -0
  53. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/float.rb +26 -26
  54. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/gem.rb +0 -0
  55. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/hash.rb +0 -0
  56. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/integer.rb +8 -8
  57. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/io.rb +0 -0
  58. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/kernel.rb +12 -11
  59. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/marshal.rb +0 -0
  60. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/matchdata.rb +0 -0
  61. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/math.rb +0 -0
  62. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/module.rb +0 -0
  63. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/nil.rb +0 -0
  64. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/numeric.rb +0 -0
  65. data/lib/types/core-ruby-2.x/object.rb +75 -0
  66. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/pathname.rb +0 -0
  67. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/process.rb +0 -0
  68. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/random.rb +0 -0
  69. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/range.rb +0 -0
  70. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/rational.rb +0 -0
  71. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/regexp.rb +0 -0
  72. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/set.rb +0 -0
  73. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/string.rb +0 -0
  74. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/strscan.rb +0 -0
  75. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/symbol.rb +0 -0
  76. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/time.rb +0 -0
  77. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/uri.rb +0 -0
  78. data/{types/ruby-2.x → lib/types/core-ruby-2.x}/yaml.rb +0 -0
  79. data/lib/types/core.rb +4 -0
  80. data/rdl.gemspec +2 -2
  81. data/test/test_le.rb +77 -35
  82. data/test/test_parser.rb +75 -59
  83. data/test/test_rdl.rb +18 -0
  84. data/test/test_typecheck.rb +73 -4
  85. metadata +54 -57
  86. data/lib/rails_types.rb +0 -1
  87. data/types/rails-4.2.1/fixnum.rb +0 -3
  88. data/types/rails-4.2.1/string.rb +0 -3
  89. data/types/rails-tmp/action_dispatch.rb +0 -406
  90. data/types/rails-tmp/active_record.rb +0 -406
  91. data/types/rails-tmp/devise_contracts.rb +0 -216
  92. data/types/ruby-2.x/object.rb +0 -73
data/types/ruby-2.x/object.rb DELETED
@@ -1,73 +0,0 @@
1
- class Object
2
- rdl_nowrap
3
-
4
- # type :ARGF, ARGF
5
- # type :ARGV, 'Array<String>'
6
- # type :DATA, 'File'
7
- # type :ENV, ENV
8
- # type :FALSE, '%false'
9
- # type :NIL, 'nil'
10
- # type :RUBY_COPYRIGHT, 'String'
11
- # type :RUBY_DESCRIPTION, 'String'
12
- # type :RUBY_ENGINE, 'String'
13
- # type :RUBY_PATCHLEVEL, Fixnum
14
- # type :RUBY_PLATFORM, 'String'
15
- # type :RUBY_RELEASE_DATE, 'String'
16
- # type :RUBY_REVISION, Fixnum
17
- # type :RUBY_VERSION, 'String'
18
- # type :STDERR, 'IO'
19
- # type :STDIN, 'IO'
20
- # type :STDOUT, 'IO'
21
- # type :TOPLEVEL_BINDING, 'Binding'
22
- # type :TRUE, '%true'
23
-
24
- type :!~, '(%any other) -> %bool'
25
- type :<=>, '(%any other) -> Fixnum or nil'
26
- type :===, '(%any other) -> %bool'
27
- type :=~, '(%any other) -> nil'
28
- type :class, '() -> Class'
29
- type :clone, '() -> self'
30
- # type :define_singleton_method, '(XXXX : *XXXX)') # TODO
31
- type :display, '(IO port) -> nil'
32
- type :dup, '() -> self an_object'
33
- type :enum_for, '(?Symbol method, *%any args) -> Enumerator<%any>'
34
- type :enum_for, '(?Symbol method, *%any args) { (*%any args) -> %any } -> Enumerator<%any>'
35
- type :eql?, '(%any other) -> %bool'
36
- # type :extend, '(XXXX : *XXXX)') # TODO
37
- type :freeze, '() -> self'
38
- type :frozen?, '() -> %bool'
39
- type :hash, '() -> Fixnum'
40
- type :inspect, '() -> String'
41
- type :instance_of?, '(Class) -> %bool'
42
- type :instance_variable_defined?, '(Symbol or String) -> %bool'
43
- type :instance_variable_get, '(Symbol or String) -> %any'
44
- type :instance_variable_set, '(Symbol or String, %any) -> %any' # returns 2nd argument
45
- type :instance_variables, '() -> Array<Symbol>'
46
- type :is_a?, '(Class or Module) -> %bool'
47
- type :kind_of?, '(Class) -> %bool'
48
- type :method, '(Symbol) -> Method'
49
- type :methods, '(?%bool regular) -> Array<Symbol>'
50
- type :nil?, '() -> %bool'
51
- type :private_methods, '(?%bool all) -> Array<Symbol>'
52
- type :protected_methods, '(?%bool all) -> Array<Symbol>'
53
- type :public_method, '(Symbol) -> Method'
54
- type :public_methods, '(?%bool all) -> Array<Symbol>'
55
- type :public_send, '(Symbol or String, *%any args) -> %any'
56
- type :remove_instance_variable, '(Symbol) -> %any'
57
- # type :respond_to?, '(Symbol or String, ?%bool include_all) -> %bool'
58
- type :send, '(Symbol or String, *%any args) -> %any', wrap: false # Can't wrap this, used outside wrap switch
59
- type :singleton_class, '() -> Class'
60
- type :singleton_method, '(Symbol) -> Method'
61
- type :singleton_methods, '(?%bool all) -> Array<Symbol>'
62
- type :taint, '() -> self'
63
- type :tainted?, '() -> %bool'
64
- # type :tap, '()') # TODO
65
- type :to_enum, '(?Symbol method, *%any args) -> Enumerator<%any>'
66
- type :to_enum, '(?Symbol method, *%any args) {(*%any args) -> %any} -> Enumerator<%any>'
67
- # TODO: above alias for enum_for?
68
- type :to_s, '() -> String'
69
- type :trust, '() -> self'
70
- type :untaint, '() -> self'
71
- type :untrust, '() -> self'
72
- type :untrusted?, '() -> %bool'
73
- end