通过插件的静态推导修复了一些错误

This commit is contained in:
TermiNexus committed 2026-07-30 17:28:27 +08:00
1 parent 065fcbdf43
commit 49d074e487
3 files changed
+3 -2

No files matched your search

+1
View File
@@ -31,6 +31,7 @@ import execrunner.elf as elf
import t, c
import asm
kbd_tid: t.CInt = -1
mse_tid: t.CInt = -1
+1 -1
View File
@@ -94,7 +94,7 @@ class ProcessManager:
current_pid: t.CInt
count: t.CInt
def __init__():
def __init__(self):
global _proc_mgr_ptr
_proc_mgr_ptr = c.Addr(_proc_mgr)
m: ProcessManager | t.CPtr = _proc_mgr_ptr
+1 -1
View File
@@ -65,7 +65,7 @@ class Scheduler:
needs_reschedule: t.CInt
tick_count: t.CInt
def __init__():
def __init__(self):
global _sched_ptr
_sched_ptr = c.Addr(_sched_storage)
s: Scheduler | t.CPtr = _sched_ptr