typed.rb 0.0.11

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 (173) hide show
  1. checksums.yaml +7 -0
  2. data/Rakefile +26 -0
  3. data/bin/typed.rb +110 -0
  4. data/lib/typed/language.rb +131 -0
  5. data/lib/typed/model/tm_abs.rb +104 -0
  6. data/lib/typed/model/tm_array_literal.rb +25 -0
  7. data/lib/typed/model/tm_boolean.rb +15 -0
  8. data/lib/typed/model/tm_boolean_operator.rb +34 -0
  9. data/lib/typed/model/tm_break.rb +24 -0
  10. data/lib/typed/model/tm_case_when.rb +38 -0
  11. data/lib/typed/model/tm_class.rb +63 -0
  12. data/lib/typed/model/tm_const.rb +29 -0
  13. data/lib/typed/model/tm_defined.rb +19 -0
  14. data/lib/typed/model/tm_error.rb +16 -0
  15. data/lib/typed/model/tm_float.rb +15 -0
  16. data/lib/typed/model/tm_for.rb +42 -0
  17. data/lib/typed/model/tm_fun.rb +165 -0
  18. data/lib/typed/model/tm_global_var.rb +22 -0
  19. data/lib/typed/model/tm_global_var_assignment.rb +20 -0
  20. data/lib/typed/model/tm_hash_literal.rb +32 -0
  21. data/lib/typed/model/tm_if_else.rb +24 -0
  22. data/lib/typed/model/tm_instance_var.rb +23 -0
  23. data/lib/typed/model/tm_instance_var_assignment.rb +32 -0
  24. data/lib/typed/model/tm_int.rb +15 -0
  25. data/lib/typed/model/tm_local_var_asgn.rb +35 -0
  26. data/lib/typed/model/tm_mass_asgn.rb +60 -0
  27. data/lib/typed/model/tm_mlhs.rb +87 -0
  28. data/lib/typed/model/tm_module.rb +51 -0
  29. data/lib/typed/model/tm_next.rb +24 -0
  30. data/lib/typed/model/tm_nil.rb +14 -0
  31. data/lib/typed/model/tm_range_literal.rb +30 -0
  32. data/lib/typed/model/tm_regexp.rb +27 -0
  33. data/lib/typed/model/tm_rescue.rb +27 -0
  34. data/lib/typed/model/tm_return.rb +24 -0
  35. data/lib/typed/model/tm_s_class.rb +30 -0
  36. data/lib/typed/model/tm_self.rb +22 -0
  37. data/lib/typed/model/tm_send.rb +300 -0
  38. data/lib/typed/model/tm_sequencing.rb +53 -0
  39. data/lib/typed/model/tm_string.rb +15 -0
  40. data/lib/typed/model/tm_string_interpolation.rb +21 -0
  41. data/lib/typed/model/tm_super.rb +27 -0
  42. data/lib/typed/model/tm_symbol.rb +15 -0
  43. data/lib/typed/model/tm_symbol_interpolation.rb +21 -0
  44. data/lib/typed/model/tm_try.rb +29 -0
  45. data/lib/typed/model/tm_var.rb +28 -0
  46. data/lib/typed/model/tm_while.rb +43 -0
  47. data/lib/typed/model.rb +48 -0
  48. data/lib/typed/prelude.rb +939 -0
  49. data/lib/typed/prelude_existential_registry.bin +0 -0
  50. data/lib/typed/prelude_generic_registry.bin +0 -0
  51. data/lib/typed/prelude_registry.bin +0 -0
  52. data/lib/typed/runtime/ast_parser.rb +589 -0
  53. data/lib/typed/runtime/method_signature_processor.rb +72 -0
  54. data/lib/typed/runtime/normalization/validations.rb +47 -0
  55. data/lib/typed/runtime/normalization.rb +196 -0
  56. data/lib/typed/runtime/parser_context.rb +36 -0
  57. data/lib/typed/runtime/type_parser.rb +215 -0
  58. data/lib/typed/runtime/type_registry.rb +170 -0
  59. data/lib/typed/runtime/type_signature_processor.rb +34 -0
  60. data/lib/typed/runtime.rb +33 -0
  61. data/lib/typed/type_signature/parser.rb +240 -0
  62. data/lib/typed/types/polymorphism/existential_type_variable.rb +13 -0
  63. data/lib/typed/types/polymorphism/generic_comparisons.rb +134 -0
  64. data/lib/typed/types/polymorphism/generic_variables.rb +24 -0
  65. data/lib/typed/types/polymorphism/type_variable.rb +138 -0
  66. data/lib/typed/types/polymorphism/type_variable_register.rb +298 -0
  67. data/lib/typed/types/polymorphism/unification.rb +579 -0
  68. data/lib/typed/types/ty_boolean.rb +15 -0
  69. data/lib/typed/types/ty_dynamic.rb +39 -0
  70. data/lib/typed/types/ty_either.rb +168 -0
  71. data/lib/typed/types/ty_error.rb +18 -0
  72. data/lib/typed/types/ty_existential_type.rb +22 -0
  73. data/lib/typed/types/ty_function.rb +144 -0
  74. data/lib/typed/types/ty_generic_function.rb +115 -0
  75. data/lib/typed/types/ty_generic_object.rb +180 -0
  76. data/lib/typed/types/ty_generic_singleton_object.rb +238 -0
  77. data/lib/typed/types/ty_object.rb +256 -0
  78. data/lib/typed/types/ty_singleton_object.rb +78 -0
  79. data/lib/typed/types/ty_stack_jump.rb +44 -0
  80. data/lib/typed/types/ty_top_level_object.rb +38 -0
  81. data/lib/typed/types.rb +60 -0
  82. data/lib/typed/typing_context.rb +206 -0
  83. data/lib/typed/version.rb +3 -0
  84. data/lib/typed.rb +161 -0
  85. data/spec/lib/ast_parser_spec.rb +101 -0
  86. data/spec/lib/examples/animals.rb +44 -0
  87. data/spec/lib/examples/counter.rb +16 -0
  88. data/spec/lib/examples/if.rb +31 -0
  89. data/spec/lib/language_spec.rb +36 -0
  90. data/spec/lib/model/tm_abs_spec.rb +66 -0
  91. data/spec/lib/model/tm_array_literal_spec.rb +36 -0
  92. data/spec/lib/model/tm_case_when_spec.rb +39 -0
  93. data/spec/lib/model/tm_class_spec.rb +67 -0
  94. data/spec/lib/model/tm_defined_spec.rb +10 -0
  95. data/spec/lib/model/tm_for_spec.rb +150 -0
  96. data/spec/lib/model/tm_fun_spec.rb +11 -0
  97. data/spec/lib/model/tm_hash_literal_spec.rb +40 -0
  98. data/spec/lib/model/tm_mass_asgn_spec.rb +104 -0
  99. data/spec/lib/model/tm_module_spec.rb +42 -0
  100. data/spec/lib/model/tm_regexp_spec.rb +9 -0
  101. data/spec/lib/model/tm_return_spec.rb +47 -0
  102. data/spec/lib/model/tm_s_class_spec.rb +27 -0
  103. data/spec/lib/model/tm_self_spec.rb +19 -0
  104. data/spec/lib/model/tm_string_interpolation_spec.rb +10 -0
  105. data/spec/lib/model/tm_symbol_interpolation_spec.rb +10 -0
  106. data/spec/lib/model/tm_symbol_spec.rb +9 -0
  107. data/spec/lib/model/tm_while_spec.rb +141 -0
  108. data/spec/lib/polymorphism/type_variable_spec.rb +14 -0
  109. data/spec/lib/polymorphism/unification_spec.rb +328 -0
  110. data/spec/lib/prelude/array_spec.rb +263 -0
  111. data/spec/lib/prelude/class_spec.rb +12 -0
  112. data/spec/lib/prelude/enumerable_spec.rb +278 -0
  113. data/spec/lib/prelude/enumerator_spec.rb +101 -0
  114. data/spec/lib/prelude/hash_spec.rb +361 -0
  115. data/spec/lib/prelude/kernel_spec.rb +23 -0
  116. data/spec/lib/prelude/object_spec.rb +22 -0
  117. data/spec/lib/prelude/pair_spec.rb +16 -0
  118. data/spec/lib/prelude/showable_spec.rb +31 -0
  119. data/spec/lib/prelude/string_spec.rb +98 -0
  120. data/spec/lib/runtime/normalization_spec.rb +29 -0
  121. data/spec/lib/runtime/validations_spec.rb +56 -0
  122. data/spec/lib/runtime_spec.rb +503 -0
  123. data/spec/lib/type_signature/parser_spec.rb +239 -0
  124. data/spec/lib/types/comparisons_spec.rb +35 -0
  125. data/spec/lib/types/polymorphism/generic_comparisons_spec.rb +492 -0
  126. data/spec/lib/types/polymorphism/type_variable_register_spec.rb +128 -0
  127. data/spec/lib/types/ty_dynamic_spec.rb +103 -0
  128. data/spec/lib/types/ty_either_spec.rb +288 -0
  129. data/spec/lib/types/ty_error_spec.rb +18 -0
  130. data/spec/lib/types/ty_generic_object_spec.rb +78 -0
  131. data/spec/lib/types/ty_generic_singleton_object_spec.rb +288 -0
  132. data/spec/lib/types/typing_context_spec.rb +86 -0
  133. data/spec/lib/types_spec.rb +174 -0
  134. data/spec/lib/typing/boolean_asgn_spec.rb +134 -0
  135. data/spec/lib/typing/break_spec.rb +79 -0
  136. data/spec/lib/typing/generics_spec.rb +191 -0
  137. data/spec/lib/typing/instance_vars_spec.rb +103 -0
  138. data/spec/lib/typing/next_spec.rb +29 -0
  139. data/spec/lib/typing/op_asgn_spec.rb +104 -0
  140. data/spec/lib/typing/overriden_methods_spec.rb +31 -0
  141. data/spec/lib/typing/subtyping_spec.rb +112 -0
  142. data/spec/lib/typing/tm_boolean_operator_spec.rb +100 -0
  143. data/spec/lib/typing/tm_boolean_spec.rb +61 -0
  144. data/spec/lib/typing/tm_const_spec.rb +28 -0
  145. data/spec/lib/typing/tm_defined_spec.rb +12 -0
  146. data/spec/lib/typing/tm_fun_spec.rb +347 -0
  147. data/spec/lib/typing/tm_global_var_spec.rb +33 -0
  148. data/spec/lib/typing/tm_if_else_spec.rb +104 -0
  149. data/spec/lib/typing/tm_ignore_spec.rb +24 -0
  150. data/spec/lib/typing/tm_instance_vars_spec.rb +117 -0
  151. data/spec/lib/typing/tm_local_var_asgn_spec.rb +134 -0
  152. data/spec/lib/typing/tm_mlhs_spec.rb +164 -0
  153. data/spec/lib/typing/tm_module_spec.rb +89 -0
  154. data/spec/lib/typing/tm_raise_spec.rb +31 -0
  155. data/spec/lib/typing/tm_range_literal_spec.rb +25 -0
  156. data/spec/lib/typing/tm_regexp_spec.rb +14 -0
  157. data/spec/lib/typing/tm_return_spec.rb +45 -0
  158. data/spec/lib/typing/tm_send_casting_spec.rb +26 -0
  159. data/spec/lib/typing/tm_send_class_methods_spec.rb +42 -0
  160. data/spec/lib/typing/tm_send_generic_apply_spec.rb +103 -0
  161. data/spec/lib/typing/tm_send_generic_methods_spec.rb +77 -0
  162. data/spec/lib/typing/tm_send_initialize_spec.rb +68 -0
  163. data/spec/lib/typing/tm_send_lambda_spec.rb +135 -0
  164. data/spec/lib/typing/tm_send_spec.rb +217 -0
  165. data/spec/lib/typing/tm_send_yield_block_spec.rb +308 -0
  166. data/spec/lib/typing/tm_sequencing_spec.rb +174 -0
  167. data/spec/lib/typing/tm_string_interpolation_spec.rb +19 -0
  168. data/spec/lib/typing/tm_super_spec.rb +63 -0
  169. data/spec/lib/typing/tm_symbol_interpolation_spec.rb +19 -0
  170. data/spec/lib/typing/tm_symbol_spec.rb +14 -0
  171. data/spec/lib/typing/tm_try_spec.rb +73 -0
  172. data/spec/spec_helper.rb +140 -0
  173. metadata +216 -0
