Make a.b()
always a method call, refactor how methods are represented in the compiler
#3446
Labels
A-codegen
Area: Code generation
A-type-system
Area: Type system
C-enhancement
Category: An issue proposing an enhancement or a PR with one.
Milestone
We have agreement that the syntax
expr.m()
will always represent a method call (and never a call to the fieldexpr.m
). This allows us to make a change to the compiler AST so that we haveexpr_mcall()
(method call) and notexpr_call(expr_field())
, which in turn allows various other simplifications in borrowck, trans, and elsewhere. In the process---or, perhaps, as first steps---I want to do some smaller refactorings:callee_id
and just hang method information off in different tables (this basically requires an expr_mcall)a+b
the same way it does today.The text was updated successfully, but these errors were encountered: