;; modules.ss -- module metadata

;; Copyright (C) 2009 Jose Antonio Ortega Ruiz

;; Author: Jose Antonio Ortega Ruiz <jao@gnu.org>
;; Start date: Wed May 06, 2009 02:35

;; This file is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation; either version 3 of the License, or
;; (at your option) any later version.

;; This file is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;; GNU General Public License for more details.

;; You should have received a copy of the GNU General Public License
;; along with this program.  If not, see <http://www.gnu.org/licenses/>.

;;; Code:

#lang scheme

(provide load-module
         module-spec->namespace
         namespace->module-path-name
         module-path-name->name
         module-spec->path-name
         module-list
         module-exports)

(require srfi/13 scheme/enter syntax/modresolve syntax/modcode)

(define (ensure-module-spec spec)
  (cond ((symbol? spec) spec)
        ((not (string? spec)) #f)
        ((not (file-exists? spec)) #f)
        ((absolute-path? spec) `(file ,spec))
        (else spec)))

(define (module-spec->namespace spec)
  (let* ((spec (ensure-module-spec spec))
         (contract-handler (lambda (e)
                             (load-module spec)
                             (enter! #f)
                             (module->namespace spec)))
         (filesystem-handler (lambda (e)
                               (when (symbol? spec)
                                 (module->namespace `',spec)))))
    (if spec
        (with-handlers ((exn:fail:contract? contract-handler)
                        (exn:fail:filesystem? filesystem-handler))
          (module->namespace spec))
        (current-namespace))))

(define nowhere (open-output-nowhere))

(define (load-module spec . port)
  (parameterize ((current-error-port (if (null? port) nowhere (car port))))
    (eval #`(enter! #,(ensure-module-spec spec)))))

(define (namespace->module-path-name ns)
  (let ((rmp (variable-reference->resolved-module-path
              (eval '(#%variable-reference) ns))))
    (and (resolved-module-path? rmp)
         (resolved-module-path-name rmp))))

(define (module-spec->path-name spec)
  (with-handlers ((exn? (lambda (_) #f)))
    (let ((ns (module-spec->namespace (ensure-module-spec spec))))
      (namespace->module-path-name ns))))

(define (module-path-name->name path)
  (cond ((path? path)
         (let* ((path (path->string path))
                (cpaths (map (compose path->string path->directory-path)
                             (current-library-collection-paths)))
                (prefix-len (lambda (p)
                              (let ((pl (string-length p)))
                                (if (= pl (string-prefix-length p path)) pl 0))))
                (lens (map prefix-len cpaths))
                (real-path (substring path (apply max lens))))
           (if (absolute-path? real-path)
               (call-with-values (lambda () (split-path path))
                 (lambda (_ basename __) (path->string basename)))
               (regexp-replace "\\.[^./]*$" real-path ""))))
        ((eq? path '#%kernel) "(kernel)")
        ((string? path) path)
        ((symbol? path) (symbol->string path))
        (else "")))


(define (skippable-dir? path)
  (call-with-values (lambda () (split-path path))
    (lambda (_ basename __)
      (member (path->string basename) '(".svn" "compiled")))))

(define path->symbol (compose string->symbol path->string))

(define (path->entry path)
  (and (bytes=? (or (filename-extension path) #"") #"ss")
       (let ((path (path->string path)))
         (substring path 0 (- (string-length path) 3)))))

(define (visit-module-path path kind acc)
  (case kind
    ((file) (let ((entry (path->entry path)))
              (if entry (cons entry acc) acc)))
    ((dir) (cond ((skippable-dir? path) (values acc #f))
                 ((file-exists? (build-path path "main.ss"))
                  (cons (path->string path) acc))
                 (else acc)))
    (else acc)))

(define (find-modules path acc)
  (if (directory-exists? path)
      (parameterize ((current-directory path))
        (fold-files visit-module-path acc))
      acc))

(define module-cache #f)

(define (module-list)
  (when (not module-cache)
    (set! module-cache
          (sort (foldl find-modules '() (current-library-collection-paths))
                string<?)))
  module-cache)

(define (module-exports mod)
  (define (extract-ids ls)
    (append-map (lambda (idls)
                  (map car (cdr idls)))
                ls))
  (define (classify-ids ids ns)
    (let loop ((ids ids) (procs '()) (vars '()))
      (cond ((null? ids) `((procs ,@(reverse procs)) (vars ,@(reverse vars))))
            ((procedure? (namespace-variable-value (car ids) #t (lambda () #f) ns))
             (loop (cdr ids) (cons (car ids) procs) vars))
            (else (loop (cdr ids) procs (cons (car ids) vars))))))
  (let-values (((reg syn)
                (module-compiled-exports
                 (get-module-code (resolve-module-path mod #f)))))
    (let ((syn (extract-ids syn))
          (reg (extract-ids reg)))
      `((syntax ,@syn) ,@(classify-ids reg (module-spec->namespace mod))))))

;;; modules.ss ends here