tupl-tufts rdl issues - Githubissues

tupl-tufts / rdl

Types, type checking, and contracts for Ruby

BSD 3-Clause "New" or "Revised" License

602 stars 38 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Support partial Rails environments?

#59 rmosolgo opened 7 years ago
0
Rails: class_name can be a class

#58 ainar-g closed 5 years ago
1
add Date optional initialization params

#57 ptarjan opened 7 years ago
2
[issue] Shows bug with empty tuple promotion

#56 ptarjan opened 7 years ago
1
make type reentrant

#55 ptarjan opened 7 years ago
1
At least one test is order dependant

#54 ptarjan closed 5 years ago
2
invent %dynamic

#53 ptarjan closed 5 years ago
2
fix Kernel.raise annotation

#52 ptarjan closed 7 years ago
0
fix type checking of object class singleton methods (works with older Ruby versions)

#51 mckaz closed 7 years ago
6
Support for single instance types

#50 ptarjan opened 7 years ago
4
[issue] show to_proc bug

#49 ptarjan opened 7 years ago
0
Allow untyped methods to be called from typed methods

#48 ptarjan opened 7 years ago
4
Fix wrap class

#47 ptarjan closed 7 years ago
1
fix test spew

#46 ptarjan closed 7 years ago
1
handle local constants

#45 ptarjan closed 7 years ago
3
support bottom type as receiver

#44 ptarjan closed 7 years ago
4
Allow fully qualified calls

#43 ptarjan closed 7 years ago
1
Use grandparent type information for methods

#42 ptarjan closed 7 years ago
3
Add test showing that finite hashes are subtypes of generic hashes of the right shape

#41 ptarjan opened 7 years ago
2
Is this project maintained?

#40 ptarjan closed 7 years ago
4
Can't handle RDL.type for deferred contract

#39 ptarjan opened 7 years ago
1
Incremental mode with server

#38 ptarjan opened 7 years ago
0
Allow calling of untyped code from typed code

#37 ptarjan opened 7 years ago
1
Implement: `refinement` type check

#36 baban opened 7 years ago
0
fix type checking of object class singleton methods

#35 mckaz closed 7 years ago
1
var_type method does not appear to work

#34 Angeldude closed 7 years ago
2
Bug: `type_alias': Attempt to redefine type %real (RuntimeError)

#33 stereobooster closed 7 years ago
4
Add repository for type definitions

#32 stereobooster closed 7 years ago
1
Fix missing param, accept Class in AR assoc class_name param

#31 ypresto opened 7 years ago
1
Bug handling optional annotated/dependent types

#30 mckaz closed 7 years ago
0
monkey patching not supported yet?

#29 baban closed 7 years ago
2
static type checking of dynamic methods

#28 mckaz closed 7 years ago
0
Dynamic handling of initialize method

#27 mckaz closed 7 years ago
0
Dynamic type checking of initialize method

#26 mckaz closed 7 years ago
0
Constructor type and changes to generic types

#25 mckaz closed 7 years ago
3
undefined method `types' for #<RDL::Type::VarType:0x007fb64b5dac10 @name=:u>

#24 backus closed 7 years ago
3
more precise type for `class` method

#22 mckaz closed 7 years ago
0
Superclass mismatch for Bignum and Fixnum

#21 coderanger closed 7 years ago
2
Unable to use static type checks without method wrappers

#20 coderanger closed 7 years ago
3
fix instantiate! for dynamic checks, and add handling of instantiate!…

#19 mckaz closed 7 years ago
1
method_missing not supported, yet?

#18 baban opened 7 years ago
2
Problem with mixin types

#17 j2ren closed 5 years ago
1
Rescue LoadError in boot_rails.rb

#16 noprompt closed 7 years ago
5
Fix typos in README.md

#15 stefkin closed 8 years ago
1
In README, expand on how to convert pre/post contracts into type predicates

#14 ryanberckmans closed 8 years ago
2
Fixed typos in Readme

#13 bitcoinctf closed 8 years ago
1
HOC's and dependent types

#12 mckaz closed 8 years ago
0
dependent types and higher-order contracts

#11 mckaz closed 8 years ago
0
💄Add syntax highlighting to README

#10 jsyeo closed 8 years ago
1
Type higher order contracts for method args, block, and return

#9 mckaz closed 8 years ago
0

Previous Next