c_src: regenerate

[nit.git] / c_src / core__kernel.sep.0.h

diff --git a/c_src/core__kernel.sep.0.h b/c_src/core__kernel.sep.0.h
new file mode 100644 (file)
index 0000000..06ec411
--- /dev/null
+++ b/c_src/core__kernel.sep.0.h
@@ -0,0 +1,45 @@
+#include "nit.common.h"
+#define COLOR_core__kernel__Object___61d_61d 4
+#define COLOR_core__kernel__Object__object_id 7
+void nitc__abstract_compiler___core__Sys___main(val* self);
+long kernel___Sys_errno___impl( struct nitni_instance * self );
+#define COLOR_core__kernel__Comparable__OTHER 0
+extern const char FILE_core__kernel[];
+#define COLOR_core__kernel__Comparable___60d 15
+long core___core__Bool___to_i(short int self);
+long core___core__Bool___Object__hash(short int self);
+extern const struct class class_core__Float;
+extern const struct type type_core__Float;
+val* BOX_core__Float(double);
+double core___core__Float___Numeric__to_f(double self);
+long core___core__Float___Comparable___60d_61d_62d(double self, double p0);
+extern const struct type type_core__Byte;
+unsigned char core___core__Byte___Discrete__successor(unsigned char self, long p0);
+val* BOX_core__Byte(unsigned char);
+long core___core__Byte___Object__hash(unsigned char self);
+extern const struct class class_core__Byte;
+unsigned char kernel___Byte_rsh___impl( unsigned char self, long i );
+uint32_t kernel___Byte_ffi_ascii___impl( unsigned char self );
+unsigned char core___core__Byte___Numeric__to_b(unsigned char self);
+long core___core__Byte___Discrete__distance(unsigned char self, unsigned char p0);
+long core___core__Byte___Comparable___60d_61d_62d(unsigned char self, unsigned char p0);
+extern const struct type type_core__Int;
+long core___core__Int___Discrete__successor(long self, long p0);
+long core___core__Int___Object__hash(long self);
+long kernel___Int_lsh___impl( long self, long i );
+long kernel___Int_rsh___impl( long self, long i );
+long core___core__Int___Numeric__to_i(long self);
+long core___core__Int___Discrete__distance(long self, long p0);
+long core___core__Int___Comparable___60d_61d_62d(long self, long p0);
+uint32_t kernel___Int_cp___impl( long self );
+long core___core__Int___digit_count_base_95d10(long self);
+long core___core__Char___Object__hash(uint32_t self);
+extern const struct type type_core__Char;
+long core___core__Char___Discrete__distance(uint32_t self, uint32_t p0);
+short int core___core__Char___is_digit(uint32_t self);
+uint32_t core___core__Char___to_lower(uint32_t self);
+long kernel___Char_cp___impl( uint32_t self );
+short int core___core__Char___is_upper(uint32_t self);
+short int core___core__Char___is_lower(uint32_t self);
+int kernel___Pointer_address_is_null___impl( void* self );
+void kernel___Pointer_free___impl( void* self );