| changeset 649 | 12c4957c15a9 |
| parent 645 | 8da29f6ef225 |
| child 669 | e22b5faa7e66 |
| 648:a64c9a1007ee | 649:12c4957c15a9 |
|---|---|
210 //compile_to_file("fact") |
210 //compile_to_file("fact") |
211 //compile_and_run("fact") |
211 //compile_and_run("fact") |
212 //compile_and_run("defs") |
212 //compile_and_run("defs") |
213 |
213 |
214 |
214 |
215 def main(args: Array[String]) = |
215 def main(args: Array[String]) : Unit = |
216 compile_and_run(args(0)) |
216 compile_and_run(args(0)) |
217 |
217 |
218 |
218 |
219 } |
219 } |