From d44f0fb14c79c773669d5add89332ed10d78bb40 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Wed, 11 Jan 2012 16:25:40 -0500
Subject: [PATCH] Fix up provided bindings.

---
 os-userland-example.rkt | 5 ++---
 os-userland.rkt         | 5 +++++
 os.rkt                  | 1 -
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/os-userland-example.rkt b/os-userland-example.rkt
index abcb51b..cfb003c 100644
--- a/os-userland-example.rkt
+++ b/os-userland-example.rkt
@@ -1,7 +1,6 @@
 #lang racket/base
 
 (require racket/port)
-(require "os.rkt")
 (require "os-userland.rkt")
 
 (define (rpc req)
@@ -75,5 +74,5 @@
   (rpc `(sleep 1000))
   (send `(display "Goodbye\n")))
 
-(ground-vm (lambda (p m) (p m)) ;; pattern-predicate
-	   (lambda () (userland main)))
+(ground-vm/userland (lambda (p m) (p m)) ;; pattern-predicate
+		    main)
diff --git a/os-userland.rkt b/os-userland.rkt
index 5eae414..e54bfc3 100644
--- a/os-userland.rkt
+++ b/os-userland.rkt
@@ -9,7 +9,9 @@
 (provide (struct-out wait-clause)
 	 message-handlers
 	 meta-message-handlers
+
 	 userland
+	 ground-vm/userland
 
 	 send
 	 meta-send
@@ -44,6 +46,9 @@
 				  'finish))
 		      void)))
 
+(define (ground-vm/userland pattern-predicate boot)
+  (ground-vm pattern-predicate (lambda () (userland boot))))
+
 (define ((reply-to k) v)
   (call-with-continuation-prompt (lambda () (k (v))) prompt))
 
diff --git a/os.rkt b/os.rkt
index 98ef54c..6f65c6b 100644
--- a/os.rkt
+++ b/os.rkt
@@ -23,7 +23,6 @@
  run-vm
 
  ;; Grounding out the infinite tower of VMs
- nested-vm-inert?
  ground-vm
  )