From 82a9f678514c00c89630f14f2d504ba847d964b4 Mon Sep 17 00:00:00 2001 From: Joe Marshall Date: Wed, 10 Mar 2010 14:01:15 -0800 Subject: [PATCH] Export sf:maximum-duplicate-expression-size and sf:enable-true-unspecific? to global. --- src/sf/sf.pkg | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/sf/sf.pkg b/src/sf/sf.pkg index d2d4c8cb4..f57398bc9 100644 --- a/src/sf/sf.pkg +++ b/src/sf/sf.pkg @@ -148,6 +148,9 @@ USA. (define-package (scode-optimizer analyze) (files "analyze") (parent (scode-optimizer)) + (export () + sf:maximum-duplicate-expression-size + sf:enable-true-unspecific?) (export (scode-optimizer) expression/always-false? expression/boolean? @@ -158,9 +161,7 @@ USA. expression/never-false? expression/pure-false? expression/pure-true? - expression/unspecific? - sf:maximum-duplicate-expression-size - sf:enable-true-unspecific?)) + expression/unspecific?)) (define-package (scode-optimizer change-type) (files "chtype") -- 2.25.1