Difference between revisions of "Currenttype"
From Mesham
Jump to navigationJump to search (Created page with '== Syntax == currentype varname; == Semantics == Will return the current type of the variable. == Example == var i: Int; var q:currentype i; Will declare ''q'' to be an…') |
(→Semantics) |
||
| Line 5: | Line 5: | ||
== Semantics == | == Semantics == | ||
| − | Will return the current type of the variable. | + | Will return the current type of the variable.<br><br> |
| + | ''Note:'' If a variable is used within a type context then this is assumed to be shorthand for the current type of that variable<br> | ||
| + | ''Note:'' This is a static construct and hence only available during compilation. It must be statically deducible and not used in a manner that is dynamic. | ||
== Example == | == Example == | ||
Revision as of 13:49, 12 January 2013
Syntax
currentype varname;
Semantics
Will return the current type of the variable.
Note: If a variable is used within a type context then this is assumed to be shorthand for the current type of that variable
Note: This is a static construct and hence only available during compilation. It must be statically deducible and not used in a manner that is dynamic.
Example
var i: Int; var q:currentype i;
Will declare q to be an integer the same type as i.
