| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Thu, 22 Dec 2016 11:36:20 +0100 | |
| changeset 59279 | 255c853ea2f0 |
| parent 55488 | 347cf013dee3 |
| child 59284 | 80106a89492e |
| permissions | -rw-r--r-- |
| neuper@42400 | 1 |
(* Title: test/Tools/isac/build_thydata.sml |
| neuper@42400 | 2 |
Author: Walther Neuper, TU Graz, 2010 |
| neuper@42400 | 3 |
(c) due to copyright terms |
| neuper@42400 | 4 |
|
| neuper@55488 | 5 |
theory Test_Some imports Build_Isac begin |
| neuper@55397 | 6 |
ML_file "~~/test/Tools/isac/ADDTESTS/accumulate-val/lucas_interpreter.sml" |
| neuper@55397 | 7 |
ML_file "Knowledge/build_thydata.sml" |
| neuper@42400 | 8 |
*) |
| neuper@42400 | 9 |
|
| neuper@42400 | 10 |
"--------------------------------------------------------"; |
| neuper@42400 | 11 |
"--------------------------------------------------------"; |
| neuper@42400 | 12 |
"table of contents --------------------------------------"; |
| neuper@42400 | 13 |
"--------------------------------------------------------"; |
| neuper@48895 | 14 |
"-------- retrieve errpats ------------------------------"; |
| neuper@42400 | 15 |
"--------------------------------------------------------"; |
| neuper@42400 | 16 |
"--------------------------------------------------------"; |
| neuper@42400 | 17 |
"--------------------------------------------------------"; |
| neuper@42400 | 18 |
|
| neuper@48895 | 19 |
"-------- retrieve errpats ------------------------------"; |
| neuper@48895 | 20 |
"-------- retrieve errpats ------------------------------"; |
| neuper@55398 | 21 |
"-------- retrieve errpats ------------------------------"; |
| neuper@55398 | 22 |
val {errpats, nrls, scr = Prog prog, ...} = get_met ["diff", "differentiate_on_R"];
|
| neuper@55398 | 23 |
case errpats of [("chain-rule-diff-both", _, _)] => ()
|
| neuper@55398 | 24 |
| _ => error "errpats chain-rule-diff-both changed" |
| neuper@48895 | 25 |