diff options
Diffstat (limited to 'stdlib/source/specification')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/common.lux | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index dd19bc795..eb1a1ac70 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -345,17 +345,6 @@ _ false)))) - (_.property "Can obtain current time in milli-seconds." - (|> (synthesis.tuple (list {synthesis.#Extension "lux io current-time" (list)} - {synthesis.#Extension "lux io current-time" (list)})) - (run (..safe "lux io current-time")) - (pipe.case - {try.#Success valueV} - (let [[pre post] (as [Nat Nat] valueV)] - (n.>= pre post)) - - {try.#Failure _} - false))) ))) (def .public (spec runner) |