From 824803388fae667434bae8a8d46caed76365ccc3 Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Mon, 31 Oct 2016 15:48:28 -0400
Subject: [PATCH] fix non-turnstile mlish to work with define-primop and
 current-host-lang

---
 macrotypes/examples/mlish+adhoc.rkt | 3 ++-
 macrotypes/examples/mlish.rkt       | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/macrotypes/examples/mlish+adhoc.rkt b/macrotypes/examples/mlish+adhoc.rkt
index 9e9324e..2af23bd 100644
--- a/macrotypes/examples/mlish+adhoc.rkt
+++ b/macrotypes/examples/mlish+adhoc.rkt
@@ -1,7 +1,8 @@
 #lang s-exp "../typecheck.rkt"
 (require (only-in "../typecheck.rkt"
                   [define-typed-syntax def-typed-stx/no-provide]))
-(require racket/fixnum racket/flonum)
+(require (postfix-in - racket/fixnum)
+         (postfix-in - racket/flonum))
 
 (extends
  "ext-stlc.rkt"
diff --git a/macrotypes/examples/mlish.rkt b/macrotypes/examples/mlish.rkt
index 6eb1b34..7735019 100644
--- a/macrotypes/examples/mlish.rkt
+++ b/macrotypes/examples/mlish.rkt
@@ -1,6 +1,7 @@
 #lang s-exp macrotypes/typecheck
 (require
- racket/fixnum racket/flonum
+ (postfix-in - racket/fixnum)
+ (postfix-in - racket/flonum)
  (for-syntax macrotypes/type-constraints macrotypes/variance-constraints))
 
 (extends