jtoman
jtoman
* Adds EXPAND_FRAMES argument to visit() in the class renamer, without which ASM dies * Adds constant whitelist, which we use to ignore the "$Proxy" constant loaded in the ProxyFactory....
If the name of an extension node is an OCaml keyword, the indentation mode gets extremely confused. I have observed this in at least two scenarios. Once when trying to...
Related to #22, we should allow assigning the type of one method to another method. For example, the slice method of the Array object has the exact same type as...
Variadic type parameters are already a member of the type grammar. However, there is no support for them yet in types.rb. Adding these would allow us to write the type...
Currently, absolutely none of the standard library is annotated. In order to make Rtc useful, we need to annotate the type of the standard library. For this issue to be...
We need rtc_annotate and rtc_cast to become no-ops when Rtc is globally disabled. Further, the upcoming rtc_instantiate must likewise return a proc that simply forwards arguments to the true underlying...
Consider the following example: ``` ruby typesig("my_push: (Array, t) -> Array") def my_push(arr, m) arr.push(m) end ``` The following perfectly safe invocation will fail with a type error: ``` ruby...
We had a lot test cases that did a pretty good job of ensuring that changes made to Rtc did not break functionality. These test cases are very old and...
It's possible to confuse our type inferencer for polymorphic methods. We should allow code like the following ``` ruby my_object.rtc_instantiate("polymorphic_method", :t => "Fixnum or String", :u => "A or :sym")[2,...
Currently Rtc allows only the annotation of classes. It should also allow the annotation of modules. This will also let us do the following: ``` ruby class IncluderClass include :module1,:module2,......