diff options
author | Eduardo Julian | 2018-10-13 11:18:25 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-10-13 11:18:25 -0400 |
commit | c9003286f3f51aadec776d4362de046aae7e13e8 (patch) | |
tree | 94013122c114474d125fc485370eabb1f8bc58f5 /new-luxc | |
parent | ba93f7da278a3fdc71729d7a0325c99cec74ca3c (diff) |
Removed timing/perf-logging.
Diffstat (limited to 'new-luxc')
-rw-r--r-- | new-luxc/source/program.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/new-luxc/source/program.lux b/new-luxc/source/program.lux index 1084c18b2..ebc94cacb 100644 --- a/new-luxc/source/program.lux +++ b/new-luxc/source/program.lux @@ -5,7 +5,7 @@ ["p" parser]] [data ["." error] - [text + ["." text format]] ["." io (#+ IO Process io)] [time @@ -35,9 +35,9 @@ [?output action] (case ?output (#error.Error error) - (exec (log! (format "\n" - failure-description "\n" - error "\n")) + (exec (log! (format text.new-line + failure-description text.new-line + error text.new-line)) (io.exit +1)) (#error.Success output) @@ -51,7 +51,7 @@ result action finish (io.from-io instant.now) #let [elapsed-time (instant.span start finish) - _ (log! (format "\n" "Elapsed time: " (%duration elapsed-time)))]] + _ (log! (format text.new-line "Elapsed time: " (%duration elapsed-time)))]] (wrap result))) (def: jvm-platform |