Improved type system

This commit is contained in:
Eduard Urbach 2025-02-09 23:52:07 +01:00
parent c0ffddaba8
commit 2e3857622a
Signed by: eduard
GPG key ID: 49226B848C78F6C8
30 changed files with 132 additions and 85 deletions

View file

@ -1,13 +1,13 @@
read(fd Int, address Pointer, length Int) -> Int {
read(fd Int, address *Any, length Int) -> Int {
return syscall(0x2000003, fd, address, length)
}
write(fd Int, address Pointer, length Int) -> Int {
write(fd Int, address *Any, length Int) -> Int {
return syscall(0x2000004, fd, address, length)
}
open(file Pointer, flags Int, mode Int) -> Int {
return syscall(0x2000005, file, flags, mode)
open(path *Any, flags Int, mode Int) -> Int {
return syscall(0x2000005, path, flags, mode)
}
close(fd Int) -> Int {