From b4ec71329f78dcb0fa6b39286042be156d623eab Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 6 Dec 2009 20:58:17 +0000 Subject: [PATCH] fix scribble references -- I have no idea how they worked before, since they weren't requiring it anyway. svn: r17231 --- collects/eopl/eopl.scrbl | 2 +- collects/lazy/lazy.scrbl | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/eopl/eopl.scrbl b/collects/eopl/eopl.scrbl index 1296467202..4dc194df97 100644 --- a/collects/eopl/eopl.scrbl +++ b/collects/eopl/eopl.scrbl @@ -4,7 +4,7 @@ scheme/list (for-label eopl/eopl scheme/contract - (only-in scheme printf pretty-print))) + (only-in scheme printf pretty-print delay force))) @(define-syntax-rule (def-mz id) (begin diff --git a/collects/lazy/lazy.scrbl b/collects/lazy/lazy.scrbl index e5d13c248e..b27d8056ec 100644 --- a/collects/lazy/lazy.scrbl +++ b/collects/lazy/lazy.scrbl @@ -1,7 +1,8 @@ #lang scribble/doc @(require (for-label (except-in lazy delay force) (only-in lazy/force ! !! !list !!list) - scheme/contract)) + scheme/contract + (only-in scheme/promise promise?))) @(define-syntax-rule (deflazy mod def id) (begin