typed.rb 0.0.11

data/spec/spec_helper.rb

@@ -0,0 +1,140 @@
+require 'pry'
+require 'simplecov'
+require 'rspec-prof'
+
+SimpleCov.start do
+  add_filter "/spec/"
+end
+
+RSpecProf.printer_class = RubyProf::GraphHtmlPrinter
+# The printer to be used when writing profiles
+
+RSpecProf::FilenameHelpers.file_extension = "html"
+# The file extension for profiles written to disk
+
+RSpecProf::FilenameHelpers.output_dir = "profiles"
+# The destination directory into which profiles are written
+
+# This file was generated by the `rspec --init` command. Conventionally, all
+# specs live under a `spec` directory, which RSpec adds to the `$LOAD_PATH`.
+# The generated `.rspec` file contains `--require spec_helper` which will cause
+# this file to always be loaded, without a need to explicitly require it in any
+# files.
+#
+# Given that it is always loaded, you are encouraged to keep this file as
+# light-weight as possible. Requiring heavyweight dependencies from this file
+# will add to the boot time of your test suite on EVERY test run, even for an
+# individual file that may not need all of that loaded. Instead, consider making
+# a separate helper file that requires the additional dependencies and performs
+# the additional setup, and require it from the spec files that actually need
+# it.
+#
+# The `.rspec` file also contains a few flags that are not defaults but that
+# users commonly want.
+#
+# See http://rubydoc.info/gems/rspec-core/RSpec/Core/Configuration
+RSpec.configure do |config|
+  # rspec-expectations config goes here. You can use an alternate
+  # assertion/expectation library such as wrong or the stdlib/minitest
+  # assertions if you prefer.
+  config.expect_with :rspec do |expectations|
+    # This option will default to `true` in RSpec 4. It makes the `description`
+    # and `failure_message` of custom matchers include text for helper methods
+    # defined using `chain`, e.g.:
+    #     be_bigger_than(2).and_smaller_than(4).description
+    #     # => "be bigger than 2 and smaller than 4"
+    # ...rather than:
+    #     # => "be bigger than 2"
+    expectations.include_chain_clauses_in_custom_matcher_descriptions = true
+  end
+
+  # rspec-mocks config goes here. You can use an alternate test double
+  # library (such as bogus or mocha) by changing the `mock_with` option here.
+  config.mock_with :rspec do |mocks|
+    # Prevents you from mocking or stubbing a method that does not exist on
+    # a real object. This is generally recommended, and will default to
+    # `true` in RSpec 4.
+    mocks.verify_partial_doubles = true
+  end
+
+  # The settings below are suggested to provide a good initial experience
+  # with RSpec, but feel free to customize to your heart's content.
+end
+
+# Clear cached prelude data
+File.unlink(File.join(File.dirname(__FILE__), "..", "lib", "typed", "prelude_existential_registry.bin")) rescue nil
+File.unlink(File.join(File.dirname(__FILE__), "..", "lib", "typed", "prelude_generic_registry.bin")) rescue nil
+File.unlink(File.join(File.dirname(__FILE__), "..", "lib", "typed", "prelude_registry.bin")) rescue nil
+
+# Load all files
+require_relative '../lib/typed'
+
+def tyobject(klass)
+  TypedRb::Types::TyObject.new(klass)
+end
+
+def tyinteger
+  TypedRb::Types::TyObject.new(Integer)
+end
+
+def tystring
+  TypedRb::Types::TyObject.new(String)
+end
+
+def tyunit
+  TypedRb::Types::TyUnit.new
+end
+
+def tysymbol
+  TypedRb::Types::TySymbol.new
+end
+
+def tyboolean
+  TypedRb::Types::TyBoolean.new
+end
+
+def tyregexp
+  TypedRb::Types::TyRegexp.new
+end
+
+def tydynamic
+  TypedRb::Types::TyDynamic.new(Object)
+end
+
+def tyvariable(name)
+  TypedRb::Types::Polymorphism::TypeVariable.new(name, :gen_name => false)
+end
+
+def eval_with_ts(code)
+  ::BasicObject::TypeRegistry.clear
+  $TYPECHECK = true
+  eval(code)
+  ::BasicObject::TypeRegistry.normalize_types!
+end
+
+def find_instance_variable_for(klass, variable, language)
+  language.type_variables.detect{ |v| v.to_s =~ /#{klass}:#{variable}/ }
+end
+
+def expect_binding(language, klass, variable, type)
+  var = find_instance_variable_for(klass, variable, language)
+  expect(var.bound).to_not be_nil
+  expect(var.bound.ruby_type).to be(type)
+end
+
+def top_level_typing_context
+  TypedRb::Types::TypingContext.top_level
+end
+
+def parse(expr)
+  TypedRb::Model::GenSym.reset
+  TypedRb::AstParser.new.parse(expr)
+end
+
+class TypedRb::Types::TypingContext
+  class << self
+    def type_variables_register=(other)
+      @type_variables_register = other
+    end
+  end
+end

metadata

@@ -0,0 +1,216 @@
+--- !ruby/object:Gem::Specification
+name: typed.rb
+version: !ruby/object:Gem::Version
+  version: 0.0.11
+platform: ruby
+authors:
+- Antonio Garrote
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-01-17 00:00:00.000000000 Z
+dependencies: []
+description: 
+email: antoniogarrote@gmail.com
+executables:
+- typed.rb
+extensions: []
+extra_rdoc_files: []
+files:
+- Rakefile
+- bin/typed.rb
+- lib/typed.rb
+- lib/typed/language.rb
+- lib/typed/model.rb
+- lib/typed/model/tm_abs.rb
+- lib/typed/model/tm_array_literal.rb
+- lib/typed/model/tm_boolean.rb
+- lib/typed/model/tm_boolean_operator.rb
+- lib/typed/model/tm_break.rb
+- lib/typed/model/tm_case_when.rb
+- lib/typed/model/tm_class.rb
+- lib/typed/model/tm_const.rb
+- lib/typed/model/tm_defined.rb
+- lib/typed/model/tm_error.rb
+- lib/typed/model/tm_float.rb
+- lib/typed/model/tm_for.rb
+- lib/typed/model/tm_fun.rb
+- lib/typed/model/tm_global_var.rb
+- lib/typed/model/tm_global_var_assignment.rb
+- lib/typed/model/tm_hash_literal.rb
+- lib/typed/model/tm_if_else.rb
+- lib/typed/model/tm_instance_var.rb
+- lib/typed/model/tm_instance_var_assignment.rb
+- lib/typed/model/tm_int.rb
+- lib/typed/model/tm_local_var_asgn.rb
+- lib/typed/model/tm_mass_asgn.rb
+- lib/typed/model/tm_mlhs.rb
+- lib/typed/model/tm_module.rb
+- lib/typed/model/tm_next.rb
+- lib/typed/model/tm_nil.rb
+- lib/typed/model/tm_range_literal.rb
+- lib/typed/model/tm_regexp.rb
+- lib/typed/model/tm_rescue.rb
+- lib/typed/model/tm_return.rb
+- lib/typed/model/tm_s_class.rb
+- lib/typed/model/tm_self.rb
+- lib/typed/model/tm_send.rb
+- lib/typed/model/tm_sequencing.rb
+- lib/typed/model/tm_string.rb
+- lib/typed/model/tm_string_interpolation.rb
+- lib/typed/model/tm_super.rb
+- lib/typed/model/tm_symbol.rb
+- lib/typed/model/tm_symbol_interpolation.rb
+- lib/typed/model/tm_try.rb
+- lib/typed/model/tm_var.rb
+- lib/typed/model/tm_while.rb
+- lib/typed/prelude.rb
+- lib/typed/prelude_existential_registry.bin
+- lib/typed/prelude_generic_registry.bin
+- lib/typed/prelude_registry.bin
+- lib/typed/runtime.rb
+- lib/typed/runtime/ast_parser.rb
+- lib/typed/runtime/method_signature_processor.rb
+- lib/typed/runtime/normalization.rb
+- lib/typed/runtime/normalization/validations.rb
+- lib/typed/runtime/parser_context.rb
+- lib/typed/runtime/type_parser.rb
+- lib/typed/runtime/type_registry.rb
+- lib/typed/runtime/type_signature_processor.rb
+- lib/typed/type_signature/parser.rb
+- lib/typed/types.rb
+- lib/typed/types/polymorphism/existential_type_variable.rb
+- lib/typed/types/polymorphism/generic_comparisons.rb
+- lib/typed/types/polymorphism/generic_variables.rb
+- lib/typed/types/polymorphism/type_variable.rb
+- lib/typed/types/polymorphism/type_variable_register.rb
+- lib/typed/types/polymorphism/unification.rb
+- lib/typed/types/ty_boolean.rb
+- lib/typed/types/ty_dynamic.rb
+- lib/typed/types/ty_either.rb
+- lib/typed/types/ty_error.rb
+- lib/typed/types/ty_existential_type.rb
+- lib/typed/types/ty_function.rb
+- lib/typed/types/ty_generic_function.rb
+- lib/typed/types/ty_generic_object.rb
+- lib/typed/types/ty_generic_singleton_object.rb
+- lib/typed/types/ty_object.rb
+- lib/typed/types/ty_singleton_object.rb
+- lib/typed/types/ty_stack_jump.rb
+- lib/typed/types/ty_top_level_object.rb
+- lib/typed/typing_context.rb
+- lib/typed/version.rb
+- spec/lib/ast_parser_spec.rb
+- spec/lib/examples/animals.rb
+- spec/lib/examples/counter.rb
+- spec/lib/examples/if.rb
+- spec/lib/language_spec.rb
+- spec/lib/model/tm_abs_spec.rb
+- spec/lib/model/tm_array_literal_spec.rb
+- spec/lib/model/tm_case_when_spec.rb
+- spec/lib/model/tm_class_spec.rb
+- spec/lib/model/tm_defined_spec.rb
+- spec/lib/model/tm_for_spec.rb
+- spec/lib/model/tm_fun_spec.rb
+- spec/lib/model/tm_hash_literal_spec.rb
+- spec/lib/model/tm_mass_asgn_spec.rb
+- spec/lib/model/tm_module_spec.rb
+- spec/lib/model/tm_regexp_spec.rb
+- spec/lib/model/tm_return_spec.rb
+- spec/lib/model/tm_s_class_spec.rb
+- spec/lib/model/tm_self_spec.rb
+- spec/lib/model/tm_string_interpolation_spec.rb
+- spec/lib/model/tm_symbol_interpolation_spec.rb
+- spec/lib/model/tm_symbol_spec.rb
+- spec/lib/model/tm_while_spec.rb
+- spec/lib/polymorphism/type_variable_spec.rb
+- spec/lib/polymorphism/unification_spec.rb
+- spec/lib/prelude/array_spec.rb
+- spec/lib/prelude/class_spec.rb
+- spec/lib/prelude/enumerable_spec.rb
+- spec/lib/prelude/enumerator_spec.rb
+- spec/lib/prelude/hash_spec.rb
+- spec/lib/prelude/kernel_spec.rb
+- spec/lib/prelude/object_spec.rb
+- spec/lib/prelude/pair_spec.rb
+- spec/lib/prelude/showable_spec.rb
+- spec/lib/prelude/string_spec.rb
+- spec/lib/runtime/normalization_spec.rb
+- spec/lib/runtime/validations_spec.rb
+- spec/lib/runtime_spec.rb
+- spec/lib/type_signature/parser_spec.rb
+- spec/lib/types/comparisons_spec.rb
+- spec/lib/types/polymorphism/generic_comparisons_spec.rb
+- spec/lib/types/polymorphism/type_variable_register_spec.rb
+- spec/lib/types/ty_dynamic_spec.rb
+- spec/lib/types/ty_either_spec.rb
+- spec/lib/types/ty_error_spec.rb
+- spec/lib/types/ty_generic_object_spec.rb
+- spec/lib/types/ty_generic_singleton_object_spec.rb
+- spec/lib/types/typing_context_spec.rb
+- spec/lib/types_spec.rb
+- spec/lib/typing/boolean_asgn_spec.rb
+- spec/lib/typing/break_spec.rb
+- spec/lib/typing/generics_spec.rb
+- spec/lib/typing/instance_vars_spec.rb
+- spec/lib/typing/next_spec.rb
+- spec/lib/typing/op_asgn_spec.rb
+- spec/lib/typing/overriden_methods_spec.rb
+- spec/lib/typing/subtyping_spec.rb
+- spec/lib/typing/tm_boolean_operator_spec.rb
+- spec/lib/typing/tm_boolean_spec.rb
+- spec/lib/typing/tm_const_spec.rb
+- spec/lib/typing/tm_defined_spec.rb
+- spec/lib/typing/tm_fun_spec.rb
+- spec/lib/typing/tm_global_var_spec.rb
+- spec/lib/typing/tm_if_else_spec.rb
+- spec/lib/typing/tm_ignore_spec.rb
+- spec/lib/typing/tm_instance_vars_spec.rb
+- spec/lib/typing/tm_local_var_asgn_spec.rb
+- spec/lib/typing/tm_mlhs_spec.rb
+- spec/lib/typing/tm_module_spec.rb
+- spec/lib/typing/tm_raise_spec.rb
+- spec/lib/typing/tm_range_literal_spec.rb
+- spec/lib/typing/tm_regexp_spec.rb
+- spec/lib/typing/tm_return_spec.rb
+- spec/lib/typing/tm_send_casting_spec.rb
+- spec/lib/typing/tm_send_class_methods_spec.rb
+- spec/lib/typing/tm_send_generic_apply_spec.rb
+- spec/lib/typing/tm_send_generic_methods_spec.rb
+- spec/lib/typing/tm_send_initialize_spec.rb
+- spec/lib/typing/tm_send_lambda_spec.rb
+- spec/lib/typing/tm_send_spec.rb
+- spec/lib/typing/tm_send_yield_block_spec.rb
+- spec/lib/typing/tm_sequencing_spec.rb
+- spec/lib/typing/tm_string_interpolation_spec.rb
+- spec/lib/typing/tm_super_spec.rb
+- spec/lib/typing/tm_symbol_interpolation_spec.rb
+- spec/lib/typing/tm_symbol_spec.rb
+- spec/lib/typing/tm_try_spec.rb
+- spec/spec_helper.rb
+homepage: https://github.com/antoniogarrote/typed.rb
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.4.6
+signing_key: 
+specification_version: 4
+summary: Gradual type checker for Ruby
+test_files: []
+has_rdoc: