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