From d6b1760d68c03ae4bd44d5f882fcd3066403149f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 24 Jul 2002 19:29:17 +0000 Subject: [PATCH] . original commit: 57f20a123d9b8863400b5be181b0990b0c6d2f42 --- collects/compiler/embed-sig.ss | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 collects/compiler/embed-sig.ss diff --git a/collects/compiler/embed-sig.ss b/collects/compiler/embed-sig.ss new file mode 100644 index 0000000000..ce20d92c21 --- /dev/null +++ b/collects/compiler/embed-sig.ss @@ -0,0 +1,9 @@ + +(module embed-sig mzscheme + (require (lib "unitsig.ss")) + (provide compiler:embed^) + + (define-signature compiler:embed^ + (make-embedding-executable + embedding-executable-is-directory? + embedding-executable-put-file-extension+style+filters)))