From df9f3ebbd2028a525cac0f9a38b5eaf6a972c10f Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Tue, 21 May 2019 16:55:58 -0400 Subject: [PATCH] zero? primitive --- racket/typed/prim.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/racket/typed/prim.rkt b/racket/typed/prim.rkt index b4bee6c..4342be6 100644 --- a/racket/typed/prim.rkt +++ b/racket/typed/prim.rkt @@ -30,6 +30,7 @@ (define-primop sub1 (→fn Int Int)) (define-primop max (→fn Int Int Int)) (define-primop min (→fn Int Int Int)) +(define-primop zero? (→fn Int Bool)) (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))))