Improved type system

This commit is contained in:
Eduard Urbach 2025-02-17 14:31:47 +01:00
parent 78f2670553
commit 6eab48c586
Signed by: eduard
GPG key ID: 49226B848C78F6C8
62 changed files with 189 additions and 172 deletions

View file

@ -1,15 +1,15 @@
read(fd Int, buffer *Any, length Int) -> Int {
read(fd int, buffer *any, length int) -> int {
return syscall(0x2000003, fd, buffer, length)
}
write(fd Int, buffer *Any, length Int) -> Int {
write(fd int, buffer *any, length int) -> int {
return syscall(0x2000004, fd, buffer, length)
}
open(path *Any, flags Int, mode Int) -> Int {
open(path *any, flags int, mode int) -> int {
return syscall(0x2000005, path, flags, mode)
}
close(fd Int) -> Int {
close(fd int) -> int {
return syscall(0x2000006, fd)
}