From 23a33e158ccb0ff2b65b77610994a52a3d9d26a1 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Tue, 24 Mar 2009 17:49:15 +0000
Subject: [PATCH] Add fake type name -Real Add `scheme/math' types from Jos
 Koot.

svn: r14251

original commit: 43443652b8d4c0b73ec950c3ead818c262ddf0bb
---
 collects/typed-scheme/private/base-env.ss    | 12 +++++++++++-
 collects/typed-scheme/private/type-abbrev.ss |  2 ++
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss
index 4579ee34..f314d272 100644
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@@ -577,7 +577,7 @@
 
 [current-continuation-marks (-> -Cont-Mark-Set)]
 
-;; path.ss
+;; scheme/path
 
 [explode-path (-Pathlike . -> . (-lst (Un -Path (-val 'up) (-val 'same))))]
 [find-relative-path (-Pathlike -Pathlike . -> . -Path)]
@@ -591,3 +591,13 @@
 [string->some-system-path 
  (-String (Un (-val 'unix) (-val 'windows)) . -> . -Path)]
 
+;; scheme/math
+
+[sgn (-Real . -> . -Real)]
+[pi N]
+[sqr (N . -> . N)]
+[sgn (N . -> . N)]
+[conjugate (N . -> . N)]
+[sinh (N . -> . N)]
+[cosh (N . -> . N)]
+[tanh (N . -> . N)]
\ No newline at end of file
diff --git a/collects/typed-scheme/private/type-abbrev.ss b/collects/typed-scheme/private/type-abbrev.ss
index 35de27f4..ea415730 100644
--- a/collects/typed-scheme/private/type-abbrev.ss
+++ b/collects/typed-scheme/private/type-abbrev.ss
@@ -204,6 +204,8 @@
 (define -Pattern (*Un -String -Bytes -Regexp -Byte-Regexp -PRegexp -Byte-PRegexp))
 (define -Byte N)
 
+(define -Real N)
+
 (define (-Tuple l)
   (foldr -pair (-val '()) l))