diff options
Diffstat (limited to '')
| -rw-r--r-- | src/inpla.y | 38 |
1 files changed, 26 insertions, 12 deletions
diff --git a/src/inpla.y b/src/inpla.y index a337f25..f5da2a8 100644 --- a/src/inpla.y +++ b/src/inpla.y @@ -22,8 +22,8 @@ // ---------------------------------------------- -#define VERSION "0.12.2" -#define BUILT_DATE "16 Mar 2024" +#define VERSION "0.12.3" +#define BUILT_DATE "18 Apr 2024" // ------------------------------------------------------------------ @@ -3726,7 +3726,7 @@ int CmEnv_check_name_reference_times(void) { int i; for (i=0; i<CmEnv.bindPtr; i++) { if (CmEnv.bind[i].type == NB_NAME) { - if (CmEnv.bind[i].refnum > 2) { + if (CmEnv.bind[i].refnum > 1) { printf("%d:ERROR: The name `%s' occurs more than twice.\n", yylineno, CmEnv.bind[i].name); return 0; @@ -6064,8 +6064,19 @@ int Ast_make_annotation_TailCallOptimisation(Ast *mainbody) { return 0; } - - Ast_RewriteOptimisation_eqlist(eqs); + + // DEBUG: 13 Apr 2024 + // Improvement plan: + // To check the syntax, the compilation should be done first. + // Next, if the rewriting deals with at least one ap pair, + // the compilation should be redo. + // But, this rewriting optimisation is really needed? + // This must be required for rules, but this is a top level program, + // and it is executed just one time... + // + // Ast_RewriteOptimisation_eqlist(eqs); + + // ast_puts(eqs);puts(""); if (Ast_eqs_has_agentID(eqs, AST_ANNOTATION_L)) { @@ -6874,11 +6885,11 @@ int check_invalid_occurrence(Ast *ast) { if (ast->id == AST_NAME) { int sym_id = NameTable_get_id(ast->left->sym); - if (IS_GNAMEID(sym_id)) { // already exists as a global VALUE aheap = IdTable_get_heap(sym_id); + /* // it is connected with something. if (NAME(aheap)->port != (VALUE)NULL) { @@ -11132,13 +11143,16 @@ int exec(Ast *at) { // aplist at = at->right; + + /* // for aplists - // puts(""); ast_puts(at); puts(""); - // Ast_RewriteOptimisation_eqlist(at); - // puts(""); ast_puts(at); puts(""); - // // exit(1); - - Ast_RewriteOptimisation_eqlist(at); + puts(""); ast_puts(at); puts(""); + Ast_RewriteOptimisation_eqlist(at); + puts(""); ast_puts(at); puts(""); + exit(1); + */ + + // Ast_RewriteOptimisation_eqlist(at); // Syntax error check { |