From 1f5491a5af7bd0f1ec4046994d6344886465cba5 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Sun, 5 Apr 2026 16:15:03 +0200 Subject: initial codegen --- lib/CWayland/CWayland.cc | 8 ++++++++ lib/CWayland/CWayland.h | 1 + 2 files changed, 9 insertions(+) (limited to 'lib/CWayland') diff --git a/lib/CWayland/CWayland.cc b/lib/CWayland/CWayland.cc index 5f9b052..0c02d66 100644 --- a/lib/CWayland/CWayland.cc +++ b/lib/CWayland/CWayland.cc @@ -1279,4 +1279,12 @@ lean_obj_res waylean_proxy_keep(b_lean_obj_arg proxy) { (void)proxy; return lean_io_result_mk_ok(lean_box(0)); +} + +// Proxy.getType : (proxy : @& Proxy) → IO String +lean_obj_res waylean_proxy_get_type(b_lean_obj_arg proxy_obj) +{ + auto proxy = static_cast(lean_get_external_data(proxy_obj)); + auto name = wl_proxy_get_interface(proxy)->name; + return lean_io_result_mk_ok(lean_mk_string(name)); } \ No newline at end of file diff --git a/lib/CWayland/CWayland.h b/lib/CWayland/CWayland.h index 74ed5e6..1eeb98f 100644 --- a/lib/CWayland/CWayland.h +++ b/lib/CWayland/CWayland.h @@ -82,6 +82,7 @@ lean_obj_res waylean_proxy_send_constructor(b_lean_obj_arg proxy, lean_obj_res waylean_proxy_listen (b_lean_obj_arg proxy, lean_obj_arg handler); lean_obj_res waylean_proxy_keep (b_lean_obj_arg proxy); +lean_obj_res waylean_proxy_get_type (b_lean_obj_arg proxy); #ifdef __cplusplus } -- cgit v1.3.1