diff --git a/tests/failing_tests/named_arg.py b/tests/failing_tests/named_arg.py index efa1c69..edfe324 100644 --- a/tests/failing_tests/named_arg.py +++ b/tests/failing_tests/named_arg.py @@ -4,6 +4,14 @@ from pythonbpf.maps import HashMap from ctypes import c_void_p, c_int64 +# NOTE: This example exposes the problems with our typing system. +# We assign every variable the type i64* by default. +# lookup() return type is ptr, which can't be loaded. +# So we can't do steps on line 25 and 27. +# To counter this, we should allocate vars by speculating their type. +# And in the assign pass, we should have something like a +# recursive_dereferencer() that dereferences a ptr until it hits a non-ptr type. +# And a recursive_wrapper() that does the opposite. @bpf @map