cgen: minor fixes

vlib/builtin/string.v

@@ -1208,7 +1208,7 @@ pub fn (s string) reverse() string {
 		str: malloc(s.len)
 	}
 	for i := s.len - 1; i >= 0; i-- {
-		res[s.len - i - 1] = s[i]
+		res.str[s.len - i - 1] = s[i]
 	}
 	return res
 }

vlib/v/ast/ast.v

@@ -490,11 +490,11 @@ mut:
 
 pub struct MapInit {
 pub:
-	pos  	   token.Position
+	pos        token.Position
-	keys 	   []Expr
+	keys       []Expr
-	vals 	   []Expr
+	vals       []Expr
 mut:
-	typ  	   table.Type
+	typ        table.Type
 	key_type   table.Type
 	value_type table.Type
 }
@@ -510,8 +510,10 @@ pub:
 
 pub struct CastExpr {
 pub:
-	typ  table.Type
+	typ     table.Type
-	expr Expr
+	expr    Expr // `buf`
+	arg     Expr // `n` in `string(buf, n)`
+	has_arg bool
 }
 
 pub struct AssertStmt {

vlib/v/gen/cgen.v

@@ -415,10 +415,21 @@ fn (g mut Gen) expr(node ast.Expr) {
 
 		}
 		ast.CastExpr {
-			styp := g.table.type_to_str(it.typ)
+			if it.typ == table.string_type_idx {
-			g.write('($styp)(')
+				g.write('tos(')
-			g.expr(it.expr)
+				g.expr(it.expr)
-			g.write(')')
+				if it.has_arg {
+					g.write(',')
+					g.expr(it.arg)
+				}
+				g.write(')')
+			}
+			else {
+				styp := g.table.type_to_str(it.typ)
+				g.write('($styp)(')
+				g.expr(it.expr)
+				g.write(')')
+			}
 		}
 		ast.CharLiteral {
 			g.write("'$it.val'")

vlib/v/parser/parser.v

@@ -530,7 +530,7 @@ pub fn (p mut Parser) name_expr() ast.Expr {
 	// `map[string]int` initialization
 	if p.tok.lit == 'map' && p.peek_tok.kind == .lsbr {
 		map_type := p.parse_map_type()
-		return ast.MapInit {
+		return ast.MapInit{
 			typ: map_type
 		}
 	}
@@ -562,16 +562,21 @@ pub fn (p mut Parser) name_expr() ast.Expr {
 			to_typ := p.parse_type()
 			p.check(.lpar)
 			mut expr := ast.Expr{}
+			mut arg := ast.Expr{}
+			mut has_arg := false
 			expr = p.expr(0)
 			// TODO, string(b, len)
 			if p.tok.kind == .comma && table.type_idx(to_typ) == table.string_type_idx {
 				p.check(.comma)
-				p.expr(0) // len
+				arg = p.expr(0) // len
+				has_arg = true
 			}
 			p.check(.rpar)
 			node = ast.CastExpr{
 				typ: to_typ
 				expr: expr
+				arg: arg
+				has_arg: has_arg
 			}
 			p.expr_mod = ''
 			return node