diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-30 04:07:42 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-30 04:07:42 +0000 |
commit | e8d97f536bc5aa1e00778e23efd78611cfbe9fe9 (patch) | |
tree | 19b5531141aed7b0e0aaf49e9bb50d00738bc37c /src/algebra/mkfunc.spad.pamphlet | |
parent | 496fe8b336293c1ca960eb3fad67ac005403ee31 (diff) | |
download | open-axiom-e8d97f536bc5aa1e00778e23efd78611cfbe9fe9.tar.gz |
More explicit import
Diffstat (limited to 'src/algebra/mkfunc.spad.pamphlet')
-rw-r--r-- | src/algebra/mkfunc.spad.pamphlet | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/algebra/mkfunc.spad.pamphlet b/src/algebra/mkfunc.spad.pamphlet index 4e49cf43..fae62a96 100644 --- a/src/algebra/mkfunc.spad.pamphlet +++ b/src/algebra/mkfunc.spad.pamphlet @@ -256,7 +256,9 @@ MakeFunction(S:ConvertibleTo InputForm): Exports == Implementation where \section{package MKUCFUNC MakeUnaryCompiledFunction} <<package MKUCFUNC MakeUnaryCompiledFunction>>= +import Type import Symbol +import ConvertibleTo InputForm )abbrev package MKUCFUNC MakeUnaryCompiledFunction ++ Tools for making compiled functions from top-level expressions ++ Author: Manuel Bronstein @@ -297,6 +299,8 @@ MakeUnaryCompiledFunction(S, D, I): Exports == Implementation where \section{package MKBCFUNC MakeBinaryCompiledFunction} <<package MKBCFUNC MakeBinaryCompiledFunction>>= +import Type +import CoercibleTo InputForm import Symbol )abbrev package MKBCFUNC MakeBinaryCompiledFunction ++ Tools for making compiled functions from top-level expressions |