Difference between revisions of "Currenttype"

From Mesham
Jump to navigationJump to search
m
Line 11: Line 11:
 
== Example ==
 
== Example ==
  
  var i: Int;
+
  function void main() {
var q:currentype i;
+
    var i: Int;
 +
    var q:currentype i;
 +
};
  
 
Will declare ''q'' to be an integer the same type as ''i''.
 
Will declare ''q'' to be an integer the same type as ''i''.

Revision as of 14:09, 15 April 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

function void main() {
   var i: Int;
   var q:currentype i;
};

Will declare q to be an integer the same type as i.

Since: Version 0.5