diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 16:15:03 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 16:15:03 +0200 |
| commit | 1f5491a5af7bd0f1ec4046994d6344886465cba5 (patch) | |
| tree | 9ca3af2221cdbc302b932b67965791a8065699a9 /lib/CWayland/CWayland.cc | |
| parent | ad4d34bba7671fdf75850a312c7eeeaeb990a9d3 (diff) | |
initial codegen
Diffstat (limited to 'lib/CWayland/CWayland.cc')
| -rw-r--r-- | lib/CWayland/CWayland.cc | 8 |
1 files changed, 8 insertions, 0 deletions
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<wl_proxy*>(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 |