v/vlib/compiler/tests/type_test.v

struct Human { name string }

pub fn (h Human) str() string { return 'Human: $h.name' }

type Person Human

fn test_type_print() {
	p := Person{'Bilbo'}
	println(p)
	assert p.str() == 'Human: Bilbo'
}

pub fn (h Person) str() string { return 'Person: $h.name' }

fn test_person_str() {
	p := Person{'Bilbo'}
	println(p)
	assert p.str() == 'Person: Bilbo'
}

struct Foo {}

type Expr = Foo | BoolExpr |  BinExpr | UnaryExpr

struct BoolExpr {
	foo int

}

struct BinExpr {
	name string
}

fn expr1() Expr {
	mut e := Expr{}
	e = BinExpr{'binexpr'}
	return e
	//return BinExpr{}
}

fn expr() Expr {
	return BinExpr{}
}

struct UnaryExpr {

}


fn handle_expr(e Expr) {

}

fn parse_bool() BoolExpr {
	return BoolExpr{}
}

fn test_sum_type_cast() {
	a := expr1()
	b := a as BinExpr
	assert b.name == 'binexpr'
}

fn test_sum_types() {
	b := parse_bool()
	handle_expr(b)
}

/*
#define ExprType_BoolExpr 0
#define ExprType_BinExpr 1
#define ExprType_UnaryExpr 2

struct Expr {
	int   typ;
	void* obj;
}
*/