------------------------------------------ 1. Preprocessing Source: combnumbers.safe Date: Di 27. Jan 15:01:52 CET 2009 ------------------------------------------ Ficheros incluidos ------------------ /home/manuel/Tesis/SAFE/release/safe/preludio.sf Tokens: ------- BraIzq(lin:38)(col:1) Op (*)(4) Def (4) Constr (Int)(4) Flecha (4) Constr (Int)(4) Flecha (4) Constr (Int)(4) SemiColon (4) ConstNum (0)(5) Op (*)(5) ConstNum (0)(5) Igual (5) ConstNum (0)(5) SemiColon (5) Op (+)(7) Def (7) Constr (Int)(7) Flecha (7) Constr (Int)(7) Flecha (7) Constr (Int)(7) SemiColon (7) ConstNum (0)(8) Op (+)(8) ConstNum (0)(8) Igual (8) ConstNum (0)(8) SemiColon (8) Op (-)(10) Def (10) Constr (Int)(10) Flecha (10) Constr (Int)(10) Flecha (10) Constr (Int)(10) SemiColon (10) ConstNum (0)(11) Op (-)(11) ConstNum (0)(11) Igual (11) ConstNum (0)(11) SemiColon (11) Op (/)(13) Def (13) Constr (Int)(13) Flecha (13) Constr (Int)(13) Flecha (13) Constr (Int)(13) SemiColon (13) ConstNum (0)(14) Op (/)(14) ConstNum (0)(14) Igual (14) ConstNum (0)(14) SemiColon (14) Op (%)(16) Def (16) Constr (Int)(16) Flecha (16) Constr (Int)(16) Flecha (16) Constr (Int)(16) SemiColon (16) ConstNum (0)(17) Op (%)(17) ConstNum (0)(17) Igual (17) ConstNum (0)(17) SemiColon (17) Op (<)(19) Def (19) Constr (Int)(19) Flecha (19) Constr (Int)(19) Flecha (19) Constr (Bool)(19) SemiColon (19) ConstNum (0)(20) Op (<)(20) ConstNum (0)(20) Igual (20) ConstBool (True(20)) SemiColon (20) Op (>)(22) Def (22) Constr (Int)(22) Flecha (22) Constr (Int)(22) Flecha (22) Constr (Bool)(22) SemiColon (22) ConstNum (0)(23) Op (>)(23) ConstNum (0)(23) Igual (23) ConstBool (True(23)) SemiColon (23) Op (==)(25) Def (25) Id (a)(25) Flecha (25) Id (a)(25) Flecha (25) Constr (Bool)(25) SemiColon (25) Id (x)(26) Op (==)(26) Id (y)(26) Igual (26) ConstBool (True(26)) SemiColon (26) Op (<=)(28) Def (28) Constr (Int)(28) Flecha (28) Constr (Int)(28) Flecha (28) Constr (Bool)(28) SemiColon (28) ConstNum (0)(29) Op (<=)(29) ConstNum (0)(29) Igual (29) ConstBool (True(29)) SemiColon (29) Op (>=)(31) Def (31) Constr (Int)(31) Flecha (31) Constr (Int)(31) Flecha (31) Constr (Bool)(31) SemiColon (31) ConstNum (0)(32) Op (>=)(32) ConstNum (0)(32) Igual (32) ConstBool (False(32)) SemiColon (32) Op (&&)(34) Def (34) Constr (Bool)(34) Flecha (34) Constr (Bool)(34) Flecha (34) Constr (Bool)(34) SemiColon (34) Id (x)(35) Op (&&)(35) Id (y)(35) Igual (35) ConstBool (False(35)) SemiColon (35) Id (fst)(38) ParIzq (38) Id (xs1)(38) Coma (38) Id (xs2)(38) ParDer (38) Igual (38) Id (xs1)(38) SemiColon (38) Id (snd)(41) ParIzq (41) Id (xs1)(41) Coma (41) Id (xs2)(41) ParDer (41) Igual (41) Id (xs2)(41) SemiColon (41) Id (fstD)(45) ParIzq (45) Id (xs1)(45) Coma (45) Id (xs2)(45) ParDer (45) Excl (45) Igual (45) Id (xs1)(45) SemiColon (45) Id (sndD)(48) ParIzq (48) Id (xs1)(48) Coma (48) Id (xs2)(48) ParDer (48) Excl (48) Igual (48) Id (xs2)(48) SemiColon (0) ParIzq (38) Id (x)(38) CInfija (:)(38) Id (xs)(38) ParDer (38) Op (!!)(38) ConstNum (0)(38) Igual (38) Id (x)(38) SemiColon (38) ParIzq (39) Id (x)(39) CInfija (:)(39) Id (xs)(39) ParDer (39) Op (!!)(39) Id (n)(39) Igual (39) Id (xs)(39) Op (!!)(39) ParIzq (39) Id (n)(39) Op (-)(39) ConstNum (1)(39) ParDer (39) SemiColon (39) Id (sumList)(41) ParIzq (41) Id (x)(41) CInfija (:)(41) ListaVacia (41) ParDer (41) Igual (41) ParIzq (41) Id (x)(41) CInfija (:)(41) ListaVacia (41) ParDer (41) SemiColon (41) Id (sumList)(42) ParIzq (42) Id (x)(42) CInfija (:)(42) Id (xs)(42) ParDer (42) Igual (42) ParIzq (42) Id (x)(42) Op (+)(42) Id (y)(42) ParDer (42) CInfija (:)(42) Id (sumList)(42) Id (xs)(42) Where (43) BraIzq(lin:43)(col:15) ParIzq (43) Id (y)(43) CInfija (:)(43) Subrayado (43) ParDer (43) Igual (43) Id (xs)(43) BraDer(lin:43)(col:15) SemiColon (43) Id (pascal)(53) ConstNum (0)(53) Igual (53) ConstNum (1)(53) CInfija (:)(53) ListaVacia (53) SemiColon (53) Id (pascal)(54) Id (n)(54) Igual (54) ConstNum (1)(54) CInfija (:)(54) Id (sumList)(54) ParIzq (54) Id (pascal)(54) ParIzq (54) Id (n)(54) Op (-)(54) ConstNum (1)(54) ParDer (54) ParDer (54) SemiColon (54) Id (combNumber)(62) Id (n)(62) Id (m)(62) Igual (62) Id (pascal)(62) Id (n)(62) Op (!!)(62) Id (m)(62) BraDer(lin:62)(col:30) Id (combNumber)(70) ConstNum (5)(70) ConstNum (3)(70)