hblang/README.md

@@ -237,7 +237,7 @@ main := fn(): int {
 	size_of_Type_in_bytes := @sizeof(foo.Type)
 	align_of_Type_in_bytes := @alignof(foo.Type)
 	hardcoded_pointer := @as(^u8, @bitcast(10))
-	ecall_that_returns_int := @as(int, @eca(1, foo.Type.(10, 20), 5, 6))
+	ecall_that_returns_int := @eca(int, 1, foo.Type.(10, 20), 5, 6)
 	return @inline(foo.foo)
 }
 
@@ -399,8 +399,8 @@ modify := fn($num: ^int): void {
 MALLOC_SYS_CALL := 69
 FREE_SYS_CALL := 96
 
-malloc := fn(size: uint, align: uint): ^void return @eca(MALLOC_SYS_CALL, size, align)
-free := fn(ptr: ^void, size: uint, align: uint): void return @eca(FREE_SYS_CALL, ptr, size, align)
+malloc := fn(size: uint, align: uint): ^void return @eca(^void, MALLOC_SYS_CALL, size, align)
+free := fn(ptr: ^void, size: uint, align: uint): void return @eca(void, FREE_SYS_CALL, ptr, size, align)
 
 Vec := fn($Elem: type): type {
 	return struct {
@@ -773,7 +773,7 @@ screenidx := fn(orange: int): int {
 // in module: random.hb
 
 integer := fn(min: int, max: int): int {
-	rng := @as(int, @eca(3, 4))
+	rng := @eca(int, 3, 4)
 
 	if min != 0 | max != 0 {
 		return rng % (max - min + 1) + min
@@ -804,7 +804,7 @@ main := fn(): void {
 
 // in module: random.hb
 integer_range := fn(min: uint, max: int): uint {
-	return @eca(3, 4) % (@bitcast(max) - min + 1) + min
+	return @eca(uint, 3, 4) % (@bitcast(max) - min + 1) + min
 }
 ```
 
@@ -899,7 +899,7 @@ request_page := fn(page_count: u8): ^u8 {
 	msg := "\{00}\{01}xxxxxxxx\0"
 	msg_page_count := msg + 1;
 	*msg_page_count = page_count
-	return @eca(3, 2, msg, 12)
+	return @eca(^u8, 3, 2, msg, 12)
 }
 
 create_back_buffer := fn(total_pages: int): ^u32 {

hblang/src/codegen.rs

@@ -898,21 +898,13 @@ impl Codegen {
             E::Directive { name: "TypeOf", args: [expr], .. } => {
                 Some(Value::ty(self.infer_type(expr)))
             }
-            E::Directive { name: "eca", args, pos } => {
-                let Some(ty) = ctx.ty else {
-                    self.report(
-                        pos,
-                        "type to return form eca is unknown, use `@as(<type>, @eca(...<expr>))`",
-                    );
-                };
+            E::Directive { name: "eca", args: [ret_ty, args @ ..], .. } => {
+                let ty = self.ty(ret_ty);
 
                 let mut parama = self.tys.parama(ty);
                 let base = self.pool.arg_locs.len();
                 for arg in args {
                     let arg = self.expr(arg)?;
-                    if arg.ty == ty::Id::from(ty::TYPE) {
-                        self.report(pos, "na na na nana, no passing types to ecas");
-                    }
                     self.pass_arg(&arg, &mut parama);
                     self.pool.arg_locs.push(arg.loc);
                 }
@@ -940,7 +932,7 @@ impl Codegen {
                 let Some(ty) = ctx.ty else {
                     self.report(
                         expr.pos(),
-                        "type to cast to is unknown, use `@as(<type>, @intcast(<expr>))`",
+                        "type to cast to is unknown, use `@as(<type>, <expr>)`",
                     );
                 };
                 let mut val = self.expr(val)?;