~ chicken-core (chicken-5) e0e8e8495703577f2c2b306d64895e56c91e3b86

commit e0e8e8495703577f2c2b306d64895e56c91e3b86
Author:     Evan Hanson <evhan@foldling.org>
AuthorDate: Sat Jan 2 11:23:46 2016 +1300
Commit:     Evan Hanson <evhan@foldling.org>
CommitDate: Tue Mar 8 22:52:32 2016 +1300

    Kill `provide` and `provided?`

diff --git a/chicken-ffi-syntax.scm b/chicken-ffi-syntax.scm
index 8ba9c15e..57187535 100644
--- a/chicken-ffi-syntax.scm
+++ b/chicken-ffi-syntax.scm
@@ -44,8 +44,6 @@
 
 (include "mini-srfi-1.scm")
 
-(##sys#provide 'chicken-ffi-syntax)
-
 (define ##sys#chicken-ffi-macro-environment
   (let ((me0 (##sys#macro-environment)))
 
diff --git a/chicken-syntax.scm b/chicken-syntax.scm
index 78ecef41..b7c326a7 100644
--- a/chicken-syntax.scm
+++ b/chicken-syntax.scm
@@ -41,10 +41,6 @@
 
 (include "mini-srfi-1.scm")
 
-
-(##sys#provide 'chicken-syntax)
-
-
 ;;; Non-standard macros:
 
 (define ##sys#chicken-macro-environment
diff --git a/eval.scm b/eval.scm
index f5df5b77..9782cd08 100644
--- a/eval.scm
+++ b/eval.scm
@@ -53,8 +53,7 @@
    eval eval-handler extension-information
    load load-library load-noisily load-relative load-verbose
    interaction-environment null-environment scheme-report-environment
-   provide provided? repl repl-prompt require
-   repository-path set-dynamic-load-mode!)
+   repl repl-prompt require repository-path set-dynamic-load-mode!)
 
 ;; Exclude values defined within this module.
 (import (except scheme eval load interaction-environment null-environment scheme-report-environment))
@@ -1224,20 +1223,6 @@
 		       (err? (##sys#error loc "cannot load extension" id))
 		       (else #f) ) ) ) ) ) ) ) )
 
-(define (provide . ids)
-  (for-each
-   (lambda (id)
-     (##sys#check-symbol id 'provide)
-     (let ([p (##sys#canonicalize-extension-path id 'provide)])
-       (set! loaded-extensions (cons p loaded-extensions))))
-   ids) )
-
-(define ##sys#provide provide)
-
-(define (provided? id)
-  (and (member (##sys#canonicalize-extension-path id 'provided?) loaded-extensions)
-       #t) )
-
 (define (require . ids)
   (for-each (cut load-extension <> 'require) ids))
 
diff --git a/manual/Unit eval b/manual/Unit eval
index 865294b9..e61a3f95 100644
--- a/manual/Unit eval	
+++ b/manual/Unit eval	
@@ -135,20 +135,6 @@ If an extension with the name {{ID}} is installed and if it has a setup-informat
 list registered in the extension repository, then the info-list is returned. Otherwise
 {{extension-information}} returns {{#f}}.
 
-==== provide
-
-<procedure>(provide ID ...)</procedure>
-
-Registers the extension IDs {{ID ...}} as loaded. This is mainly
-intended to provide aliases for certain extension identifiers.
-
-==== provided?
-
-<procedure>(provided? ID ...)</procedure>
-
-Returns {{#t}} if the extension with the IDs {{ID ...}}
-are currently loaded, or {{#f}} otherwise.
-
 ==== require
 
 <procedure>(require ID ...)</procedure>