def syntax_check(ast, M): 'Ensure syntactic rules of language have been kept' #Ensure all functions and tuples have bounded arity Front.arity_check(ast) #Ensure all functions and conditionals end in return statements Front.return_check(ast) #Ensure builtins are not overridden Front.builtin_check(ast) return ast
def return_check(ast, M): 'Ensure all functions and conditionals end in return statements' Front.return_check(ast) return ast