tupl-tufts/rdl

Issues

• finite hash type with string keys

  #73 opened 3 years ago by jamiehodge
  0

• Type check multi-argument blocks

  #94 opened 5 years ago by ngsankha
  0

• Support partial Rails environments?

  #59 opened 7 years ago by rmosolgo
  0

• Problem with mixin types

  #17 opened 6 years ago by j2ren
  1

• At least one test is order dependant

  #54 opened 6 years ago by ptarjan
  2

• `var_type :@ary, "Array"` prohibits any access to the instance variable

  #76 opened 6 years ago by mame
  3

• #initialize return value is meaningless

  #63 opened 6 years ago by denisdefreyne
  1

• core/types has definitions that don't exist

  #61 opened 6 years ago by ptarjan
  3

• Passing literal Symbol/Integer as generic fails static type check

  #64 opened 6 years ago by andrew-cc
  1

• Cannot receive generically-typed argument

  #74 opened 6 years ago by mame
  1

• A reference to Module causes `uninitialized constant RDL::Typecheck::Bar`

  #77 opened 6 years ago by mame
  2

• Rails: class_name can be a class

  #58 opened 6 years ago by ainar-g
  1

• rdl_query and RDL.query cannot parse complex class name

  #69 opened 6 years ago by baban
  1

• Can't define type of attribute from outside of class

  #84 opened 6 years ago by aspyct
  0

• Allow calling of untyped code from typed code

  #37 opened 7 years ago by ptarjan
  1

• Bug: `type_alias': Attempt to redefine type %real (RuntimeError)

  #33 opened 7 years ago by stereobooster
  4

• Support for single instance types

  #50 opened 7 years ago by ptarjan
  4

• var_type method does not appear to work

  #34 opened 7 years ago by Angeldude
  2

• Structural typing with #[]

  #62 opened 7 years ago by rmosolgo
  4

• Can't handle RDL.type for deferred contract

  #39 opened 7 years ago by ptarjan
  1

• Structural types + class methods?

  #60 opened 7 years ago by rmosolgo
  0

• Add repository for type definitions

  #32 opened 7 years ago by stereobooster
  1

• monkey patching not supported yet?

  #29 opened 7 years ago by baban
  2

• Is this project maintained?

  #40 opened 7 years ago by ptarjan
  4

• Incremental mode with server

  #38 opened 7 years ago by ptarjan
  0

• method_missing not supported, yet?

  #18 opened 8 years ago by baban
  2

• Unable to use static type checks without method wrappers

  #20 opened 8 years ago by coderanger
  3

• undefined method `types' for #<RDL::Type::VarType:0x007fb64b5dac10 @name=:u>

  #24 opened 8 years ago by backus
  3

• Superclass mismatch for Bignum and Fixnum

  #21 opened 8 years ago by coderanger
  2

• In README, expand on how to convert pre/post contracts into type predicates

  #14 opened 8 years ago by ryanberckmans
  2

• Add support to add typesigs for class methods.

  #1 opened 9 years ago by jeffrey-s-foster
  0

• Add aliasing specification

  #2 opened 9 years ago by jeffrey-s-foster
  0

• flatten contract

  #4 opened 9 years ago by jeffrey-s-foster
  0

• Methods that change the type of self

  #3 opened 9 years ago by jeffrey-s-foster
  3

• Make contract objects first class

  #5 opened 9 years ago by jeffrey-s-foster
  0

• Types for constants

  #6 opened 9 years ago by jeffrey-s-foster
  0

• Travis CI script failing

  #7 opened 10 years ago by philnguyen
  0