4J4ZN71 (hak) 34> 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: [100] $ACTION0$ --> to state: 6 -------------------------------------------------- parser stack ==> stamp: 0, state: 6, 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: 6 reducing with: [80] IriMeta_opt --> to state: 8 -------------------------------------------------- parser stack ==> stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 8 to state: 66 -------------------------------------------------- parser stack ==> stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 66 to state: 67 -------------------------------------------------- parser stack ==> stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 67 reducing with: [23] Base_opt --> to state: 68 -------------------------------------------------- parser stack ==> stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 68 reducing with: [25] Prefix_star --> to state: 75 -------------------------------------------------- parser stack ==> stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 75 reducing with: [27] Import_star --> to state: 78 -------------------------------------------------- parser stack ==> stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 78 reducing with: [80] IriMeta_opt --> to state: 88 -------------------------------------------------- parser stack ==> stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 88 to state: 90 -------------------------------------------------- parser stack ==> stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 90 to state: 91 -------------------------------------------------- parser stack ==> stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 91 reducing with: [33] RuleOrGroup_star --> to state: 92 -------------------------------------------------- parser stack ==> stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 92 reducing with: [80] IriMeta_opt --> to state: 95 -------------------------------------------------- parser stack ==> stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 95 to state: 115 -------------------------------------------------- parser stack ==> stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 115 to state: 47 -------------------------------------------------- parser stack ==> stamp: 0, state: 47, node: 'VARIABLE'(item) stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 47 reducing with: [75] Var --> 'VARIABLE'(item) to state: 140 -------------------------------------------------- parser stack ==> stamp: 0, state: 140, node: Var stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 140 reducing with: [78] Var_plus --> Var to state: 152 -------------------------------------------------- parser stack ==> stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 152 to state: 153 -------------------------------------------------- parser stack ==> stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 153 to state: 18 -------------------------------------------------- parser stack ==> stamp: 0, state: 18, node: 'IDENTIFIER'(cpt) stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 18 to state: 21 -------------------------------------------------- parser stack ==> stamp: 0, state: 21, node: 'COLON' stamp: 0, state: 18, node: 'IDENTIFIER'(cpt) stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 21 to state: 22 -------------------------------------------------- parser stack ==> stamp: 0, state: 22, node: 'IDENTIFIER'(reject) stamp: 0, state: 21, node: 'COLON' stamp: 0, state: 18, node: 'IDENTIFIER'(cpt) stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 22 reducing with: [99] Curie --> 'IDENTIFIER'(cpt) 'COLON' 'IDENTIFIER'(reject) to state: 53 -------------------------------------------------- parser stack ==> stamp: 0, state: 53, node: Curie stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 53 reducing with: [74] ConstShort --> Curie to state: 43 -------------------------------------------------- parser stack ==> stamp: 0, state: 43, node: ConstShort stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 43 reducing with: [67] Const --> ConstShort to state: 56 -------------------------------------------------- parser stack ==> stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 56 to state: 57 -------------------------------------------------- parser stack ==> stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 57 reducing with: [80] IriMeta_opt --> to state: 24 -------------------------------------------------- parser stack ==> stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 24 to state: 18 -------------------------------------------------- parser stack ==> stamp: 0, state: 18, node: 'IDENTIFIER'(ppl) stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 18 to state: 21 -------------------------------------------------- parser stack ==> stamp: 0, state: 21, node: 'COLON' stamp: 0, state: 18, node: 'IDENTIFIER'(ppl) stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 21 to state: 22 -------------------------------------------------- parser stack ==> stamp: 0, state: 22, node: 'IDENTIFIER'(Fred) stamp: 0, state: 21, node: 'COLON' stamp: 0, state: 18, node: 'IDENTIFIER'(ppl) stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 22 reducing with: [99] Curie --> 'IDENTIFIER'(ppl) 'COLON' 'IDENTIFIER'(Fred) to state: 53 -------------------------------------------------- parser stack ==> stamp: 0, state: 53, node: Curie stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 53 reducing with: [74] ConstShort --> Curie to state: 43 -------------------------------------------------- parser stack ==> stamp: 0, state: 43, node: ConstShort stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 43 reducing with: [67] Const --> ConstShort to state: 41 -------------------------------------------------- parser stack ==> stamp: 0, state: 41, node: Const stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 41 reducing with: [61] RawTerm --> Const to state: 40 -------------------------------------------------- parser stack ==> stamp: 0, state: 40, node: RawTerm stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 40 reducing with: [60] Term --> IriMeta_opt RawTerm to state: 61 -------------------------------------------------- parser stack ==> stamp: 0, state: 61, node: Term stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 61 reducing with: [77] TermArgument --> Term to state: 60 -------------------------------------------------- parser stack ==> stamp: 0, state: 60, node: TermArgument stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 60 reducing with: [80] IriMeta_opt --> to state: 24 -------------------------------------------------- parser stack ==> stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 60, node: TermArgument stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 24 to state: 47 -------------------------------------------------- parser stack ==> stamp: 0, state: 47, node: 'VARIABLE'(item) stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 60, node: TermArgument stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 47 reducing with: [75] Var --> 'VARIABLE'(item) to state: 44 -------------------------------------------------- parser stack ==> stamp: 0, state: 44, node: Var stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 60, node: TermArgument stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 44 reducing with: [62] RawTerm --> Var to state: 40 -------------------------------------------------- parser stack ==> stamp: 0, state: 40, node: RawTerm stamp: 0, state: 24, node: IriMeta_opt stamp: 0, state: 60, node: TermArgument stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 40 reducing with: [60] Term --> IriMeta_opt RawTerm to state: 61 -------------------------------------------------- parser stack ==> stamp: 0, state: 61, node: Term stamp: 0, state: 60, node: TermArgument stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 61 reducing with: [77] TermArgument --> Term to state: 60 -------------------------------------------------- parser stack ==> stamp: 0, state: 60, node: TermArgument stamp: 0, state: 60, node: TermArgument stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 60 reducing with: [88] TermArgument_star --> to state: 62 -------------------------------------------------- parser stack ==> stamp: 0, state: 62, node: TermArgument_star stamp: 0, state: 60, node: TermArgument stamp: 0, state: 60, node: TermArgument stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 62 reducing with: [89] TermArgument_star --> TermArgument TermArgument_star to state: 62 -------------------------------------------------- parser stack ==> stamp: 0, state: 62, node: TermArgument_star stamp: 0, state: 60, node: TermArgument stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 62 reducing with: [89] TermArgument_star --> TermArgument TermArgument_star to state: 59 -------------------------------------------------- parser stack ==> stamp: 0, state: 59, node: TermArgument_star stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 59 reducing with: [76] UniTermBody --> TermArgument_star to state: 58 -------------------------------------------------- parser stack ==> stamp: 0, state: 58, node: UniTermBody stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 58 to state: 63 -------------------------------------------------- parser stack ==> stamp: 0, state: 63, node: 'CLOSEPAR' stamp: 0, state: 58, node: UniTermBody stamp: 0, state: 57, node: 'OPENPAR' stamp: 0, state: 56, node: Const stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, 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: 63 reducing with: [54] UniTerm --> Const 'OPENPAR' UniTermBody 'CLOSEPAR' to state: 108 -------------------------------------------------- parser stack ==> stamp: 0, state: 108, node: UniTerm stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [46] > Seeing token: 'IF' located in: ./examples/Test1.bld (line 34, columns 34...35) in state: 108 reducing with: [53] Atom --> UniTerm to state: 102 -------------------------------------------------- parser stack ==> stamp: 0, state: 102, node: Atom stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [47] > Seeing token: 'IF' located in: ./examples/Test1.bld (line 34, columns 34...35) in state: 102 reducing with: [46] AtomicFormula --> Atom to state: 96 -------------------------------------------------- parser stack ==> stamp: 0, state: 96, node: AtomicFormula stamp: 0, state: 153, node: 'OPENPAR' stamp: 0, state: 152, node: Var_plus stamp: 0, state: 115, node: 'FORALL' stamp: 0, state: 95, node: IriMeta_opt stamp: 0, state: 92, node: RuleOrGroup_star stamp: 0, state: 91, node: 'OPENPAR' stamp: 0, state: 90, node: 'GROUP' stamp: 0, state: 88, node: IriMeta_opt stamp: 0, state: 78, node: Import_star stamp: 0, state: 75, node: Prefix_star stamp: 0, state: 68, node: Base_opt stamp: 0, state: 67, node: 'OPENPAR' stamp: 0, state: 66, node: 'DOCUMENT' stamp: 0, state: 8, node: IriMeta_opt stamp: 0, state: 6, node: $ACTION0$ stamp: 0, state: 0, node: '$E_O_I$' -------------------------------------------------- ------------------------------------------------------------------- STEP [48] > >>> 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) 35>