• griesemer's avatar
    spec: match syntax for method expressions with implementations · f2d52519
    griesemer authored
    A method expression is of the form T.m where T is a type and m
    is a method of that type. The spec restricted T essentially to
    a type name. Both cmd/compile and go/types accepted any type
    syntactically, and a method expression was really just a form
    of a selector expression x.f where x denotes a type.
    
    This CL removes the spec syntax restriction from MethodExpr
    to match the actual implementation. It also moves MethodExpr
    from Operand to PrimaryExpr, because that's what it is.
    
    It still keeps the separate notion of MethodExpr even though
    it looks just like a selector expresion, since a MethodExpr
    must start with a type rather than a value, and the spec's
    syntax expresses this bit of semantics via distinct productions
    (e.g., conversions look like calls but also must start with
    a type).
    
    Fixes #9060.
    
    Change-Id: Idd84655b5b4f85d7ee53ebf749f73f0414a05f4a
    Reviewed-on: https://go-review.googlesource.com/73233Reviewed-by: 's avatarMatthew Dempsky <mdempsky@google.com>
    Reviewed-by: 's avatarRuss Cox <rsc@golang.org>
    Reviewed-by: 's avatarIan Lance Taylor <iant@golang.org>
    f2d52519
Name
Last commit
Last update
.github Loading commit data...
api Loading commit data...
doc Loading commit data...
lib/time Loading commit data...
misc Loading commit data...
src Loading commit data...
test Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
AUTHORS Loading commit data...
CONTRIBUTING.md Loading commit data...
CONTRIBUTORS Loading commit data...
LICENSE Loading commit data...
PATENTS Loading commit data...
README.md Loading commit data...
favicon.ico Loading commit data...
robots.txt Loading commit data...