X-Git-Url: https://code.kerkeslager.com/?p=fur;a=blobdiff_plain;f=generation.py;h=6c1cf0b6e736e408b8c228536498f74c725c2caa;hp=145132f5abb996b3b6ca1235e2e1c27282bfd365;hb=aa339c441f43849a8cae256aa130278ca7618b7e;hpb=8d6f07b43d8b41473fb7d8779bbc7a5843adcd7b diff --git a/generation.py b/generation.py index 145132f..6c1cf0b 100644 --- a/generation.py +++ b/generation.py @@ -26,13 +26,6 @@ def generate_symbol_expression(symbol_expression): def generate_variable_expression(expression): return expression.variable -def generate_function_call_for_fur_infix_operator(expression): - return 'operator${}({}, {})'.format( - expression.name, - generate_expression(expression.left), - generate_expression(expression.right), - ) - def generate_structure_literal_expression(expression): return 'Structure_construct({}, {}, {})'.format( expression.field_count, @@ -40,52 +33,37 @@ def generate_structure_literal_expression(expression): expression.value_list_variable, ) -def generate_dot_expression(expression): - return 'Structure_get(&{}, SYMBOL_LIST[{}] /* symbol: "{}" */)'.format( - generate_variable_expression(expression.instance), - expression.symbol_list_index, - expression.symbol, +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_list_get_expression(expression): - return 'List_get(&{}, {})'.format( - generate_expression(expression.list_expression), - generate_expression(expression.index_expression), - ) - def generate_expression(expression): return { - transformation.CDotExpression: generate_dot_expression, transformation.CFunctionCallExpression: generate_function_call, - transformation.CFunctionCallForFurInfixOperator: generate_function_call_for_fur_infix_operator, transformation.CIntegerLiteral: generate_integer_literal, + transformation.CLambdaExpression: generate_lambda_expression, transformation.CListConstructExpression: generate_list_construct_expression, - transformation.CListGetExpression: generate_list_get_expression, - transformation.CNegationExpression: generate_negation_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_negation_expression(c_negation_expression): - return 'operator$negate({})'.format( - generate_expression(c_negation_expression.value) - ) - 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)'.format( + 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): @@ -162,7 +140,10 @@ def generate_if_else_statement(statement): return generated_if_clause + generated_if_statement_list + generated_else_statement_list def generate_function_declaration(statement): - return 'Environment_set(environment, "{}", (Object){{ CLOSURE, (Instance)(Closure){{ environment, user${}$implementation }} }});'.format(statement.name, statement.name) + return 'Environment_set(environment, "{}", (Object){{ CLOSURE, (Instance)(Closure){{ environment, user${}$implementation }} }});'.format( + statement.name, + statement.name, + ) def generate_list_append_statement(statement): return 'List_append(&{}, {});'.format(