• Yorick Peterse's avatar
    Improve remapping of initialised type parameters · 8450931d
    Yorick Peterse authored
    This improves the compiler's support for remapping type parameters to
    the appropriate type parameter instance. For example, consider type T
    that has type parameter A initialised to type parameter B, and B is
    initialised to C. Previously, when looking up the instance of A the
    compiler would produce B. As of this commit, the compiler would produce
    type C instead. This removes the need for type annotations in various
    cases, most notably when working with iterators.
    
    Fixes #117
    8450931d
Name
Last commit
Last update
..
block.rb Loading commit data...
database.rb Loading commit data...
dynamic.rb Loading commit data...
error.rb Loading commit data...
generic_type.rb Loading commit data...
generic_type_with_instances.rb Loading commit data...
new_instance.rb Loading commit data...
object.rb Loading commit data...
optional.rb Loading commit data...
self_type.rb Loading commit data...
trait.rb Loading commit data...
type.rb Loading commit data...
type_name.rb Loading commit data...
type_parameter.rb Loading commit data...
type_parameter_instances.rb Loading commit data...
type_parameter_table.rb Loading commit data...
type_with_attributes.rb Loading commit data...
type_with_prototype.rb Loading commit data...
void.rb Loading commit data...
without_empty_type_parameters.rb Loading commit data...