equal
deleted
inserted
replaced
488 |
488 |
489 fun writeTextFile name s = File.write (Path.explode name) s |
489 fun writeTextFile name s = File.write (Path.explode name) s |
490 |
490 |
491 fun use_source src = use_text ML_Env.local_context (1, "") false src |
491 fun use_source src = use_text ML_Env.local_context (1, "") false src |
492 |
492 |
493 fun compile _ _ eqs = |
493 fun compile eqs = |
494 let |
494 let |
495 val guid = get_guid () |
495 val guid = get_guid () |
496 val code = Real.toString (random ()) |
496 val code = Real.toString (random ()) |
497 val module = "AMSML_"^guid |
497 val module = "AMSML_"^guid |
498 val (arity, toplevel_arity, inlinetab, source) = sml_prog module code eqs |
498 val (arity, toplevel_arity, inlinetab, source) = sml_prog module code eqs |