Fix type of system-type

Closes GH issue #210
2015-10-10 14:59:49 -04:00 · 2015-10-10 14:59:49 -04:00 · 30ecfef309
commit 30ecfef309
parent 98f90cce2c
1 changed files with 1 additions and 0 deletions
--- 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)))