From 297f9a980a3d9c945e0d111ff71556af320eea9f Mon Sep 17 00:00:00 2001 From: Joe Marshall Date: Tue, 2 Mar 2010 10:30:44 -0800 Subject: [PATCH] Export new bindings. --- src/sf/sf.pkg | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/sf/sf.pkg b/src/sf/sf.pkg index faee1fea6..f9fe37efa 100644 --- a/src/sf/sf.pkg +++ b/src/sf/sf.pkg @@ -49,8 +49,7 @@ USA. sf:enable-disjunction-inversion? sf:enable-disjunction-linearization? sf:enable-disjunction-simplification? - sf:enable-distribute-primitives? - )) + sf:enable-distribute-primitives?)) (define-package (scode-optimizer global-imports) (files "gimprt") @@ -105,7 +104,8 @@ USA. (parent (scode-optimizer)) (export (scode-optimizer) *sf-associate* - cgen/external) + cgen/external + pp-form) (export (scode-optimizer expansion) cgen/external-with-declarations)) @@ -145,7 +145,8 @@ USA. (files "free") (parent (scode-optimizer)) (export (scode-optimizer) - free/expression)) + free/expression + variable/free-in-expression?)) (define-package (scode-optimizer change-type) (files "chtype") -- 2.25.1