From 835cfcd7ea3a211c1337c99e67f6715af3f030a5 Mon Sep 17 00:00:00 2001
From: WarGrey Gyoudmon Ju <juzhenliang@gmail.com>
Date: Sat, 9 Jul 2016 08:40:52 +0800
Subject: [PATCH] add typed/racket/os.rkt (#391)

---
 typed-racket-more/typed/racket/os.rkt | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 typed-racket-more/typed/racket/os.rkt

diff --git a/typed-racket-more/typed/racket/os.rkt b/typed-racket-more/typed/racket/os.rkt
new file mode 100644
index 00000000..d8e4c4f0
--- /dev/null
+++ b/typed-racket-more/typed/racket/os.rkt
@@ -0,0 +1,6 @@
+#lang typed/racket/base
+
+(require/typed/provide
+ racket/os
+ [gethostname (-> String)]
+ [getpid (-> Integer)])