;;; This is the top level entry to the parse.  The input is a list of file
 ;;; names to be parsed and the output is a list of modules.  Interface files
 ;;; generate modules similar to ordinary files.  
 
 (define (parse-files filenames)
   (let ((all-mods '()))
     (dolist (file filenames)
       (let* ((ext (filename-type file))
 	     (mods (cond ((string=? ext ".hs")
 			  (parse-single-file file))
 			 ((string=? ext ".lhs")
 			  (parse-single-file/literate file))
 			 ((string=? ext ".hi")
 			  (parse-single-file/interface file)))))
 	   (setf all-mods (append all-mods mods))))
     all-mods))
 
 (define (parse-single-file filename)
   (parse-single-file-1 filename '#f '#f))
 
 (define (parse-single-file/literate filename)
   (parse-single-file-1 filename '#t '#f))
 
 (define (parse-single-file/interface filename)
   (parse-single-file-1 filename '#f '#t))
 
 (define (parse-single-file-1 filename literate? interface?)
   (when (memq 'reading *printers*)
       (format '#t "Reading Haskell source file ~s.~%" filename))
   (when (not (file-exists? filename))
     (signal-file-not-found filename))
   (dynamic-let ((*current-file* filename))
     (let ((mods '()))
       (call-with-input-file filename
         (lambda (port)
 	  (let* ((tokens (lex-port port literate?))
 		 (module-asts (if interface?
 				  (parse-tokens/interface tokens)
 				  (parse-tokens tokens))))
 	    (setf mods module-asts))))
       (when (memq 'parse *printers*)
 	(dolist (m mods)
 	  (format '#t "~%")
 	  (print-full-module m)))
       mods)))