Robert Griesemer
|
0e08b02ac5
spec: clarify rules for type set construction of an interface
|
2 years ago |
Jared Horvat
|
0b3cb1a56c
doc/go_spec.html: update type identity example
|
2 years ago |
Zach Collier
|
01c83be793
doc: add illegal octal over 255 example
|
2 years ago |
Robert Griesemer
|
ea858734be
spec: clarify type term restriction for type parameters
|
2 years ago |
Robert Griesemer
|
fe75fe3c7a
spec: various minor clarifications
|
2 years ago |
Robert Griesemer
|
59d80227ef
spec: clean up intro and replace bolded text with prose
|
2 years ago |
Robert Griesemer
|
00535b8398
spec: remove note re: field accesses on type literals
|
2 years ago |
Robert Griesemer
|
6fb07317e5
spec: more adjustments/corrections
|
2 years ago |
Robert Griesemer
|
46f352de2d
spec: remove notion of specific types
|
2 years ago |
Robert Griesemer
|
6e63be7b69
spec: document that type inference doesn't apply to generic types
|
2 years ago |
Robert Griesemer
|
3bb90a278a
spec: clarifications based on feedback
|
2 years ago |
Matthew Dempsky
|
b33592dcfd
spec: the -'s possessive suffix is English, not code
|
2 years ago |
Robert Griesemer
|
badbc52d82
spec: highlight missing prose for easier review, fixed a few sections
|
2 years ago |
Robert Griesemer
|
18e1a5a085
spec: combine section on type parameters and type parameter lists
|
2 years ago |
Robert Griesemer
|
ea9b1f1573
spec: add a section on implementing an interface
|
2 years ago |
Robert Griesemer
|
e50f0f372b
spec: describe processing of function arguments for type inference more precisely
|
2 years ago |
Kevin Burke
|
9fdcfb7c10
doc: fix spelling error in link ID
|
2 years ago |
Robert Griesemer
|
30501bbef9
spec: introduce notion of basic interface, misc. fine-tuning
|
2 years ago |
Robert Griesemer
|
ca3fae1e0e
spec: use the term "generic" rather than "(type-)parameterized"
|
2 years ago |
Robert Griesemer
|
11788aa6e0
spec: adjust rules to use core or specific types as necessary
|
2 years ago |
Robert Griesemer
|
99b61be9f5
spec: move all sections describing type properties into one place
|
2 years ago |
Robert Griesemer
|
3b8c716e0f
spec: document numeric operations behavior for generic types
|
2 years ago |
Robert Griesemer
|
9867262dfd
spec: document behavior of generic type switch cases
|
2 years ago |
Robert Griesemer
|
20c300bc70
spec: the type of a constant cannot be a type parameter
|
2 years ago |
Robert Griesemer
|
5d3476c3db
spec: use "core type" rather than "structural type"
|
2 years ago |
Robert Griesemer
|
3e514a0103
spec: explicitly define integer, floating-point, and complex types
|
2 years ago |
Robert Griesemer
|
9152e21132
spec: add section on comparable constraint
|
2 years ago |
Robert Griesemer
|
654d5f4b5d
spec: add section on type inference
|
2 years ago |
Robert Griesemer
|
db48840cfc
Revert "spec: document the underlying type of comparable"
|
2 years ago |
Robert Griesemer
|
719e9894f9
spec: document the underlying type of comparable
|
2 years ago |