Open zamfofex opened 7 years ago
Oops, wrong repo, I’ll migrate this issue to the new repo. Derp.
Shortcut refinement supports both directions already:
abstract class Foo()
{
shared formal String(String) surround;
}
class Bar()
extends Foo()
{
surround(String str) => "\{RIGHT DOUBLE QUOTATION MARK}``str``\{LEFT DOUBLE QUOTATION MARK}";
}
abstract class Foo()
{
shared formal String id(String str);
}
class Bar()
extends Foo()
{
id = identity<String>;
}
abstract class Foo<out T>()
{
shared formal T member;
}
class Bar()
extends Foo<String(String)>()
{
member(String str) => "\"``string``\"";
}
It’d be nice to be able to refine
Callable
attributes as if they were functions and vice versa. Things that I’d like to see working:A little harder to support: