tmp/tmpj480v0v2/{from.md → to.md}
RENAMED
|
@@ -1,9 +1,9 @@
|
|
| 1 |
-
####
|
| 2 |
|
| 3 |
-
type of an expression
|
| 4 |
-
|
| 5 |
|
| 6 |
[*Note 1 to entry*: The static type of an expression depends only on
|
| 7 |
the form of the program in which the expression appears, and does not
|
| 8 |
change while the program is executing. — *end note*]
|
| 9 |
|
|
|
|
| 1 |
+
#### 61 static type <a id="defns.static.type">[[defns.static.type]]</a>
|
| 2 |
|
| 3 |
+
type of an expression resulting from analysis of the program without
|
| 4 |
+
considering execution semantics
|
| 5 |
|
| 6 |
[*Note 1 to entry*: The static type of an expression depends only on
|
| 7 |
the form of the program in which the expression appears, and does not
|
| 8 |
change while the program is executing. — *end note*]
|
| 9 |
|