Evaluation of 'b_abs' generates the new AST construct 'frozen_b_abs', whose only purpose is evaluating the frozen dimensions
Define 'b_apply' using 'frozen_b_abs', '@' (perturbation) and 't' (tuple expression).
Please note that '@' and 't' had not be used for expressions generated internally by tcore so far
Re-introduce '?' for context queries generated by transformation 1
Functions are recognized only in where clauses as all other variable declarations
Add relevant tests in fn_tests module, using AST
Other notes:
Integration with the parser is not complete yet, in particular re base abstractions with multiple arguments and base applications;
Tests in fn_tests module should be complete re base abstractions/application. They only need to be rewritten using the parser when integration will be complete.
This pull request depends on pull request #38 (Implement transform 1 for base abs and apply).
Main changes:
Other notes:
This pull request depends on pull request #38 (Implement transform 1 for base abs and apply).