From 30ecfef30935dc85715c083e0e011cc6b4ecccbe Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sat, 10 Oct 2015 14:59:49 -0400 Subject: [PATCH] Fix type of `system-type` Closes GH issue #210 --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index 58b198f5..3168cad5 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -2918,6 +2918,7 @@ ;; Section 15.8 [system-type (cl->* + (-> (Un (-val 'unix) (-val 'windows) (-val 'macosx))) (-> (-val 'os) (Un (-val 'unix) (-val 'windows) (-val 'macosx))) (-> (-val 'gc) (Un (-val 'cgc) (-val '3m))) (-> (-val 'link) (Un (-val 'static) (-val 'shared) (-val 'dll) (-val 'framework)))