@@ -24,7 +24,7 @@ namespace mlir {
2424class Value ;
2525}
2626
27- namespace heavy ::base_var {
27+ namespace heavy ::builtins_var {
2828heavy::ExternSyntax<> define_library;
2929heavy::ExternSyntax<> begin;
3030heavy::ExternSyntax<> export_;
@@ -105,7 +105,7 @@ heavy::ExternFunction is_source_value;
105105
106106bool HEAVY_BASE_IS_LOADED = false ;
107107
108- namespace heavy ::base {
108+ namespace heavy ::builtins {
109109// See Quasiquote.cpp
110110mlir::Value quote (OpGen& OG, Pair* P);
111111mlir::Value quasiquote (OpGen& OG, Pair* P);
@@ -358,7 +358,7 @@ void source_loc(Context& C, ValueRefs Args) {
358358 C.Cont (C.CreateSourceValue (Loc));
359359}
360360
361- } // end of namespace heavy::base
361+ } // end of namespace heavy::builtins
362362
363363namespace heavy {
364364struct NumberOp {
@@ -403,7 +403,7 @@ struct NumberOp {
403403
404404} // end namespace heavy
405405
406- namespace heavy ::base {
406+ namespace heavy ::builtins {
407407void call_cc (Context& C, ValueRefs Args) {
408408 if (Args.size () != 1 ) return C.RaiseError (" invalid arity" );
409409 C.CallCC (Args[0 ]);
@@ -877,84 +877,84 @@ void is_source_value(Context& C, ValueRefs Args) {
877877 return C.RaiseError (" invalid arity" );
878878 C.Cont (Bool (isa<heavy::SourceValue>(Args[0 ])));
879879}
880- } // end of namespace heavy::base
880+ } // end of namespace heavy::builtins
881881
882882// initialize the module for run-time independent of the compiler
883883void HEAVY_BASE_INIT (heavy::Context& Context) {
884884 Context.DialectRegistry ->insert <heavy::Dialect>();
885885 // syntax
886- HEAVY_BASE_VAR (define) = heavy::base ::define;
887- HEAVY_BASE_VAR (define_syntax) = heavy::base ::define_syntax;
888- HEAVY_BASE_VAR (syntax_rules) = heavy::base ::syntax_rules;
886+ HEAVY_BASE_VAR (define) = heavy::builtins ::define;
887+ HEAVY_BASE_VAR (define_syntax) = heavy::builtins ::define_syntax;
888+ HEAVY_BASE_VAR (syntax_rules) = heavy::builtins ::syntax_rules;
889889 HEAVY_BASE_VAR (ir_macro_transformer)
890- = heavy::base ::ir_macro_transformer;
891- HEAVY_BASE_VAR (if_) = heavy::base ::if_;
892- HEAVY_BASE_VAR (lambda) = heavy::base ::lambda;
893- HEAVY_BASE_VAR (quasiquote) = heavy::base ::quasiquote;
894- HEAVY_BASE_VAR (quote) = heavy::base ::quote;
895- HEAVY_BASE_VAR (set) = heavy::base ::set;
896- HEAVY_BASE_VAR (begin) = heavy::base ::begin;
897- HEAVY_BASE_VAR (cond_expand) = heavy::base ::cond_expand;
898- HEAVY_BASE_VAR (define_library) = heavy::base ::define_library;
899- HEAVY_BASE_VAR (export_) = heavy::base ::export_;
900- HEAVY_BASE_VAR (include) = heavy::base ::include_;
901- HEAVY_BASE_VAR (include_ci) = heavy::base ::include_ci;
890+ = heavy::builtins ::ir_macro_transformer;
891+ HEAVY_BASE_VAR (if_) = heavy::builtins ::if_;
892+ HEAVY_BASE_VAR (lambda) = heavy::builtins ::lambda;
893+ HEAVY_BASE_VAR (quasiquote) = heavy::builtins ::quasiquote;
894+ HEAVY_BASE_VAR (quote) = heavy::builtins ::quote;
895+ HEAVY_BASE_VAR (set) = heavy::builtins ::set;
896+ HEAVY_BASE_VAR (begin) = heavy::builtins ::begin;
897+ HEAVY_BASE_VAR (cond_expand) = heavy::builtins ::cond_expand;
898+ HEAVY_BASE_VAR (define_library) = heavy::builtins ::define_library;
899+ HEAVY_BASE_VAR (export_) = heavy::builtins ::export_;
900+ HEAVY_BASE_VAR (include) = heavy::builtins ::include_;
901+ HEAVY_BASE_VAR (include_ci) = heavy::builtins ::include_ci;
902902 HEAVY_BASE_VAR (include_library_declarations)
903- = heavy::base ::include_library_declarations;
904- HEAVY_BASE_VAR (source_loc) = heavy::base ::source_loc;
903+ = heavy::builtins ::include_library_declarations;
904+ HEAVY_BASE_VAR (source_loc) = heavy::builtins ::source_loc;
905905 HEAVY_BASE_VAR (parse_source_file).init (Context);
906906
907907 // functions
908- HEAVY_BASE_VAR (add) = heavy::base ::add;
909- HEAVY_BASE_VAR (sub) = heavy::base ::sub;
910- HEAVY_BASE_VAR (div) = heavy::base ::div;
911- HEAVY_BASE_VAR (mul) = heavy::base ::mul;
912- HEAVY_BASE_VAR (gt) = heavy::base ::gt;
913- HEAVY_BASE_VAR (lt) = heavy::base ::lt;
914- HEAVY_BASE_VAR (list) = heavy::base ::list;
915- HEAVY_BASE_VAR (length) = heavy::base ::length;
916- HEAVY_BASE_VAR (cons) = heavy::base ::cons;
917- HEAVY_BASE_VAR (car) = heavy::base ::car;
918- HEAVY_BASE_VAR (cdr) = heavy::base ::cdr;
919- HEAVY_BASE_VAR (append) = heavy::base ::append;
920- HEAVY_BASE_VAR (dump) = heavy::base ::dump;
921- HEAVY_BASE_VAR (write) = heavy::base ::write;
922- HEAVY_BASE_VAR (newline) = heavy::base ::newline;
923- HEAVY_BASE_VAR (string_append) = heavy::base ::string_append;
924- HEAVY_BASE_VAR (string_copy) = heavy::base ::string_copy;
925- HEAVY_BASE_VAR (string_length) = heavy::base ::string_length;
926- HEAVY_BASE_VAR (number_to_string) = heavy::base ::number_to_string;
927- HEAVY_BASE_VAR (eq) = heavy::base ::eqv;
928- HEAVY_BASE_VAR (equal) = heavy::base ::equal;
929- HEAVY_BASE_VAR (eqv) = heavy::base ::eqv;
930- HEAVY_BASE_VAR (call_cc) = heavy::base ::call_cc;
931- HEAVY_BASE_VAR (values) = heavy::base ::values;
932- HEAVY_BASE_VAR (call_with_values) = heavy::base ::call_with_values;
908+ HEAVY_BASE_VAR (add) = heavy::builtins ::add;
909+ HEAVY_BASE_VAR (sub) = heavy::builtins ::sub;
910+ HEAVY_BASE_VAR (div) = heavy::builtins ::div;
911+ HEAVY_BASE_VAR (mul) = heavy::builtins ::mul;
912+ HEAVY_BASE_VAR (gt) = heavy::builtins ::gt;
913+ HEAVY_BASE_VAR (lt) = heavy::builtins ::lt;
914+ HEAVY_BASE_VAR (list) = heavy::builtins ::list;
915+ HEAVY_BASE_VAR (length) = heavy::builtins ::length;
916+ HEAVY_BASE_VAR (cons) = heavy::builtins ::cons;
917+ HEAVY_BASE_VAR (car) = heavy::builtins ::car;
918+ HEAVY_BASE_VAR (cdr) = heavy::builtins ::cdr;
919+ HEAVY_BASE_VAR (append) = heavy::builtins ::append;
920+ HEAVY_BASE_VAR (dump) = heavy::builtins ::dump;
921+ HEAVY_BASE_VAR (write) = heavy::builtins ::write;
922+ HEAVY_BASE_VAR (newline) = heavy::builtins ::newline;
923+ HEAVY_BASE_VAR (string_append) = heavy::builtins ::string_append;
924+ HEAVY_BASE_VAR (string_copy) = heavy::builtins ::string_copy;
925+ HEAVY_BASE_VAR (string_length) = heavy::builtins ::string_length;
926+ HEAVY_BASE_VAR (number_to_string) = heavy::builtins ::number_to_string;
927+ HEAVY_BASE_VAR (eq) = heavy::builtins ::eqv;
928+ HEAVY_BASE_VAR (equal) = heavy::builtins ::equal;
929+ HEAVY_BASE_VAR (eqv) = heavy::builtins ::eqv;
930+ HEAVY_BASE_VAR (call_cc) = heavy::builtins ::call_cc;
931+ HEAVY_BASE_VAR (values) = heavy::builtins ::values;
932+ HEAVY_BASE_VAR (call_with_values) = heavy::builtins ::call_with_values;
933933 HEAVY_BASE_VAR (with_exception_handler)
934- = heavy::base ::with_exception_handler;
935- HEAVY_BASE_VAR (raise) = heavy::base ::raise;
936- HEAVY_BASE_VAR (error) = heavy::base ::error;
937- HEAVY_BASE_VAR (dynamic_wind) = heavy::base ::dynamic_wind;
938-
939- HEAVY_BASE_VAR (eval) = heavy::base ::eval;
940- HEAVY_BASE_VAR (op_eval) = heavy::base ::op_eval;
941- HEAVY_BASE_VAR (compile) = heavy::base ::compile;
934+ = heavy::builtins ::with_exception_handler;
935+ HEAVY_BASE_VAR (raise) = heavy::builtins ::raise;
936+ HEAVY_BASE_VAR (error) = heavy::builtins ::error;
937+ HEAVY_BASE_VAR (dynamic_wind) = heavy::builtins ::dynamic_wind;
938+
939+ HEAVY_BASE_VAR (eval) = heavy::builtins ::eval;
940+ HEAVY_BASE_VAR (op_eval) = heavy::builtins ::op_eval;
941+ HEAVY_BASE_VAR (compile) = heavy::builtins ::compile;
942942 HEAVY_BASE_VAR (module_path).init (Context);
943943
944- HEAVY_BASE_VAR (is_boolean) = heavy::base ::is_boolean;
945- HEAVY_BASE_VAR (is_bytevector) = heavy::base ::is_bytevector;
946- HEAVY_BASE_VAR (is_char) = heavy::base ::is_char;
947- HEAVY_BASE_VAR (is_eof_object) = heavy::base ::is_eof_object;
948- HEAVY_BASE_VAR (is_null) = heavy::base ::is_null;
949- HEAVY_BASE_VAR (is_number) = heavy::base ::is_number;
950- HEAVY_BASE_VAR (is_pair) = heavy::base ::is_pair;
951- HEAVY_BASE_VAR (is_port) = heavy::base ::is_port;
952- HEAVY_BASE_VAR (is_procedure) = heavy::base ::is_procedure;
953- HEAVY_BASE_VAR (is_string) = heavy::base ::is_string;
954- HEAVY_BASE_VAR (is_symbol) = heavy::base ::is_symbol;
955- HEAVY_BASE_VAR (is_vector) = heavy::base ::is_vector;
956- HEAVY_BASE_VAR (is_mlir_operation) = heavy::base ::is_mlir_operation;
957- HEAVY_BASE_VAR (is_source_value) = heavy::base ::is_source_value;
944+ HEAVY_BASE_VAR (is_boolean) = heavy::builtins ::is_boolean;
945+ HEAVY_BASE_VAR (is_bytevector) = heavy::builtins ::is_bytevector;
946+ HEAVY_BASE_VAR (is_char) = heavy::builtins ::is_char;
947+ HEAVY_BASE_VAR (is_eof_object) = heavy::builtins ::is_eof_object;
948+ HEAVY_BASE_VAR (is_null) = heavy::builtins ::is_null;
949+ HEAVY_BASE_VAR (is_number) = heavy::builtins ::is_number;
950+ HEAVY_BASE_VAR (is_pair) = heavy::builtins ::is_pair;
951+ HEAVY_BASE_VAR (is_port) = heavy::builtins ::is_port;
952+ HEAVY_BASE_VAR (is_procedure) = heavy::builtins ::is_procedure;
953+ HEAVY_BASE_VAR (is_string) = heavy::builtins ::is_string;
954+ HEAVY_BASE_VAR (is_symbol) = heavy::builtins ::is_symbol;
955+ HEAVY_BASE_VAR (is_vector) = heavy::builtins ::is_vector;
956+ HEAVY_BASE_VAR (is_mlir_operation) = heavy::builtins ::is_mlir_operation;
957+ HEAVY_BASE_VAR (is_source_value) = heavy::builtins ::is_source_value;
958958}
959959
960960// initializes the module and loads lookup information
0 commit comments