| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Tue, 21 Oct 2025 17:09:56 +0200 | |
| changeset 1015 | e8ba0237f005 | 
| parent 978 | 8778d23fef92 | 
| permissions | -rw-r--r-- | 
| 978 
8778d23fef92
updated marking scripts
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 1 | |
| 
8778d23fef92
updated marking scripts
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 2 | |
| 
8778d23fef92
updated marking scripts
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 3 | |
| 
8778d23fef92
updated marking scripts
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 4 | def test_string(prog: String) = {
 | 
| 
8778d23fef92
updated marking scripts
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 5 | val tks = tokenise(prog) | 
| 
8778d23fef92
updated marking scripts
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 6 | val ast = Stmts.parse_all(tks).head | 
| 
8778d23fef92
updated marking scripts
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 7 | eval(ast) | 
| 
8778d23fef92
updated marking scripts
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 8 | } |