From 31ab2aa56d5a4c0189b16e9048283f03b4770845 Mon Sep 17 00:00:00 2001 From: heck Date: Tue, 20 Jun 2023 10:21:36 +0200 Subject: [PATCH] idl-api - add prefix "idl_" --- idl/idl_api.ysl2 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/idl/idl_api.ysl2 b/idl/idl_api.ysl2 index fbc4da8..cf374c8 100644 --- a/idl/idl_api.ysl2 +++ b/idl/idl_api.ysl2 @@ -107,7 +107,7 @@ def "func:idl_type_get_type_of_deftype" { when "func:idl_type_is_of_typekind_deftype($idltype)" choose { when "func:idl_typekind_is_generic($type_or_typekind)" - result call "type_of_generic_deftype" with "deftype", "$deftype"; + result call "idl_type_of_generic_deftype" with "deftype", "$deftype"; otherwise result "$type_or_typekind"; } @@ -116,7 +116,7 @@ def "func:idl_type_get_type_of_deftype" { } } -function "type_of_generic_deftype" { +function "idl_type_of_generic_deftype" { param "deftype"; const "generic_type", "$deftype/as/@type";