From c9003286f3f51aadec776d4362de046aae7e13e8 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 13 Oct 2018 11:18:25 -0400 Subject: Removed timing/perf-logging. --- new-luxc/source/program.lux | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'new-luxc/source') 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 -- cgit v1.2.3