4J4ZN71 (hak) 63> 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: [99] $ACTION0$ --> to state: 5 -------------------------------------------------- parser stack ==> stamp: 0, state: 5, 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: 5 reducing with: [79] IriMeta_opt --> to state: 7 -------------------------------------------------- parser stack ==> stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 7 to state: 65 -------------------------------------------------- parser stack ==> stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 65 to state: 66 -------------------------------------------------- parser stack ==> stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 66 reducing with: [22] Base_opt --> to state: 67 -------------------------------------------------- parser stack ==> stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 67 reducing with: [24] Prefix_star --> to state: 74 -------------------------------------------------- parser stack ==> stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 74 reducing with: [26] Import_star --> to state: 77 -------------------------------------------------- parser stack ==> stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 77 reducing with: [79] IriMeta_opt --> to state: 87 -------------------------------------------------- parser stack ==> stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 87 to state: 89 -------------------------------------------------- parser stack ==> stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 89 to state: 90 -------------------------------------------------- parser stack ==> stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 90 reducing with: [32] RuleOrGroup_star --> to state: 91 -------------------------------------------------- parser stack ==> stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 91 reducing with: [79] IriMeta_opt --> to state: 94 -------------------------------------------------- parser stack ==> stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 94 to state: 114 -------------------------------------------------- parser stack ==> stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 114 to state: 46 -------------------------------------------------- parser stack ==> stamp: 0, state: 46, node: 'VARIABLE'(item) stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 46 reducing with: [74] Var --> 'VARIABLE'(item) to state: 139 -------------------------------------------------- parser stack ==> stamp: 0, state: 139, node: Var stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 139 reducing with: [77] Var_plus --> Var to state: 151 -------------------------------------------------- parser stack ==> stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 151 to state: 152 -------------------------------------------------- parser stack ==> stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 152 to state: 17 -------------------------------------------------- parser stack ==> stamp: 0, state: 17, node: 'IDENTIFIER'(cpt) stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 17 to state: 20 -------------------------------------------------- parser stack ==> stamp: 0, state: 20, node: 'COLON' stamp: 0, state: 17, node: 'IDENTIFIER'(cpt) stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 20 to state: 21 -------------------------------------------------- parser stack ==> stamp: 0, state: 21, node: 'IDENTIFIER'(reject) stamp: 0, state: 20, node: 'COLON' stamp: 0, state: 17, node: 'IDENTIFIER'(cpt) stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 21 reducing with: [98] Curie --> 'IDENTIFIER'(cpt) 'COLON' 'IDENTIFIER'(reject) to state: 52 -------------------------------------------------- parser stack ==> stamp: 0, state: 52, node: Curie stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 52 reducing with: [73] ConstShort --> Curie to state: 42 -------------------------------------------------- parser stack ==> stamp: 0, state: 42, node: ConstShort stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 42 reducing with: [66] Const --> ConstShort to state: 55 -------------------------------------------------- parser stack ==> stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 55 to state: 56 -------------------------------------------------- parser stack ==> stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 56 reducing with: [79] IriMeta_opt --> to state: 23 -------------------------------------------------- parser stack ==> stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 23 to state: 17 -------------------------------------------------- parser stack ==> stamp: 0, state: 17, node: 'IDENTIFIER'(ppl) stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 17 to state: 20 -------------------------------------------------- parser stack ==> stamp: 0, state: 20, node: 'COLON' stamp: 0, state: 17, node: 'IDENTIFIER'(ppl) stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 20 to state: 21 -------------------------------------------------- parser stack ==> stamp: 0, state: 21, node: 'IDENTIFIER'(Fred) stamp: 0, state: 20, node: 'COLON' stamp: 0, state: 17, node: 'IDENTIFIER'(ppl) stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 21 reducing with: [98] Curie --> 'IDENTIFIER'(ppl) 'COLON' 'IDENTIFIER'(Fred) to state: 52 -------------------------------------------------- parser stack ==> stamp: 0, state: 52, node: Curie stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 52 reducing with: [73] ConstShort --> Curie to state: 42 -------------------------------------------------- parser stack ==> stamp: 0, state: 42, node: ConstShort stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 42 reducing with: [66] Const --> ConstShort to state: 40 -------------------------------------------------- parser stack ==> stamp: 0, state: 40, node: Const stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 40 reducing with: [60] RawTerm --> Const to state: 39 -------------------------------------------------- parser stack ==> stamp: 0, state: 39, node: RawTerm stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 39 reducing with: [59] Term --> IriMeta_opt RawTerm to state: 60 -------------------------------------------------- parser stack ==> stamp: 0, state: 60, node: Term stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 60 reducing with: [76] TermArgument --> Term to state: 59 -------------------------------------------------- parser stack ==> stamp: 0, state: 59, node: TermArgument stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 59 reducing with: [79] IriMeta_opt --> to state: 23 -------------------------------------------------- parser stack ==> stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 59, node: TermArgument stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 23 to state: 46 -------------------------------------------------- parser stack ==> stamp: 0, state: 46, node: 'VARIABLE'(item) stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 59, node: TermArgument stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 46 reducing with: [74] Var --> 'VARIABLE'(item) to state: 43 -------------------------------------------------- parser stack ==> stamp: 0, state: 43, node: Var stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 59, node: TermArgument stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 43 reducing with: [61] RawTerm --> Var to state: 39 -------------------------------------------------- parser stack ==> stamp: 0, state: 39, node: RawTerm stamp: 0, state: 23, node: IriMeta_opt stamp: 0, state: 59, node: TermArgument stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 39 reducing with: [59] Term --> IriMeta_opt RawTerm to state: 60 -------------------------------------------------- parser stack ==> stamp: 0, state: 60, node: Term stamp: 0, state: 59, node: TermArgument stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 60 reducing with: [76] TermArgument --> Term to state: 59 -------------------------------------------------- parser stack ==> stamp: 0, state: 59, node: TermArgument stamp: 0, state: 59, node: TermArgument stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 59 reducing with: [87] TermArgument_star --> to state: 61 -------------------------------------------------- parser stack ==> stamp: 0, state: 61, node: TermArgument_star stamp: 0, state: 59, node: TermArgument stamp: 0, state: 59, node: TermArgument stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 61 reducing with: [88] TermArgument_star --> TermArgument TermArgument_star to state: 61 -------------------------------------------------- parser stack ==> stamp: 0, state: 61, node: TermArgument_star stamp: 0, state: 59, node: TermArgument stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 61 reducing with: [88] TermArgument_star --> TermArgument TermArgument_star to state: 58 -------------------------------------------------- parser stack ==> stamp: 0, state: 58, node: TermArgument_star stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 58 reducing with: [75] UniTermBody --> TermArgument_star to state: 57 -------------------------------------------------- parser stack ==> stamp: 0, state: 57, node: UniTermBody stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 57 to state: 62 -------------------------------------------------- parser stack ==> stamp: 0, state: 62, node: 'CLOSEPAR' stamp: 0, state: 57, node: UniTermBody stamp: 0, state: 56, node: 'OPENPAR' stamp: 0, state: 55, node: Const stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 62 reducing with: [53] UniTerm --> Const 'OPENPAR' UniTermBody 'CLOSEPAR' to state: 107 -------------------------------------------------- parser stack ==> stamp: 0, state: 107, node: UniTerm stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 107 reducing with: [52] Atom --> UniTerm to state: 101 -------------------------------------------------- parser stack ==> stamp: 0, state: 101, node: Atom stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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: 101 reducing with: [45] AtomicFormula --> Atom to state: 99 -------------------------------------------------- parser stack ==> stamp: 0, state: 99, node: AtomicFormula stamp: 0, state: 152, node: 'OPENPAR' stamp: 0, state: 151, node: Var_plus stamp: 0, state: 114, node: 'FORALL' stamp: 0, state: 94, node: IriMeta_opt stamp: 0, state: 91, node: RuleOrGroup_star stamp: 0, state: 90, node: 'OPENPAR' stamp: 0, state: 89, node: 'GROUP' stamp: 0, state: 87, node: IriMeta_opt stamp: 0, state: 77, node: Import_star stamp: 0, state: 74, node: Prefix_star stamp: 0, state: 67, node: Base_opt stamp: 0, state: 66, node: 'OPENPAR' stamp: 0, state: 65, node: 'DOCUMENT' stamp: 0, state: 7, node: IriMeta_opt stamp: 0, state: 5, 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) 64>