From 3def83502a3554e2de843ccbd6dedcca27ad0633 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Fri, 17 May 2019 10:34:55 -0400 Subject: [PATCH] more primitive operations --- racket/typed/prim.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/racket/typed/prim.rkt b/racket/typed/prim.rkt index 1ea499b..b4bee6c 100644 --- a/racket/typed/prim.rkt +++ b/racket/typed/prim.rkt @@ -28,6 +28,8 @@ (define-primop odd? (→fn Int Bool)) (define-primop add1 (→fn Int Int)) (define-primop sub1 (→fn Int Int)) +(define-primop max (→fn Int Int Int)) +(define-primop min (→fn Int Int 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))))