+def generate_integer_literal(c_integer_literal):
+ return 'integerLiteral({})'.format(c_integer_literal.value)
+
+def generate_string_literal(c_string_literal):
+ return 'stringLiteral(STRING_LITERAL_LIST[{}] /* string: {} */)'.format(
+ c_string_literal.index,
+ repr(c_string_literal.value),
+ )
+
+def generate_symbol_expression(symbol_expression):
+ return 'Environment_get(environment, SYMBOL_LIST[{}] /* symbol: {} */)'.format(
+ symbol_expression.symbol_list_index,
+ symbol_expression.symbol,
+ )
+
+def generate_variable_expression(expression):
+ return expression.variable
+
+def generate_structure_literal_expression(expression):
+ return 'Structure_construct({}, {}, {})'.format(
+ expression.field_count,
+ expression.symbol_list_variable,
+ expression.value_list_variable,
+ )
+
+def generate_lambda_expression(expression):
+ return '(Object){{ CLOSURE, (Instance)(Closure){{ environment, user${}$implementation }} }}'.format(
+ expression.name,
+ )
+
+def generate_list_construct_expression(expression):
+ return 'List_construct({})'.format(expression.allocate)
+
+def generate_expression(expression):
+ return {
+ transformation.CFunctionCallExpression: generate_function_call,
+ transformation.CIntegerLiteral: generate_integer_literal,
+ transformation.CLambdaExpression: generate_lambda_expression,
+ transformation.CListConstructExpression: generate_list_construct_expression,
+ transformation.CStringLiteral: generate_string_literal,
+ transformation.CStructureLiteralExpression: generate_structure_literal_expression,
+ transformation.CSymbolExpression: generate_symbol_expression,
+ transformation.CVariableExpression: generate_variable_expression,
+ }[type(expression)](expression)
+
+def generate_function_call(function_call):
+ # This gets called twice, so we want to be sure it is efficient and without side effects
+ assert isinstance(function_call.function_expression, transformation.CVariableExpression)
+
+ # TODO Check the type of the things being called
+ function_expression = generate_variable_expression(function_call.function_expression)
+ return '{}.instance.closure.call(environmentPool, {}.instance.closure.closed, {}, stack, {}, jump)'.format(
+ function_expression,
+ function_expression,
+ function_call.argument_count,
+ function_call.metadata.line,
+ )
+
+def generate_expression_statement(statement):
+ return 'Object_deinitialize(&({}));'.format(generate_expression(statement.expression))
+
+def generate_symbol_assignment_statement(statement):
+ return 'Environment_set(environment, SYMBOL_LIST[{}] /* symbol: {} */, {});'.format(
+ statement.target_symbol_list_index,
+ statement.target,
+ generate_expression(statement.expression),
+ )
+
+def generate_array_variable_initialization_statement(statement):
+ return 'Object {}[] = {{ {} }};'.format(
+ statement.variable,
+ ', '.join(generate_expression(i) for i in statement.items),
+ )
+
+def generate_symbol_array_variable_initialization_statement(statement):
+ return 'const char* {}[] = {{ {} }};'.format(
+ statement.variable,
+ ', '.join('SYMBOL_LIST[{}] /* symbol: "{}" */'.format(
+ statement.symbol_list_indices[i],
+ statement.symbol_list[i],
+ ) for i in range(len(statement.symbol_list))),
+ )