include_c "math.h";
use "basic_models.g";

struct foo<T, U, V> 
where { DefaultConstructible<T>, Regular<T>,
	DefaultConstructible<U>, Regular<U>,
	DefaultConstructible<V>, Regular<V> }
{
  T w;
  U x;
  V y;
};

/* Would be nice to have constraints propagation here! */
fun w<T, U, V> 
where { DefaultConstructible<T>, Regular<T>,
	DefaultConstructible<U>, Regular<U>,
	DefaultConstructible<V>, Regular<V> }
(foo<T, U, V> f) -> T { return f.w; }

fun x<T, U, V> 
where { DefaultConstructible<T>, Regular<T>,
	DefaultConstructible<U>, Regular<U>,
	DefaultConstructible<V>, Regular<V> }
(foo<T, U, V> f) -> U { return f.x; }

fun y<T, U, V> 
where { DefaultConstructible<T>, Regular<T>,
	DefaultConstructible<U>, Regular<U>,
	DefaultConstructible<V>, Regular<V> }
(foo<T, U, V> f) -> V { return f.y; }

fun main() -> int@ {
  let f = @foo<double,int,double>{ w = 2.0, x = 3, y = 4.0 };
  return (d2i(floor(f.w + f.y)) + f.x) - (d2i(floor(w(f) + y(f))) + x(f));
}