Difference between revisions of "Currenttype"

From Mesham
Jump to navigationJump to search
(Semantics)
m
Line 15: Line 15:
  
 
Will declare ''q'' to be an integer the same type as ''i''.
 
Will declare ''q'' to be an integer the same type as ''i''.
 +
 +
''Since: Version 0.5''
  
 
[[Category:Sequential]]
 
[[Category:Sequential]]
 
[[Category:Types]]
 
[[Category:Types]]

Revision as of 18:09, 13 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.

Since: Version 0.5