@@ -0,0 +1,140 @@
1
+ require 'pry'
2
+ require 'simplecov'
3
+ require 'rspec-prof'
4
+
5
+ SimpleCov.start do
6
+ add_filter "/spec/"
7
+ end
8
+
9
+ RSpecProf.printer_class = RubyProf::GraphHtmlPrinter
10
+ # The printer to be used when writing profiles
11
+
12
+ RSpecProf::FilenameHelpers.file_extension = "html"
13
+ # The file extension for profiles written to disk
14
+
15
+ RSpecProf::FilenameHelpers.output_dir = "profiles"
16
+ # The destination directory into which profiles are written
17
+
18
+ # This file was generated by the `rspec --init` command. Conventionally, all
19
+ # specs live under a `spec` directory, which RSpec adds to the `$LOAD_PATH`.
20
+ # The generated `.rspec` file contains `--require spec_helper` which will cause
21
+ # this file to always be loaded, without a need to explicitly require it in any
22
+ # files.
23
+ #
24
+ # Given that it is always loaded, you are encouraged to keep this file as
25
+ # light-weight as possible. Requiring heavyweight dependencies from this file
26
+ # will add to the boot time of your test suite on EVERY test run, even for an
27
+ # individual file that may not need all of that loaded. Instead, consider making
28
+ # a separate helper file that requires the additional dependencies and performs
29
+ # the additional setup, and require it from the spec files that actually need
30
+ # it.
31
+ #
32
+ # The `.rspec` file also contains a few flags that are not defaults but that
33
+ # users commonly want.
34
+ #
35
+ # See http://rubydoc.info/gems/rspec-core/RSpec/Core/Configuration
36
+ RSpec.configure do |config|
37
+ # rspec-expectations config goes here. You can use an alternate
38
+ # assertion/expectation library such as wrong or the stdlib/minitest
39
+ # assertions if you prefer.
40
+ config.expect_with :rspec do |expectations|
41
+ # This option will default to `true` in RSpec 4. It makes the `description`
42
+ # and `failure_message` of custom matchers include text for helper methods
43
+ # defined using `chain`, e.g.:
44
+ # be_bigger_than(2).and_smaller_than(4).description
45
+ # # => "be bigger than 2 and smaller than 4"
46
+ # ...rather than:
47
+ # # => "be bigger than 2"
48
+ expectations.include_chain_clauses_in_custom_matcher_descriptions = true
49
+ end
50
+
51
+ # rspec-mocks config goes here. You can use an alternate test double
52
+ # library (such as bogus or mocha) by changing the `mock_with` option here.
53
+ config.mock_with :rspec do |mocks|
54
+ # Prevents you from mocking or stubbing a method that does not exist on
55
+ # a real object. This is generally recommended, and will default to
56
+ # `true` in RSpec 4.
57
+ mocks.verify_partial_doubles = true
58
+ end
59
+
60
+ # The settings below are suggested to provide a good initial experience
61
+ # with RSpec, but feel free to customize to your heart's content.
62
+ end
63
+
64
+ # Clear cached prelude data
65
+ File.unlink(File.join(File.dirname(__FILE__), "..", "lib", "typed", "prelude_existential_registry.bin")) rescue nil
66
+ File.unlink(File.join(File.dirname(__FILE__), "..", "lib", "typed", "prelude_generic_registry.bin")) rescue nil
67
+ File.unlink(File.join(File.dirname(__FILE__), "..", "lib", "typed", "prelude_registry.bin")) rescue nil
68
+
69
+ # Load all files
70
+ require_relative '../lib/typed'
71
+
72
+ def tyobject(klass)
73
+ TypedRb::Types::TyObject.new(klass)
74
+ end
75
+
76
+ def tyinteger
77
+ TypedRb::Types::TyObject.new(Integer)
78
+ end
79
+
80
+ def tystring
81
+ TypedRb::Types::TyObject.new(String)
82
+ end
83
+
84
+ def tyunit
85
+ TypedRb::Types::TyUnit.new
86
+ end
87
+
88
+ def tysymbol
89
+ TypedRb::Types::TySymbol.new
90
+ end
91
+
92
+ def tyboolean
93
+ TypedRb::Types::TyBoolean.new
94
+ end
95
+
96
+ def tyregexp
97
+ TypedRb::Types::TyRegexp.new
98
+ end
99
+
100
+ def tydynamic
101
+ TypedRb::Types::TyDynamic.new(Object)
102
+ end
103
+
104
+ def tyvariable(name)
105
+ TypedRb::Types::Polymorphism::TypeVariable.new(name, :gen_name => false)
106
+ end
107
+
108
+ def eval_with_ts(code)
109
+ ::BasicObject::TypeRegistry.clear
110
+ $TYPECHECK = true
111
+ eval(code)
112
+ ::BasicObject::TypeRegistry.normalize_types!
113
+ end
114
+
115
+ def find_instance_variable_for(klass, variable, language)
116
+ language.type_variables.detect{ |v| v.to_s =~ /#{klass}:#{variable}/ }
117
+ end
118
+
119
+ def expect_binding(language, klass, variable, type)
120
+ var = find_instance_variable_for(klass, variable, language)
121
+ expect(var.bound).to_not be_nil
122
+ expect(var.bound.ruby_type).to be(type)
123
+ end
124
+
125
+ def top_level_typing_context
126
+ TypedRb::Types::TypingContext.top_level
127
+ end
128
+
129
+ def parse(expr)
130
+ TypedRb::Model::GenSym.reset
131
+ TypedRb::AstParser.new.parse(expr)
132
+ end
133
+
134
+ class TypedRb::Types::TypingContext
135
+ class << self
136
+ def type_variables_register=(other)
137
+ @type_variables_register = other
138
+ end
139
+ end
140
+ end
metadata ADDED
@@ -0,0 +1,216 @@
1
+ --- !ruby/object:Gem::Specification
2
+ name: typed.rb
3
+ version: !ruby/object:Gem::Version
4
+ version: 0.0.11
5
+ platform: ruby
6
+ authors:
7
+ - Antonio Garrote
8
+ autorequire:
9
+ bindir: bin
10
+ cert_chain: []
11
+ date: 2016-01-17 00:00:00.000000000 Z
12
+ dependencies: []
13
+ description:
14
+ email: antoniogarrote@gmail.com
15
+ executables:
16
+ - typed.rb
17
+ extensions: []
18
+ extra_rdoc_files: []
19
+ files:
20
+ - Rakefile
21
+ - bin/typed.rb
22
+ - lib/typed.rb
23
+ - lib/typed/language.rb
24
+ - lib/typed/model.rb
25
+ - lib/typed/model/tm_abs.rb
26
+ - lib/typed/model/tm_array_literal.rb
27
+ - lib/typed/model/tm_boolean.rb
28
+ - lib/typed/model/tm_boolean_operator.rb
29
+ - lib/typed/model/tm_break.rb
30
+ - lib/typed/model/tm_case_when.rb
31
+ - lib/typed/model/tm_class.rb
32
+ - lib/typed/model/tm_const.rb
33
+ - lib/typed/model/tm_defined.rb
34
+ - lib/typed/model/tm_error.rb
35
+ - lib/typed/model/tm_float.rb
36
+ - lib/typed/model/tm_for.rb
37
+ - lib/typed/model/tm_fun.rb
38
+ - lib/typed/model/tm_global_var.rb
39
+ - lib/typed/model/tm_global_var_assignment.rb
40
+ - lib/typed/model/tm_hash_literal.rb
41
+ - lib/typed/model/tm_if_else.rb
42
+ - lib/typed/model/tm_instance_var.rb
43
+ - lib/typed/model/tm_instance_var_assignment.rb
44
+ - lib/typed/model/tm_int.rb
45
+ - lib/typed/model/tm_local_var_asgn.rb
46
+ - lib/typed/model/tm_mass_asgn.rb
47
+ - lib/typed/model/tm_mlhs.rb
48
+ - lib/typed/model/tm_module.rb
49
+ - lib/typed/model/tm_next.rb
50
+ - lib/typed/model/tm_nil.rb
51
+ - lib/typed/model/tm_range_literal.rb
52
+ - lib/typed/model/tm_regexp.rb
53
+ - lib/typed/model/tm_rescue.rb
54
+ - lib/typed/model/tm_return.rb
55
+ - lib/typed/model/tm_s_class.rb
56
+ - lib/typed/model/tm_self.rb
57
+ - lib/typed/model/tm_send.rb
58
+ - lib/typed/model/tm_sequencing.rb
59
+ - lib/typed/model/tm_string.rb
60
+ - lib/typed/model/tm_string_interpolation.rb
61
+ - lib/typed/model/tm_super.rb
62
+ - lib/typed/model/tm_symbol.rb
63
+ - lib/typed/model/tm_symbol_interpolation.rb
64
+ - lib/typed/model/tm_try.rb
65
+ - lib/typed/model/tm_var.rb
66
+ - lib/typed/model/tm_while.rb
67
+ - lib/typed/prelude.rb
68
+ - lib/typed/prelude_existential_registry.bin
69
+ - lib/typed/prelude_generic_registry.bin
70
+ - lib/typed/prelude_registry.bin
71
+ - lib/typed/runtime.rb
72
+ - lib/typed/runtime/ast_parser.rb
73
+ - lib/typed/runtime/method_signature_processor.rb
74
+ - lib/typed/runtime/normalization.rb
75
+ - lib/typed/runtime/normalization/validations.rb
76
+ - lib/typed/runtime/parser_context.rb
77
+ - lib/typed/runtime/type_parser.rb
78
+ - lib/typed/runtime/type_registry.rb
79
+ - lib/typed/runtime/type_signature_processor.rb
80
+ - lib/typed/type_signature/parser.rb
81
+ - lib/typed/types.rb
82
+ - lib/typed/types/polymorphism/existential_type_variable.rb
83
+ - lib/typed/types/polymorphism/generic_comparisons.rb
84
+ - lib/typed/types/polymorphism/generic_variables.rb
85
+ - lib/typed/types/polymorphism/type_variable.rb
86
+ - lib/typed/types/polymorphism/type_variable_register.rb
87
+ - lib/typed/types/polymorphism/unification.rb
88
+ - lib/typed/types/ty_boolean.rb
89
+ - lib/typed/types/ty_dynamic.rb
90
+ - lib/typed/types/ty_either.rb
91
+ - lib/typed/types/ty_error.rb
92
+ - lib/typed/types/ty_existential_type.rb
93
+ - lib/typed/types/ty_function.rb
94
+ - lib/typed/types/ty_generic_function.rb
95
+ - lib/typed/types/ty_generic_object.rb
96
+ - lib/typed/types/ty_generic_singleton_object.rb
97
+ - lib/typed/types/ty_object.rb
98
+ - lib/typed/types/ty_singleton_object.rb
99
+ - lib/typed/types/ty_stack_jump.rb
100
+ - lib/typed/types/ty_top_level_object.rb
101
+ - lib/typed/typing_context.rb
102
+ - lib/typed/version.rb
103
+ - spec/lib/ast_parser_spec.rb
104
+ - spec/lib/examples/animals.rb
105
+ - spec/lib/examples/counter.rb
106
+ - spec/lib/examples/if.rb
107
+ - spec/lib/language_spec.rb
108
+ - spec/lib/model/tm_abs_spec.rb
109
+ - spec/lib/model/tm_array_literal_spec.rb
110
+ - spec/lib/model/tm_case_when_spec.rb
111
+ - spec/lib/model/tm_class_spec.rb
112
+ - spec/lib/model/tm_defined_spec.rb
113
+ - spec/lib/model/tm_for_spec.rb
114
+ - spec/lib/model/tm_fun_spec.rb
115
+ - spec/lib/model/tm_hash_literal_spec.rb
116
+ - spec/lib/model/tm_mass_asgn_spec.rb
117
+ - spec/lib/model/tm_module_spec.rb
118
+ - spec/lib/model/tm_regexp_spec.rb
119
+ - spec/lib/model/tm_return_spec.rb
120
+ - spec/lib/model/tm_s_class_spec.rb
121
+ - spec/lib/model/tm_self_spec.rb
122
+ - spec/lib/model/tm_string_interpolation_spec.rb
123
+ - spec/lib/model/tm_symbol_interpolation_spec.rb
124
+ - spec/lib/model/tm_symbol_spec.rb
125
+ - spec/lib/model/tm_while_spec.rb
126
+ - spec/lib/polymorphism/type_variable_spec.rb
127
+ - spec/lib/polymorphism/unification_spec.rb
128
+ - spec/lib/prelude/array_spec.rb
129
+ - spec/lib/prelude/class_spec.rb
130
+ - spec/lib/prelude/enumerable_spec.rb
131
+ - spec/lib/prelude/enumerator_spec.rb
132
+ - spec/lib/prelude/hash_spec.rb
133
+ - spec/lib/prelude/kernel_spec.rb
134
+ - spec/lib/prelude/object_spec.rb
135
+ - spec/lib/prelude/pair_spec.rb
136
+ - spec/lib/prelude/showable_spec.rb
137
+ - spec/lib/prelude/string_spec.rb
138
+ - spec/lib/runtime/normalization_spec.rb
139
+ - spec/lib/runtime/validations_spec.rb
140
+ - spec/lib/runtime_spec.rb
141
+ - spec/lib/type_signature/parser_spec.rb
142
+ - spec/lib/types/comparisons_spec.rb
143
+ - spec/lib/types/polymorphism/generic_comparisons_spec.rb
144
+ - spec/lib/types/polymorphism/type_variable_register_spec.rb
145
+ - spec/lib/types/ty_dynamic_spec.rb
146
+ - spec/lib/types/ty_either_spec.rb
147
+ - spec/lib/types/ty_error_spec.rb
148
+ - spec/lib/types/ty_generic_object_spec.rb
149
+ - spec/lib/types/ty_generic_singleton_object_spec.rb
150
+ - spec/lib/types/typing_context_spec.rb
151
+ - spec/lib/types_spec.rb
152
+ - spec/lib/typing/boolean_asgn_spec.rb
153
+ - spec/lib/typing/break_spec.rb
154
+ - spec/lib/typing/generics_spec.rb
155
+ - spec/lib/typing/instance_vars_spec.rb
156
+ - spec/lib/typing/next_spec.rb
157
+ - spec/lib/typing/op_asgn_spec.rb
158
+ - spec/lib/typing/overriden_methods_spec.rb
159
+ - spec/lib/typing/subtyping_spec.rb
160
+ - spec/lib/typing/tm_boolean_operator_spec.rb
161
+ - spec/lib/typing/tm_boolean_spec.rb
162
+ - spec/lib/typing/tm_const_spec.rb
163
+ - spec/lib/typing/tm_defined_spec.rb
164
+ - spec/lib/typing/tm_fun_spec.rb
165
+ - spec/lib/typing/tm_global_var_spec.rb
166
+ - spec/lib/typing/tm_if_else_spec.rb
167
+ - spec/lib/typing/tm_ignore_spec.rb
168
+ - spec/lib/typing/tm_instance_vars_spec.rb
169
+ - spec/lib/typing/tm_local_var_asgn_spec.rb
170
+ - spec/lib/typing/tm_mlhs_spec.rb
171
+ - spec/lib/typing/tm_module_spec.rb
172
+ - spec/lib/typing/tm_raise_spec.rb
173
+ - spec/lib/typing/tm_range_literal_spec.rb
174
+ - spec/lib/typing/tm_regexp_spec.rb
175
+ - spec/lib/typing/tm_return_spec.rb
176
+ - spec/lib/typing/tm_send_casting_spec.rb
177
+ - spec/lib/typing/tm_send_class_methods_spec.rb
178
+ - spec/lib/typing/tm_send_generic_apply_spec.rb
179
+ - spec/lib/typing/tm_send_generic_methods_spec.rb
180
+ - spec/lib/typing/tm_send_initialize_spec.rb
181
+ - spec/lib/typing/tm_send_lambda_spec.rb
182
+ - spec/lib/typing/tm_send_spec.rb
183
+ - spec/lib/typing/tm_send_yield_block_spec.rb
184
+ - spec/lib/typing/tm_sequencing_spec.rb
185
+ - spec/lib/typing/tm_string_interpolation_spec.rb
186
+ - spec/lib/typing/tm_super_spec.rb
187
+ - spec/lib/typing/tm_symbol_interpolation_spec.rb
188
+ - spec/lib/typing/tm_symbol_spec.rb
189
+ - spec/lib/typing/tm_try_spec.rb
190
+ - spec/spec_helper.rb
191
+ homepage: https://github.com/antoniogarrote/typed.rb
192
+ licenses:
193
+ - MIT
194
+ metadata: {}
195
+ post_install_message:
196
+ rdoc_options: []
197
+ require_paths:
198
+ - lib
199
+ required_ruby_version: !ruby/object:Gem::Requirement
200
+ requirements:
201
+ - - ">="
202
+ - !ruby/object:Gem::Version
203
+ version: '0'
204
+ required_rubygems_version: !ruby/object:Gem::Requirement
205
+ requirements:
206
+ - - ">="
207
+ - !ruby/object:Gem::Version
208
+ version: '0'
209
+ requirements: []
210
+ rubyforge_project:
211
+ rubygems_version: 2.4.6
212
+ signing_key:
213
+ specification_version: 4
214
+ summary: Gradual type checker for Ruby
215
+ test_files: []
216
+ has_rdoc: