From 659715cd0ef194f250f0eb6d040e4ebe1bd4c743 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Mon, 19 Oct 2020 11:40:22 -0400 Subject: [PATCH] fix require, add current-inexact-milliseconds primop --- racket/typed/prim.rkt | 1 + racket/typed/set.rkt | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/racket/typed/prim.rkt b/racket/typed/prim.rkt index 71b1465..ed99767 100644 --- a/racket/typed/prim.rkt +++ b/racket/typed/prim.rkt @@ -32,6 +32,7 @@ (define-primop zero? (→fn Int Bool)) (define-primop positive? (→fn Int Bool)) (define-primop negative? (→fn Int Bool)) +(define-primop current-inexact-milliseconds (→fn Int)) (define-primop bytes->string/utf-8 (→ ByteString (Computation (Value String) (Endpoints) (Roles) (Spawns)))) (define-primop string->bytes/utf-8 (→ String (Computation (Value ByteString) (Endpoints) (Roles) (Spawns)))) diff --git a/racket/typed/set.rkt b/racket/typed/set.rkt index 8ea633f..9863eaa 100644 --- a/racket/typed/set.rkt +++ b/racket/typed/set.rkt @@ -19,7 +19,7 @@ (require "core-types.rkt") (require (only-in "prim.rkt" Int Bool)) -(require (only-in "list.rkt" ~List)) +(require (only-in "list.rkt" ~List List)) (require (postfix-in - racket/set))