roland/xo-type
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

xo-interpreter2 stack: + more primitive function-type decoration

Browse source
This commit is contained in:
Roland Conybeare 2026-03-16 12:34:59 -05:00
commit 67228c0dc9
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
include/xo/type/Metatype.hpp
View file

@ -48,6 +48,9 @@ namespace xo {
/** any numeric type: i16|i32|i64|f32|f64 **/
t_numeric,
/** any callable type (e.g. all function types) **/
t_callable,
/* any type at all */
t_any,
};
@ -71,10 +74,11 @@ namespace xo {
static Metatype t_array() { return Metatype(code::t_array); }
static Metatype t_function() { return Metatype(code::t_function); }
static Metatype t_struct() { return Metatype(code::t_struct); }
static Metatype t_dict() { return Metatype(code::t_dict); }
static Metatype t_dict() { return Metatype(code::t_dict); }
static Metatype t_integer() { return Metatype(code::t_integer); }
static Metatype t_numeric() { return Metatype(code::t_numeric); }
static Metatype t_callable() { return Metatype(code::t_callable); }
static Metatype t_any() { return Metatype(code::t_any); }
/** description string for this type category **/

3
src/type/Metatype.cpp
View file

@ -32,6 +32,7 @@ namespace xo {
case code::t_integer: return "integer";
case code::t_numeric: return "numeric";
case code::t_callable: return "callable";
case code::t_any: return "any";
}
}
@ -77,6 +78,8 @@ namespace xo {
return true;
case code::t_numeric:
return true;
case code::t_callable:
return true;
case code::t_any:
return true;
}