added parsing of constant type params

Author: ncannasse

hscript/Expr.hx

@@ -80,6 +80,7 @@ enum CType {
 	CTParent( t : CType );
 	CTOpt( t : CType );
 	CTNamed( n : String, t : CType );
+	CTExpr( e : Expr ); // for type parameters only
 }
 
 #if hscriptPos

hscript/Macro.hx

@@ -90,7 +90,7 @@ class Macro {
 		}
 	}
 
-	function map < T, R > ( a : Array<T>, f : T -> R ) : Array<R> {
+	function map<T,R>( a : Array<T>, f : T -> R ) : Array<R> {
 		var b = new Array();
 		for( x in a )
 			b.push(f(x));
@@ -102,9 +102,13 @@ class Macro {
 		case CTOpt(t): TOptional(convertType(t));
 		case CTPath(pack, args):
 			var params = [];
-			if( args != null )
+			if( args != null ) {
 				for( t in args )
-					params.push(TPType(convertType(t)));
+					params.push(switch( t ) {
+					case CTExpr(e): TPExpr(convert(e));
+					default: TPType(convertType(t));
+					});
+			}
 			TPath({
 				pack : pack,
 				name : pack.pop(),
@@ -127,6 +131,8 @@ class Macro {
 				tf.push( { name : f.name, meta : meta, doc : null, access : [], kind : FVar(convertType(f.t), null), pos : p } );
 			}
 			TAnonymous(tf);
+		case CTExpr(_):
+			throw "assert";
 		};
 	}
 

hscript/Parser.hx

@@ -916,7 +916,13 @@ class Parser {
 				if( op == "<" ) {
 					params = [];
 					while( true ) {
-						params.push(parseType());
+						switch( token() ) {
+						case TConst(c):
+							params.push(CTExpr(mk(EConst(c))));
+						case tk:
+							push(tk);
+							params.push(parseType());
+						}
 						t = token();
 						switch( t ) {
 						case TComma: continue;
@@ -942,8 +948,8 @@ class Parser {
 			}
 			return parseTypeNext(CTPath(path, params));
 		case TPOpen:
-			var a = token(),
-					b = token();
+			var a = token();
+			var b = token();
 
 			push(b);
 			push(a);

hscript/Printer.hx

@@ -98,6 +98,8 @@ class Printer {
 			add("(");
 			type(t);
 			add(")");
+		case CTExpr(e):
+			expr(e);
 		}
 	}
 
@@ -108,18 +110,21 @@ class Printer {
 		}
 	}
 
+	function addConst( c : Const ) {
+		switch( c ) {
+		case CInt(i): add(i);
+		case CFloat(f): add(f);
+		case CString(s): add('"'); add(s.split('"').join('\\"').split("\n").join("\\n").split("\r").join("\\r").split("\t").join("\\t")); add('"');
+		}
+	}
+
 	function expr( e : Expr ) {
 		if( e == null ) {
 			add("??NULL??");
 			return;
 		}
 		switch( #if hscriptPos e.e #else e #end ) {
-		case EConst(c):
-			switch( c ) {
-			case CInt(i): add(i);
-			case CFloat(f): add(f);
-			case CString(s): add('"'); add(s.split('"').join('\\"').split("\n").join("\\n").split("\r").join("\\r").split("\t").join("\\t")); add('"');
-			}
+		case EConst(c): addConst(c);
 		case EIdent(v):
 			add(v);
 		case EVar(n, t, e):