Skip to content

Instantly share code, notes, and snippets.

@MarcelineVQ

MarcelineVQ/dfsdfsdf.idr

Created April 29, 2020 04:12
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save MarcelineVQ/02560b03a6d6cc5ea95c4de090ff1ded to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save MarcelineVQ/02560b03a6d6cc5ea95c4de090ff1ded to your computer and use it in GitHub Desktop.
Download ZIP
Raw
dfsdfsdf.idr
racketSec : String
racketSec = "(lambda (t) (truncate (inexact->exact (/ t 1000))))"
-- extract nanoseconds from a Time Object
racketNanosec : String
racketNanosec = "(lambda (t) (modulo (truncate (inexact->exact (* t 1000000))) 1000000000))"
%foreign "scheme:chez,current-time"
"scheme:racket,current-inexact-milliseconds"
primGetTime : PrimIO (Ptr TimePtr)
%foreign "scheme:chez,time-second"
"scheme:racket," ++ racketSec
primGetSeconds : Ptr TimePtr -> Int
%foreign "scheme:chez,time-nanosecond"
"scheme:racket," ++ racketNanosec
primGetNanoseconds : Ptr TimePtr -> Int
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment