27 lines
1.0 KiB
Plaintext
27 lines
1.0 KiB
Plaintext
### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
|
|
// Begin of Foo (from "<...>/spicyc-hello-world.spicy")
|
|
// Compiled by HILTI version X.X.X
|
|
|
|
#include <hilti/rt/compiler-setup.h>
|
|
|
|
#include <spicy/rt/libspicy.h>
|
|
#include <hilti/rt/libhilti.h>
|
|
|
|
extern const char* __hlt_hlto_scope;
|
|
|
|
namespace __hlt::Foo {
|
|
extern void __init_module();
|
|
extern void __register_module();
|
|
}
|
|
|
|
HILTI_PRE_INIT(__hlt::Foo::__register_module)
|
|
|
|
extern void __hlt::Foo::__init_module() {
|
|
__location__("<...>/spicyc-hello-world.spicy:8:1-8:22");
|
|
::hilti::rt::print("Hello, world!"s, &::hilti::rt::type_info::string, ::hilti::rt::Bool(true));
|
|
__location__("<...>/spicyc-hello-world.spicy:9:1-9:24");
|
|
::hilti::rt::tuple::print(hilti::rt::tuple::make_from_optionals(std::make_optional("Hello"s), std::make_optional("world!"s)), ::hilti::rt::Bool(true));
|
|
}
|
|
|
|
extern void __hlt::Foo::__register_module() { ::hilti::rt::detail::registerModule({ "Foo", __hlt_hlto_scope, &__init_module, nullptr, nullptr, nullptr}); }
|