From 7d4264837ff4e3103d11130641084ae3dabe519f Mon Sep 17 00:00:00 2001
From: Eric Knauel <knauel@informatik.uni-tuebingen.de>
Date: Thu, 26 Feb 2004 15:12:51 +0000
Subject: [PATCH] added package "no-mini-profiler" with same interface as
 "mini-profiler"

---
 s48/profile/no-profile.scm | 20 ++++++++++++++++++++
 s48/profile/packages.scm   |  5 ++++-
 2 files changed, 24 insertions(+), 1 deletion(-)
 create mode 100644 s48/profile/no-profile.scm

diff --git a/s48/profile/no-profile.scm b/s48/profile/no-profile.scm
new file mode 100644
index 0000000..5c0e2c5
--- /dev/null
+++ b/s48/profile/no-profile.scm
@@ -0,0 +1,20 @@
+(define (profile-init!)
+  #f)
+
+(define (display-profile)
+  (display "No profiling data available.")
+  (newline))
+
+(define-syntax define-prof
+  (syntax-rules
+      ()
+    ((_ ?args ...)
+     (define ?args ...))))
+
+(define-syntax account-for
+  (syntax-rules
+      ()
+    ((_ ?account ?body ...)
+     (begin
+       ?body
+       ...))))
\ No newline at end of file
diff --git a/s48/profile/packages.scm b/s48/profile/packages.scm
index be48b72..dc6f911 100644
--- a/s48/profile/packages.scm
+++ b/s48/profile/packages.scm
@@ -5,4 +5,7 @@
 	extended-ports
 	time)
   (files profile))
-   
\ No newline at end of file
+
+(define-structure no-mini-profiler mini-profiler-interface
+  (open scheme)
+  (files no-profile))