4J4ZN71 (hak) 52> make test *** Make tidy: *** Tidying up trash (if any) ... *** Make test: *** Running bld ./examples/Test1.bld Reading token: 'DOCUMENT' *** Do you want to see the step-by-step trace? (y/n) [y] > y *** Tracing is turned on (enter 'quit' to exit trace mode) Seeing token: 'DOCUMENT' located in: ./examples/Test1.bld (line 3, columns 1...8) in state: 0 reducing with: [98] $ACTION0$ --> to state: 4 -------------------------------------------------- parser stack ==> stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [1] > Seeing token: 'DOCUMENT' located in: ./examples/Test1.bld (line 3, columns 1...8) in state: 4 reducing with: [78] IriMeta_opt --> to state: 6 -------------------------------------------------- parser stack ==> stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [2] > Shifting token: 'DOCUMENT' located in: ./examples/Test1.bld (line 3, columns 1...8) from state: 6 to state: 64 -------------------------------------------------- parser stack ==> stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [3] > Reading token: 'OPENPAR' Shifting token: 'OPENPAR' located in: ./examples/Test1.bld (line 4, column 3) from state: 64 to state: 65 -------------------------------------------------- parser stack ==> stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [4] > Reading token: 'GROUP' Seeing token: 'GROUP' located in: ./examples/Test1.bld (line 16, columns 3...7) in state: 65 reducing with: [21] Base_opt --> to state: 66 -------------------------------------------------- parser stack ==> stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [5] > Seeing token: 'GROUP' located in: ./examples/Test1.bld (line 16, columns 3...7) in state: 66 reducing with: [23] Prefix_star --> to state: 73 -------------------------------------------------- parser stack ==> stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [6] > Seeing token: 'GROUP' located in: ./examples/Test1.bld (line 16, columns 3...7) in state: 73 reducing with: [25] Import_star --> to state: 76 -------------------------------------------------- parser stack ==> stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [7] > Seeing token: 'GROUP' located in: ./examples/Test1.bld (line 16, columns 3...7) in state: 76 reducing with: [78] IriMeta_opt --> to state: 86 -------------------------------------------------- parser stack ==> stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [8] > Shifting token: 'GROUP' located in: ./examples/Test1.bld (line 16, columns 3...7) from state: 86 to state: 88 -------------------------------------------------- parser stack ==> stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [9] > Reading token: 'OPENPAR' Shifting token: 'OPENPAR' located in: ./examples/Test1.bld (line 17, column 3) from state: 88 to state: 89 -------------------------------------------------- parser stack ==> stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [10] > Reading token: 'FORALL' Seeing token: 'FORALL' located in: ./examples/Test1.bld (line 32, columns 5...10) in state: 89 reducing with: [31] RuleOrGroup_star --> to state: 90 -------------------------------------------------- parser stack ==> stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [11] > Seeing token: 'FORALL' located in: ./examples/Test1.bld (line 32, columns 5...10) in state: 90 reducing with: [78] IriMeta_opt --> to state: 93 -------------------------------------------------- parser stack ==> stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [12] > Shifting token: 'FORALL' located in: ./examples/Test1.bld (line 32, columns 5...10) from state: 93 to state: 113 -------------------------------------------------- parser stack ==> stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [13] > Reading token: 'VARIABLE'(item) Shifting token: 'VARIABLE'(item) located in: ./examples/Test1.bld (line 32, columns 12...16) from state: 113 to state: 45 -------------------------------------------------- parser stack ==> stamp: 0, state: 45, node: 'VARIABLE'(item) stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [14] > Reading token: 'OPENPAR' Seeing token: 'OPENPAR' located in: ./examples/Test1.bld (line 33, column 5) in state: 45 reducing with: [73] Var --> 'VARIABLE'(item) to state: 138 -------------------------------------------------- parser stack ==> stamp: 0, state: 138, node: Var stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [15] > Seeing token: 'OPENPAR' located in: ./examples/Test1.bld (line 33, column 5) in state: 138 reducing with: [76] Var_plus --> Var to state: 150 -------------------------------------------------- parser stack ==> stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [16] > Shifting token: 'OPENPAR' located in: ./examples/Test1.bld (line 33, column 5) from state: 150 to state: 151 -------------------------------------------------- parser stack ==> stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [17] > Reading token: 'IDENTIFIER'(cpt) Shifting token: 'IDENTIFIER'(cpt) located in: ./examples/Test1.bld (line 34, columns 7...9) from state: 151 to state: 16 -------------------------------------------------- parser stack ==> stamp: 0, state: 16, node: 'IDENTIFIER'(cpt) stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [18] > Reading token: 'COLON' Shifting token: 'COLON' located in: ./examples/Test1.bld (line 34, column 10) from state: 16 to state: 19 -------------------------------------------------- parser stack ==> stamp: 0, state: 19, node: 'COLON' stamp: 0, state: 16, node: 'IDENTIFIER'(cpt) stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [19] > Reading token: 'IDENTIFIER'(reject) Shifting token: 'IDENTIFIER'(reject) located in: ./examples/Test1.bld (line 34, columns 11...16) from state: 19 to state: 20 -------------------------------------------------- parser stack ==> stamp: 0, state: 20, node: 'IDENTIFIER'(reject) stamp: 0, state: 19, node: 'COLON' stamp: 0, state: 16, node: 'IDENTIFIER'(cpt) stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [20] > Reading token: 'OPENPAR' Seeing token: 'OPENPAR' located in: ./examples/Test1.bld (line 34, column 17) in state: 20 reducing with: [97] Curie --> 'IDENTIFIER'(cpt) 'COLON' 'IDENTIFIER'(reject) to state: 51 -------------------------------------------------- parser stack ==> stamp: 0, state: 51, node: Curie stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [21] > Seeing token: 'OPENPAR' located in: ./examples/Test1.bld (line 34, column 17) in state: 51 reducing with: [72] ConstShort --> Curie to state: 41 -------------------------------------------------- parser stack ==> stamp: 0, state: 41, node: ConstShort stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [22] > Seeing token: 'OPENPAR' located in: ./examples/Test1.bld (line 34, column 17) in state: 41 reducing with: [65] Const --> ConstShort to state: 54 -------------------------------------------------- parser stack ==> stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [23] > Shifting token: 'OPENPAR' located in: ./examples/Test1.bld (line 34, column 17) from state: 54 to state: 55 -------------------------------------------------- parser stack ==> stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [24] > Reading token: 'IDENTIFIER'(ppl) Seeing token: 'IDENTIFIER'(ppl) located in: ./examples/Test1.bld (line 34, columns 18...20) in state: 55 reducing with: [78] IriMeta_opt --> to state: 22 -------------------------------------------------- parser stack ==> stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [25] > Shifting token: 'IDENTIFIER'(ppl) located in: ./examples/Test1.bld (line 34, columns 18...20) from state: 22 to state: 16 -------------------------------------------------- parser stack ==> stamp: 0, state: 16, node: 'IDENTIFIER'(ppl) stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [26] > Reading token: 'COLON' Shifting token: 'COLON' located in: ./examples/Test1.bld (line 34, column 21) from state: 16 to state: 19 -------------------------------------------------- parser stack ==> stamp: 0, state: 19, node: 'COLON' stamp: 0, state: 16, node: 'IDENTIFIER'(ppl) stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [27] > Reading token: 'IDENTIFIER'(Fred) Shifting token: 'IDENTIFIER'(Fred) located in: ./examples/Test1.bld (line 34, columns 22...25) from state: 19 to state: 20 -------------------------------------------------- parser stack ==> stamp: 0, state: 20, node: 'IDENTIFIER'(Fred) stamp: 0, state: 19, node: 'COLON' stamp: 0, state: 16, node: 'IDENTIFIER'(ppl) stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [28] > Reading token: 'VARIABLE'(item) Seeing token: 'VARIABLE'(item) located in: ./examples/Test1.bld (line 34, columns 27...31) in state: 20 reducing with: [97] Curie --> 'IDENTIFIER'(ppl) 'COLON' 'IDENTIFIER'(Fred) to state: 51 -------------------------------------------------- parser stack ==> stamp: 0, state: 51, node: Curie stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [29] > Seeing token: 'VARIABLE'(item) located in: ./examples/Test1.bld (line 34, columns 27...31) in state: 51 reducing with: [72] ConstShort --> Curie to state: 41 -------------------------------------------------- parser stack ==> stamp: 0, state: 41, node: ConstShort stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [30] > Seeing token: 'VARIABLE'(item) located in: ./examples/Test1.bld (line 34, columns 27...31) in state: 41 reducing with: [65] Const --> ConstShort to state: 39 -------------------------------------------------- parser stack ==> stamp: 0, state: 39, node: Const stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [31] > Seeing token: 'VARIABLE'(item) located in: ./examples/Test1.bld (line 34, columns 27...31) in state: 39 reducing with: [59] RawTerm --> Const to state: 38 -------------------------------------------------- parser stack ==> stamp: 0, state: 38, node: RawTerm stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [32] > Seeing token: 'VARIABLE'(item) located in: ./examples/Test1.bld (line 34, columns 27...31) in state: 38 reducing with: [58] Term --> IriMeta_opt RawTerm to state: 59 -------------------------------------------------- parser stack ==> stamp: 0, state: 59, node: Term stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [33] > Seeing token: 'VARIABLE'(item) located in: ./examples/Test1.bld (line 34, columns 27...31) in state: 59 reducing with: [75] TermArgument --> Term to state: 58 -------------------------------------------------- parser stack ==> stamp: 0, state: 58, node: TermArgument stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [34] > Seeing token: 'VARIABLE'(item) located in: ./examples/Test1.bld (line 34, columns 27...31) in state: 58 reducing with: [78] IriMeta_opt --> to state: 22 -------------------------------------------------- parser stack ==> stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 58, node: TermArgument stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [35] > Shifting token: 'VARIABLE'(item) located in: ./examples/Test1.bld (line 34, columns 27...31) from state: 22 to state: 45 -------------------------------------------------- parser stack ==> stamp: 0, state: 45, node: 'VARIABLE'(item) stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 58, node: TermArgument stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [36] > Reading token: 'CLOSEPAR' Seeing token: 'CLOSEPAR' located in: ./examples/Test1.bld (line 34, column 32) in state: 45 reducing with: [73] Var --> 'VARIABLE'(item) to state: 42 -------------------------------------------------- parser stack ==> stamp: 0, state: 42, node: Var stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 58, node: TermArgument stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [37] > Seeing token: 'CLOSEPAR' located in: ./examples/Test1.bld (line 34, column 32) in state: 42 reducing with: [60] RawTerm --> Var to state: 38 -------------------------------------------------- parser stack ==> stamp: 0, state: 38, node: RawTerm stamp: 0, state: 22, node: IriMeta_opt stamp: 0, state: 58, node: TermArgument stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [38] > Seeing token: 'CLOSEPAR' located in: ./examples/Test1.bld (line 34, column 32) in state: 38 reducing with: [58] Term --> IriMeta_opt RawTerm to state: 59 -------------------------------------------------- parser stack ==> stamp: 0, state: 59, node: Term stamp: 0, state: 58, node: TermArgument stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [39] > Seeing token: 'CLOSEPAR' located in: ./examples/Test1.bld (line 34, column 32) in state: 59 reducing with: [75] TermArgument --> Term to state: 58 -------------------------------------------------- parser stack ==> stamp: 0, state: 58, node: TermArgument stamp: 0, state: 58, node: TermArgument stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [40] > Seeing token: 'CLOSEPAR' located in: ./examples/Test1.bld (line 34, column 32) in state: 58 reducing with: [86] TermArgument_star --> to state: 60 -------------------------------------------------- parser stack ==> stamp: 0, state: 60, node: TermArgument_star stamp: 0, state: 58, node: TermArgument stamp: 0, state: 58, node: TermArgument stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [41] > Seeing token: 'CLOSEPAR' located in: ./examples/Test1.bld (line 34, column 32) in state: 60 reducing with: [87] TermArgument_star --> TermArgument TermArgument_star to state: 60 -------------------------------------------------- parser stack ==> stamp: 0, state: 60, node: TermArgument_star stamp: 0, state: 58, node: TermArgument stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [42] > Seeing token: 'CLOSEPAR' located in: ./examples/Test1.bld (line 34, column 32) in state: 60 reducing with: [87] TermArgument_star --> TermArgument TermArgument_star to state: 57 -------------------------------------------------- parser stack ==> stamp: 0, state: 57, node: TermArgument_star stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [43] > Seeing token: 'CLOSEPAR' located in: ./examples/Test1.bld (line 34, column 32) in state: 57 reducing with: [74] UniTermBody --> TermArgument_star to state: 56 -------------------------------------------------- parser stack ==> stamp: 0, state: 56, node: UniTermBody stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [44] > Shifting token: 'CLOSEPAR' located in: ./examples/Test1.bld (line 34, column 32) from state: 56 to state: 61 -------------------------------------------------- parser stack ==> stamp: 0, state: 61, node: 'CLOSEPAR' stamp: 0, state: 56, node: UniTermBody stamp: 0, state: 55, node: 'OPENPAR' stamp: 0, state: 54, node: Const stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [45] > Reading token: 'IF' Seeing token: 'IF' located in: ./examples/Test1.bld (line 34, columns 34...35) in state: 61 reducing with: [52] UniTerm --> Const 'OPENPAR' UniTermBody 'CLOSEPAR' to state: 106 -------------------------------------------------- parser stack ==> stamp: 0, state: 106, node: UniTerm stamp: 0, state: 151, node: 'OPENPAR' stamp: 0, state: 150, node: Var_plus stamp: 0, state: 113, node: 'FORALL' stamp: 0, state: 93, node: IriMeta_opt stamp: 0, state: 90, node: RuleOrGroup_star stamp: 0, state: 89, node: 'OPENPAR' stamp: 0, state: 88, node: 'GROUP' stamp: 0, state: 86, node: IriMeta_opt stamp: 0, state: 76, node: Import_star stamp: 0, state: 73, node: Prefix_star stamp: 0, state: 66, node: Base_opt stamp: 0, state: 65, node: 'OPENPAR' stamp: 0, state: 64, node: 'DOCUMENT' stamp: 0, state: 6, node: IriMeta_opt stamp: 0, state: 4, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [46] > >>> A Parsing error has occurred ... *** Syntax Error: unexpected 'IF' - see ./examples/Test1.bld (line 34, columns 34...35) *** Recovering from error... ilog.language.syntax.FatalParseErrorException at ilog.language.syntax.GenericParser.abort(GenericParser.java:989) at ilog.language.syntax.GenericParser.rewindErrorStack(GenericParser.java:820) at ilog.language.syntax.GenericParser.recoverFromError(GenericParser.java:768) at ilog.language.syntax.StaticParser.performParseAction(StaticParser.java:77) at ilog.language.syntax.GenericParser.parse(GenericParser.java:620) at ilog.rif.bld.Main.main(Main.java:44) 4J4ZN71 (hak) 53>