equal
deleted
inserted
replaced
53 "----------- parsing ------------------------------------"; |
53 "----------- parsing ------------------------------------"; |
54 val t = str2t "Integral x D x"; |
54 val t = str2t "Integral x D x"; |
55 val t = str2t "Integral x \<up> 2 D x"; |
55 val t = str2t "Integral x \<up> 2 D x"; |
56 case t of |
56 case t of |
57 Const ("Integrate.Integral", _) $ |
57 Const ("Integrate.Integral", _) $ |
58 (Const ("Prog_Expr.pow", _) $ Free _ $ Free _) $ Free ("x", _) => () |
58 (Const ("Transcendental.powr", _) $ Free _ $ Free _) $ Free ("x", _) => () |
59 | _ => error "integrate.sml: parsing: Integral x \<up> 2 D x"; |
59 | _ => error "integrate.sml: parsing: Integral x \<up> 2 D x"; |
60 |
60 |
61 val t = str2t "ff x is_f_x"; |
61 val t = str2t "ff x is_f_x"; |
62 case t of Const ("Integrate.is'_f'_x", _) $ _ => () |
62 case t of Const ("Integrate.is'_f'_x", _) $ _ => () |
63 | _ => error "integrate.sml: parsing: ff x is_f_x"; |
63 | _ => error "integrate.sml: parsing: ff x is_f_x"; |