1 files changed, 48 insertions, 0 deletions
diff --git a/parser/parser-driver.scm b/parser/parser-driver.scm
new file mode 100644
index 0000000..cd42d3d
--- /dev/null
+++ b/parser/parser-driver.scm
@@ -0,0 +1,48 @@
+
+;;; 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)))
+
+