mirror of
https://github.com/golang/go
synced 2024-11-24 21:10:04 -07:00
go_spec: use PrimaryExpr as type switch expression
Without this change, the spec parses <-c.(type) as (<-c).(type) but parses <-c.(int) as <-(c.(int)). With this change, the former parses as <-(c.(type)). All three parsers already implement this rule, because they look for the "type" word during parsing of a standard type assertion. This change merely brings the spec in line with the implementations. http://code.google.com/p/go/source/browse/src/cmd/gc/go.y#801 http://code.google.com/p/go/source/browse/src/pkg/go/parser/parser.go#900 http://gcc.gnu.org/viewcvs/branches/gccgo/gcc/go/parse.cc?revision=155389&view=markup#l2469 Pointed out by Brett Kail on golang-nuts. R=gri CC=golang-dev https://golang.org/cl/182044
This commit is contained in:
parent
e1033d07b4
commit
c1045db1d8
@ -3611,7 +3611,7 @@ in the type assertion.
|
||||
|
||||
<pre class="ebnf">
|
||||
TypeSwitchStmt = "switch" [ SimpleStmt ";" ] TypeSwitchGuard "{" { TypeCaseClause } "}" .
|
||||
TypeSwitchGuard = [ identifier ":=" ] Expression "." "(" "type" ")" .
|
||||
TypeSwitchGuard = [ identifier ":=" ] PrimaryExpr "." "(" "type" ")" .
|
||||
TypeCaseClause = TypeSwitchCase ":" { Statement ";" } .
|
||||
TypeSwitchCase = "case" TypeList | "default" .
|
||||
TypeList = Type { "," Type } .
|
||||
|
Loading…
Reference in New Issue
Block a user