rdl 2.0.1 → 2.1.0

data/lib/types/core-ruby-2.x/integer.rb

@@ -1,197 +0,0 @@
-class Integer < Numeric
-  rdl_nowrap
-
-  type :%, '(Fixnum x {{ x!=0 }}) -> Fixnum'
-  type :%, '(Bignum x {{ x!=0 }}) -> %integer'
-  type :%, '(Float x {{ x!=0 }}) -> Float'
-  type :%, '(Rational x {{ x!=0 }}) -> Rational'
-  type :%, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
-
-  type :&, '(%integer) -> Fixnum'
-
-  type :*, '(%integer) -> %integer'
-  type :*, '(Float) -> Float'
-  type :*, '(Rational) -> Rational'
-  type :*, '(BigDecimal) -> BigDecimal'
-  type :*, '(Complex) -> Complex'
-  pre(:*) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end} #can't have a complex with part BigDecimal, other part infinity/NAN
-
-  type :**, '(%integer) -> %numeric'
-  type :**, '(Float) -> %numeric'
-  type :**, '(Rational) -> %numeric'
-  type :**, '(BigDecimal) -> BigDecimal'
-  pre(:**) { |x| x!=BigDecimal::INFINITY && if self<0 then x<=-1||x>=0 else true end}
-  post(:**) { |r,x| r.real?}
-  type :**, '(Complex) -> Complex'
-  pre(:**) { |x| x!=0 && if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end}
-
-  type :+, '(%integer) -> %integer'
-  type :+, '(Float) -> Float'
-  type :+, '(Rational) -> Rational'
-  type :+, '(BigDecimal) -> BigDecimal'
-  type :+, '(Complex) -> Complex'
-
-  type :-, '(%integer) -> %integer'
-  type :-, '(Float) -> Float'
-  type :-, '(Rational) -> Rational'
-  type :-, '(BigDecimal) -> BigDecimal'
-  type :-, '(Complex) -> Complex'
-
-  type :-, '() -> %integer'
-
-  type :/, '(%integer x {{ x!=0 }}) -> %integer'
-  type :/, '(Float x {{ x!=0 }}) -> Float'
-  type :/, '(Rational x {{ x!=0 }}) -> Rational'
-  type :/, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
-  type :/, '(Complex x {{ x!=0 }}) -> Complex'
-  pre(:/) { |x| x!=0 && if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
-
-  type :<, '(%integer) -> %bool'
-  type :<, '(Float) -> %bool'
-  type :<, '(Rational) -> %bool'
-  type :<, '(BigDecimal) -> %bool'
-
-  type :<<, '(Fixnum) -> %integer'
-
-  type :<=, '(%integer) -> %bool'
-  type :<=, '(Float) -> %bool'
-  type :<=, '(Rational) -> %bool'
-  type :<=, '(BigDecimal) -> %bool'
-
-  type :<=>, '(%integer) -> Object'
-  post(:<=>) { |r,x| r == -1 || r == 0 || r == 1 }
-  type :<=>, '(Float) -> Object'
-  post(:<=>) { |r,x| r == -1 || r == 0 || r == 1 }
-  type :<=>, '(Rational) -> Object'
-  post(:<=>) { |r,x| r == -1 || r == 0 || r == 1 }
-  type :<=>, '(BigDecimal) -> Object'
-  post(:<=>) { |r,x| r == -1 || r == 0 || r == 1 }
-
-  type :==, '(Object) -> %bool'
-
-  type :===, '(Object) -> %bool'
-
-  type :>, '(%integer) -> %bool'
-  type :>, '(Float) -> %bool'
-  type :>, '(Rational) -> %bool'
-  type :>, '(BigDecimal) -> %bool'
-
-  type :>=, '(%integer) -> %bool'
-  type :>=, '(Float) -> %bool'
-  type :>=, '(Rational) -> %bool'
-  type :>=, '(BigDecimal) -> %bool'
-
-  type :>>, '(%integer) -> %integer r {{ r >= 0 }}'
-
-  type :[], '(%integer) -> Fixnum'
-  post(:[]) { |r,x| r == 0 || r==1}
-  type :[], '(Rational) -> Fixnum'
-  post(:[]) { |r,x| r == 0 || r==1}
-  type :[], '(Float) -> Fixnum'
-  pre(:[]) { |x| x != Float::INFINITY && !x.nan? }
-  post(:[]) { |r,x| r == 0 || r==1}
-  type :[], '(BigDecimal) -> Fixnum'
-  pre(:[]) { |x| x != BigDecimal::INFINITY && !x.nan? }
-  post(:[]) { |r,x| r == 0 || r == 1 }
-
-  type :^, '(%integer) -> %integer'
-
-  type :|, '(%integer) -> %integer'
-
-  type :~, '() -> %integer'
-
-  type :abs, '() -> %integer r {{ r>=0 }}'
-
-  type :bit_length, '() -> %integer r {{ r>=0 }}'
-
-  type :div, '(%integer x {{ x!=0 }}) -> %integer'
-  type :div, '(Float x {{ x!=0 && !x.nan? }}) -> %integer'
-  type :div, '(Rational x {{ x!=0 }}) -> %integer'
-  type :div, '(BigDecimal x {{ x!=0 && !x.nan? }}) -> %integer'
-
-  type :divmod, '(%real x {{ x!=0 }}) -> [%real, %real]'
-  pre(:divmod) { |x| if x.is_a?(Float) then !x.nan? else true end}
-
-  type :fdiv, '(%integer) -> Float'
-  type :fdiv, '(Float) -> Float'
-  type :fdiv, '(Rational) -> Float'
-  type :fdiv, '(BigDecimal) -> BigDecimal'
-  type :fdiv, '(Complex) -> Complex'
-  pre(:fdiv) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
-
-  type :to_s, '() -> String'
-  type :inspect, '() -> String'
-
-  type :magnitude, '() -> %integer r {{ r>=0 }}'
-
-  type :modulo, '(Fixnum x {{ x!=0 }}) -> Fixnum'
-  type :modulo, '(Bignum x {{ x!=0 }}) -> %integer'
-  type :modulo, '(Float x {{ x!=0 }}) -> Float'
-  type :modulo, '(Rational x {{ x!=0 }}) -> Rational'
-  type :modulo, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
-
-  type :quo, '(%integer x {{ x!=0 }}) -> Rational'
-  type :quo, '(Float x {{ x!=0 }}) -> Float'
-  type :quo, '(Rational x {{ x!=0 }}) -> Rational'
-  type :quo, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
-  type :quo, '(Complex x {{ x!=0 }}) -> Complex'
-  pre(:quo) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
-
-  type :abs2, '() -> %integer r {{ r>=0 }}'
-  type :angle, '() -> %numeric'
-  post(:angle) { |r,x| r == 0 || r == Math::PI}
-  type :arg, '() -> %numeric'
-  post(:arg) { |r,x| r == 0 || r == Math::PI}
-  type :equal?, '(Object) -> %bool'
-  type :eql?, '(Object) -> %bool'
-  type :hash, '() -> %integer'
-  type :ceil, '() -> %integer'
-  type :chr, '(Encoding) -> String'
-  type :coerce, '(%numeric) -> [%real, %real]'
-  pre(:coerce) { |x| if x.is_a?(Complex) then x.imaginary==0 else true end}
-  type :conj, '() -> %integer'
-  type :conjugate, '() -> %integer'
-  type :denominator, '() -> Fixnum'
-  post(:denominator) { |r,x| r == 1 }
-  type :downto, '(%integer) { (%integer) -> %any } -> %integer'
-  type :downto, '(%integer limit) -> Enumerator<%integer>'
-  type :even?, '() -> %bool'
-  type :gcd, '(%integer) -> %integer'
-  type :gcdlcm, '(%integer) -> [%integer, %integer]'
-  type :floor, '() -> %integer'
-  type :imag, '() -> Fixnum r {{ r==0 }}'
-  type :imaginary, '() -> Fixnum r {{ r==0 }}'
-  type :integer?, '() -> true'
-  type :lcm, '(%integer) -> %integer'
-  type :next, '() -> %integer'
-  type :numerator, '() -> %integer'
-  type :odd?, '() -> %bool'
-  type :ord, '() -> %integer'
-  type :phase, '() -> %numeric'
-  type :pred, '() -> %integer'
-  type :rationalize, '() -> Rational'
-  type :rationalize, '(%numeric) -> Rational'
-  type :real, '() -> %integer'
-  type :real?, '() -> true'
-  type :remainder, '(Fixnum x {{ x!=0 }}) -> Fixnum r {{ r>=0 }}'
-  type :remainder, '(Bignum x {{ x!=0 }}) -> Fixnum r {{ r>=0 }}'
-  type :remainder, '(Float x {{ x!=0 }}) -> Float'
-  type :remainder, '(Rational x {{ x!=0 }}) -> Rational r {{ r>=0 }}'
-  type :remainder, '(BigDecimal x {{ x!=0 }}) -> BigDecimal'
-  type :round, '() -> %integer'
-  type :round, '(%numeric) -> %numeric'
-  pre(:round) { |x| x!=0 && if x.is_a?(Complex) then x.imaginary==0 && (if x.real.is_a?(Float)||x.real.is_a?(BigDecimal) then !x.real.infinite? && !x.real.nan? else true end) elsif x.is_a?(Float) then x!=Float::INFINITY && !x.nan? elsif x.is_a?(BigDecimal) then x!=BigDecimal::INFINITY && !x.nan? else true end} #Also, x must be in range [-2**31, 2**31].
-  type :size, '() -> %integer'
-  type :succ, '() -> %integer'
-  type :times, '() { (%integer) -> %any } -> %integer'
-  type :times, '() -> Enumerator<%integer>'
-  type :to_c, '() -> Complex r {{ r.imaginary==0 }}'
-  type :to_f, '() -> Float'
-  type :to_i, '() -> %integer'
-  type :to_int, '() -> %integer'
-  type :to_r, '() -> Rational'
-  type :truncate, '() -> %integer'
-  type :upto, '(%integer) { (%integer) -> %any } -> %integer'
-  type :upto, '(%integer) -> Enumerator<%integer>'
-  type :zero?, '() -> %bool'
-end

data/lib/types/core-ruby-2.x/io.rb

@@ -1,103 +0,0 @@
-class IO
-  rdl_nowrap # Do not wrap this class. Leads to mysterious errors.
-
-  type 'self.binread', '(String name, ?Fixnum length, ?Fixnum offset) -> String'
-  type 'self.binwrite', '(String name, String, ?Fixnum offset, %open_args) -> Fixnum'
-  type 'self.copy_stream', '(String or IO src, String or IO dst, ?Fixnum copy_length, ?Fixnum src_offset) -> Fixnum'
-  rdl_alias 'self.for_fd', 'self.new'
-  type 'self.foreach', '(String name, ?String sep, ?Fixnum limit, %open_args) { (String) -> %any } -> nil'
-  type 'self.foreach', '(String name, ?String sep, ?Fixnum limit, %open_args) -> Enumerator<String>'
-  type 'self.new', '(Fixnum fd, ?Fixnum mode, ?Fixnum opt) -> IO'
-  type 'self.open', '(Fixnum fd, ?String mode, %open_args) -> IO'
-  type 'self.open', '(Fixnum fd, ?String mode, %open_args) { (IO) -> t } -> t'
-  type 'self.pipe', '(?String ext_or_ext_int_enc, %open_args) -> [IO, IO]'
-  type 'self.pipe', '(?String ext_enc, ?String int_enc, %open_args) -> [IO, IO]'
-  type 'self.pipe', '(?String ext_or_ext_int_enc, %open_args) { ([IO, IO]) -> t } -> t'
-  type 'self.pipe', '(?String ext_enc, ?String int_enc, %open_args) { ([IO, IO]) -> t } -> t'
-  type 'self.popen', '(?Hash<String, String> env, String cmd, ?String mode, %open_args) -> IO'
-  type 'self.popen', '(?Hash<String, String> env, String cmd, ?String mode, %open_args) { (IO) -> t } -> t'
-  type 'self.read', '(String name, ?Fixnum length, ?Fixnum offset, %open_args) -> String'
-  type 'self.readlines', '(String name, ?String sep, ?Fixnum limit, %open_args) -> Array<String>'
-  type 'self.select', '(Array<IO> read_array, ?Array<IO> write_array, ?Array<IO> error_array, ?Fixnum timeout) -> Array<IO> or nil'
-  type 'self.sysopen', '(String path, ?String mode, ?String perm) -> Fixnum' # TODO unsure of type of perm
-  type 'self.try_convert', '([to_io: () -> IO]) -> IO or nil'
-  type 'self.write', '(String name, String, ?Fixnum offset, %open_args) -> Fixnum'
-  type :<<, '([to_s: () -> String]) -> self'
-  type :advise, '(:normal or :sequence or :random or :willneed or :dontneed or :noreuse, ?Fixnum offset, ?Fixnum len) -> nil'
-  type :autoclose=, '(%bool) -> %bool'
-  type :autoclose?, '() -> %bool'
-  type :binmode, '() -> self'
-  type :binmode?, '() -> %bool'
-  rdl_alias :bytes, :each_byte # deprecated
-  rdl_alias :chars, :each_char # deprecated
-  type :close, '() -> nil'
-  type :close_on_exec=, '(%bool) -> %bool'
-  type :close_on_exec?, '() -> %bool'
-  type :close_read, '() -> nil'
-  type :close_write, '() -> nil'
-  type :closed?, '() -> %bool'
-  rdl_alias :codepoints, :each_codepoint # deprecated
-  type :each, '(?String sep, ?Fixnum limit) { (String) -> %any } -> self'
-  type :each, '(?String sep, ?Fixnum limit) -> Enumerator<String>'
-  rdl_alias :each_line, :each
-  type :each_byte, '() { (Fixnum) -> %any } -> self'
-  type :each_byte, '() -> Enumerator<Fixnum>'
-  type :each_char, '() { (String) -> %any } -> self'
-  type :each_char, '() -> Enumerator<String>'
-  type :each_codepoint, '() { (Fixnum) -> %any } -> self'
-  type :each_codepoint, '() -> Enumerator<Fixnum>'
-  type :eof, '() -> %bool'
-  rdl_alias :eof?, :eof
-  type :external_enconding, '() -> Enconding'
-  type :fcntl, '(Fixnum integer_cmd, String or Fixnum arg) -> Fixnum'
-  type :fdatasync, '() -> 0 or nil'
-  type :fileno, '() -> Fixnum'
-  type :flush, '() -> self'
-  type :fsync, '() -> 0 or nil'
-  type :getbyte, '() -> Fixnum or nil'
-  type :getc, '() -> String or nil'
-  type :gets, '(?String sep, ?Fixnum limit) -> String or nil'
-  type :inspect, '() -> String'
-  type :internal_encoding, '() -> Encoding'
-  type :ioctl, '(Fixnum integer_cmd, String or Fixnum arg) -> Fixnum'
-  type :isatty, '() -> %bool'
-  type :lineno, '() -> Fixnum'
-  type :lineno=, '(Fixnum) -> Fixnum'
-  rdl_alias :lines, :each_line # deprecated
-  type :pid, '() -> Fixnum'
-  type :pos, '() -> Fixnum'
-  type :pos=, '(Fixnum) -> Fixnum'
-  type :print, '(*[to_s: () -> String]) -> nil'
-  type :printf, '(String format_string, *%any) -> nil'
-  type :putc, '(Numeric or String) -> %any'
-  type :puts, '(*[to_s: () -> String]) -> nil'
-  type :read, '(?Fixnum length, ?String outbuf) -> String or nil'
-  type :read_nonblock, '(Fixnum maxlen) -> String'
-  type :read_nonblock, '(Fixnum maxlen, String outbuf) -> String outbuf'
-  type :readbyte, '() -> Fixnum'
-  type :readchar, '() -> String'
-  type :readline, '(?String sep, ?Fixnum limit) -> String'
-  type :readlines, '(?String sep, ?Fixnum limit) -> Array<String>'
-  type :readpartial, '(Fixnum maxlen) -> String'
-  type :readpartial, '(Fixnum maxlen, String outbuf) -> String outbuf'
-  type :reopen, '(IO other_IO) -> IO'
-  type :reopen, '(String path, String mode_str) -> IO'
-  type :rewrind, '() -> 0'
-  type :seek, '(Fixnum amount, ?Fixnum whence) -> 0'
-  type :set_encoding, '(?String or Encoding ext_or_ext_int_enc) -> self'
-  type :set_encoding, '(?String or Encoding ext_enc, ?String or Encoding int_enc) -> self'
-  type :stat, '() -> File::Stat'
-  type :sync, '() -> %bool'
-  type :sync=, '(%bool) -> %bool'
-  type :sysread, '(Fixnum maxlen, String outbuf) -> String'
-  type :sysseek, '(Fixnum amount, ?Fixnum whence) -> Fixnum'
-  type :syswrite, '(String) -> Fixnum'
-  type :tell, '() -> Fixnum'
-  rdl_alias :to_i, :fileno
-  type :to_io, '() -> self'
-  type :tty?, '() -> %bool'
-  type :ungetbyte, '(String or Fixnum) -> nil'
-  type :ungetc, '(String) -> nil'
-  type :write, '(String) -> Fixnum'
-  type :write_nonbloc, '(String, ?Fixnum options) -> Fixnum'
-end

data/lib/types/core-ruby-2.x/kernel.rb

@@ -1,90 +0,0 @@
-module Kernel
-  rdl_nowrap
-
-  #  type 'self.Array', '([to_ary: () -> Array<t>]) -> Array<t>'
-#  type 'self.Array', '([to_a: () -> Array<t>]) -> Array<t>'
-  type 'self.Complex', '(Numeric x, Numeric y) -> Complex'
-  type 'self.Complex', '(String x) -> Complex'
-  type 'self.Float', '(Numeric x) -> Float'
-#  type 'self.Float', '(x : [to_f : () -> Float]) -> Float'
-#  type 'self.Hash', '(x : [to_hash : () -> Hash<k,v>]) -> Hash<k,v>'
-  type 'self.Hash', '(nil x) -> Hash<k,v>'
-#  type 'self.Hash, '(x : []) -> Hash<k,v>'
-  type 'self.Integer', '(Numeric or String arg, ?Fixnum base) -> Integer'
-#  type 'self.Integer', '(arg : [to_int : () -> Integer], base : ?Fixnum) -> Integer'
-#  type 'self.Integer', '(arg : [to_i : () -> Integer], base : ?Fixnum) -> Integer'
-  type 'self.Rational', '(Numeric x, Numeric y) -> Rational'
-  type 'self.Rational', '(String x) -> Rational'
-#  type 'self.String', '(arg : [to_s : () -> String]) -> String'
-  type 'self.__callee__', '() -> Symbol or nil'
-  type 'self.__dir__', '() -> String or nil'
-  type 'self.__method__', '() -> Symbol or nil'
-  type 'self.`', '(String) -> String'
-  type 'self.abort', '(?String msg) -> %bot'
-  type 'self.at_exit', '() { () -> %any} -> Proc' # TODO: Fix proc
-  type 'self.autoload', '(String or Symbol module, String filename) -> nil'
-  type 'self.autoload?', '(Symbol or String name) -> String or nil'
-  type 'self.binding', '() -> Binding'
-  type 'self.block_given?', '() -> %bool'
-  type 'self.caller', '(?Fixnum start, ?Fixnum length) -> Array<String> or nil'
-  type 'self.caller', '(Range) -> Array<String> or nil'
-  type 'self.caller_locations', '(?Fixnum start, ?Fixnum length) -> Array<String> or nil'
-  type 'self.caller_locations', '(Range) -> Array<String> or nil'
-#  type 'self.catch' # TODO
-  type 'self.eval', '(String, ?Binding, ?String filename, ?Fixnum lineno) -> %any'
-#  type 'self.exec' #TODO
-  type 'self.exit', '(Fixnum or %bool status) -> %bot'
-  type 'self.exit!', '(Fixnum or %bool status) -> %bot'
-  type 'self.fail', '() -> %bot'
-  type 'self.fail', '(String) -> %bot'
-  type 'self.fail', '(Class, Array<String>) -> %bot'
-  type 'self.fail', '(Class, String, Array<String>) -> %bot'
-  #  type 'self.fail', '(String or [exception : () -> String], ?String, ?Array<String>) -> %any'
-#  type 'self.fork' #TODO
-  type 'self.format', '(String format, *%any args) -> String'
-  type 'self.gets', '(?String, ?Fixnum) -> String'
-  type 'self.global_variables', '() -> Array<Symbol>'
-  type 'self.iterator?', '() -> %bool'
-#  type 'self.lambda' # TODO
-  type 'self.load', '(String filename, ?%bool) -> %bool'
-  type 'self.local_variables', '() -> Array<Symbol>'
-#  type 'self.loop' #TODO
-  type 'self.open', '(String path, ?(String or Fixnum) mode, ?String perm) -> IO or nil'
-#  type 'self.open', '(String path, mode : ?String, perm: ?String) {(IO) -> %any)} -> %any' # TODO: returns block value
-#  type 'self.open', '(String path, mode : ?Fixnum, perm: ?String) {(IO) -> %any)} -> %any' # TODO: returns block value
-#  type 'self.p', '(*[inspect : () -> String]) -> nil'
-#  type 'self.print', '(*[to_s : () -> String] -> nil'
-  type 'self.printf', '(?IO, ?String, *%any) -> nil'
-  type(:proc, "() {(*%any) -> %any} -> Proc") # TODO more precise
-  type 'self.putc', '(Fixnum) -> Fixnum'
-  type 'self.puts', '(*[to_s : () -> String]) -> nil'
-  type 'self.raise', '() -> %bot'
-#  type 'self.raise', '(String or [exception : () -> String], ?String, ?Array<String>) -> %any'
-# TODO: above same as fail?
-  type 'self.rand', '(Fixnum or Range max) -> Numeric'
-  type 'self.readline', '(?String, ?Fixnum) -> String'
-  type 'self.readlines', '(?String, ?Fixnum) -> Array<String>'
-  type 'self.require', '(String name) -> %bool'
-  type 'self.require_relative', '(String name) -> %bool'
-  type 'self.select',
-          '(Array<IO> read, ?Array<IO> write, ?Array<IO> error, ?Fixnum timeout) -> Array<String>' # TODO: return type?
-#  type 'self.set_trace_func' #TODO
-  type 'self.sleep', '(Numeric duration) -> Fixnum'
-#  type 'self.spawn' #TODO
-  rdl_alias :sprintf, :format # TODO: are they aliases?
-  type 'self.srand', '(Numeric number) -> Numeric'
-  type 'self.syscall', '(Fixnum num, *%any args) -> %any' # TODO : ?
-#  type 'self.system' # TODO
-  type 'self.test', '(String cmd, String file1, ?String file2) -> %bool or Time' # TODO: better, dependent type?
-#  type 'self.throw' # TODO
-#  type 'self.trace_var' # TODO
-#  type 'self.trap' # TODO
-#  type 'self.untrace_var' # TODO
-  type 'self.warn', '(*String msg) -> nil'
-  type :clone, '() -> self'
-  type :raise, '() -> %bot'
-  type :raise, '(String) -> %bot'
-  type :raise, '(Class, String, Array<String>) -> %bot'
-  type :send, '(String or Symbol, *%any) -> %any'
-  type :send, '(String or Symbol, *%any) { (*%any) -> %any } -> %any'
-end

data/lib/types/core-ruby-2.x/marshal.rb

@@ -1,5 +0,0 @@
-module Marshal
-  rdl_nowrap
-
-  type 'self.load', '(String, ?Proc) -> Object'
-end

data/lib/types/core-ruby-2.x/matchdata.rb

@@ -1,26 +0,0 @@
-class MatchData
-  rdl_nowrap
-
-  type :==, '(%any) -> %bool'
-  type :[], '(Fixnum i) -> String or nil'
-  type :[], '(Fixnum start, Fixnum length) -> Array<String>'
-  type :[], '(Range<Fixnum> range) -> Array<String>'
-  type :[], '(String or Symbol name) -> String or nil'
-  type :begin, '(Fixnum n) -> Fixnum'
-  type :captures, '() -> Array<String>'
-  type :end, '(Fixnum n) -> Fixnum'
-  type :eql?, '(%any other) -> %bool'
-  type :hash, '() -> Fixnum'
-  type :inspect, '() -> String'
-  type :length, '() -> Fixnum'
-  type :names, '() -> Array<String>'
-  type :offset, '(Fixnum n) -> Array<Fixnum>'
-  type :post_match, '() -> String'
-  type :pre_match, '() -> String'
-  type :regexp, '() -> Regexp'
-  type :size, '() -> Fixnum'
-  type :string, '() -> String'
-  type :to_a, '() -> Array<String>'
-  type :to_s, '() -> String'
-  type :values_at, '(*Fixnum indexes) -> Array<String>'
-end

data/lib/types/core-ruby-2.x/math.rb

@@ -1,53 +0,0 @@
-module Math
-  rdl_nowrap
-
-  type 'self.acos', '(%real x) -> Float'
-  pre('self.acos') { |x| -1 <= x && x <= 1 }
-  post('self.acos') { |r, _| 0 <= r && r <= Math::PI }
-  type 'self.acosh', '(%real x) -> Float'
-  pre('self.acosh') { |x| 1 <= x }
-  post('self.acosh') { |r, _| 0 <= r }
-  type 'self.asin', '(%real x) -> Float'
-  pre('self.asin') { |x| -1 <= x && x <= 1 }
-  post('self.asin') { |r, _| -Math::PI/2 <= r && r <= Math::PI/2 }
-  type 'self.asinh', '(%real x) -> Float'
-  type 'self.atan', '(%real x) -> Float'
-  post('self.atan') { |r, _| -Math::PI/2 <= r && r <= Math::PI/2 }
-  type 'self.atan2', '(%real y, %real x) -> Float'
-  post('self.atan2') { |r, _| -Math::PI <= r && r <= Math::PI }
-  type 'self.atanh', '(%real x) -> Float'
-  pre('self.atanh') { |x| -1 < x && x < 1 }
-  type 'self.cbrt', '(%real x) -> Float'
-  pre('self.cbrt') { |x| 0 <= x }
-  post('self.cbrt') { |x| 0 <= x }
-  type 'self.cos', '(%real x) -> Float'
-  post('self.cos') { |r, _| -1 <= r && r <= 1 }
-  type 'self.cosh', '(%real x) -> Float'
-  post('self.cosh') { |r, _| 1 <= r }
-  type 'self.erf', '(%real x) -> Float'
-  post('self.erf') { |r, _| -1 < r && r < 1 }
-  type 'self.erfc', '(%real x) -> Float'
-  post('self.erfc') { |r, _| 0 < r && r < 2 }
-  type 'self.exp', '(%real x) -> Float'
-  post('self.exp') { |r, _| 0 < r }
-  type 'self.frexp', '(%real x) -> [%real, %real]'
-  type 'self.gamma', '(%real x) -> Float'
-  type 'self.hypot', '(%real x, %real y) -> Float'
-  type 'self.ldexp', '(%real fraction, %real exponent) -> Float'
-  type 'self.lgamma', '(%real x) -> -1 or 1 or Float'
-  type 'self.log', '(%real x, ?(%real) base) -> Float'
-  type 'self.log10', '(%real x) -> Float'
-  pre('self.log10') { |x| 0 < x }
-  type 'self.log2', '(%real x) -> Float'
-  pre('self.log2') { |x| 0 < x }
-  type 'self.sin', '(%real x) -> Float'
-  post('self.sin') { |r, _| -1 <= r && r <= 1 }
-  type 'self.sinh', '(%real x) -> Float'
-  type 'self.sqrt', '(%real x) -> Float'
-  pre('self.sqrt') { |x| 0 <= x }
-  post('self.sqrt') { |r, _| 0 <= r }
-  type 'self.tan', '(%real x) -> Float'
-  type 'self.tanh', '(%real x) -> Float'
-  post('self.tanh') { |r, _| -1 < r && r < 1 }
-
-end