From ba1c8113f41eb8e0bce0ed5b3b2c5aecca6ca97d Mon Sep 17 00:00:00 2001
From: Andy Keep <akeep@robotman.org>
Date: Sun, 1 May 2016 19:21:46 +0000
Subject: [PATCH] Slightly extended @hyln9 tests in 7.ms, rebuilt the boot
 files and added a comma to the log.   7.ms, boot/*/{petite,scheme}.boot, LOG

original commit: 8343b7172532a00d2d19914206fcf83c93798c80
---
 LOG       |  2 +-
 mats/7.ms | 45 ++++++++++++++++++++++++++++++++++++++++++++-
 2 files changed, 45 insertions(+), 2 deletions(-)

diff --git a/LOG b/LOG
index 3157428f3d..abfc07d4ef 100644
--- a/LOG
+++ b/LOG
@@ -60,5 +60,5 @@
     stats.c,
     date.ms
 - fixed incorrect handling of library-extension when searching wpo files
-    compile.ss
+    compile.ss,
     7.ms
diff --git a/mats/7.ms b/mats/7.ms
index ca6d8d4903..4617c2e411 100644
--- a/mats/7.ms
+++ b/mats/7.ms
@@ -1926,7 +1926,7 @@ evaluating module init
           '(library (testfile-wpo-extlib)
              (export magic)
              (import (rnrs))
-             (define magic 9))))
+             (define magic (cons 9 5)))))
       'replace)
     (with-output-to-file "testfile-wpo-ext.ss"
       (lambda ()
@@ -1948,6 +1948,10 @@ evaluating module init
            (compile-whole-program (format "~a.wpo" x) (format "~a-all.so" x))))
       'wpo-ext)
     "()\n")
+
+  (equal?
+    (separate-eval '(load "testfile-wpo-ext-all.so"))
+    "(9 . 5)\n")
 )
 
 (mat compile-whole-library
@@ -3041,6 +3045,45 @@ evaluating module init
   (equal?
     (separate-eval '(load-program "testfile-cwl-c13.so"))
     "(51 85 119)\n")
+
+  (begin
+    (with-output-to-file "testfile-wpo-extlib-1.chezscheme.sls"
+      (lambda ()
+        (pretty-print
+          '(library (testfile-wpo-extlib-1)
+             (export magic)
+             (import (rnrs))
+             (define magic (cons 9 5)))))
+      'replace)
+    (with-output-to-file "testfile-wpo-extlib-2.ss"
+      (lambda ()
+        (pretty-print
+          '(library (testfile-wpo-extlib-2)
+             (export p)
+             (import (chezscheme) (testfile-wpo-extlib))
+             (define p
+               (lambda ()
+                 (pretty-print magic))))))
+      'replace)
+    (separate-compile
+      '(lambda (x)
+         (parameterize ([compile-imported-libraries #t]
+                        [generate-wpo-files #t])
+           (compile-library x)))
+      'wpo-extlib-2)
+    #t)
+
+  (equal?
+    (separate-compile
+      '(lambda (x)
+         (parameterize ([generate-wpo-files #t])
+           (compile-whole-library (format "~a.wpo" x) (format "~a-all.so" x))))
+      'wpo-extlib-2)
+    "()\n")
+
+  (equal?
+    (separate-eval '(let () (import (testfile-wpo-extlib-2)) (p)))
+    "(9 . 5)\n")
 )