| changeset 649 | e83afb44f276 |
| parent 645 | 30943d5491b6 |
| child 669 | 2f5a4d76756d |
| 648:36379b038438 | 649:e83afb44f276 |
|---|---|
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 } |