diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-09-18 09:59:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-09-18 09:59:53 +0000 |
| commit | c7922bf127eac4b203fc3c36b0ae1d0f9d279f54 (patch) | |
| tree | f7b40c101dc786a16487a8f8256d82b63b8c2e38 | |
| parent | b470f6e697d62ac77ea6c880d7199de801988ba7 (diff) | |
| download | open-axiom-c7922bf127eac4b203fc3c36b0ae1d0f9d279f54.tar.gz | |
* algebra/mkfunc.spad.pamphlet (parseString$InputForm): New.
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/algebra/mkfunc.spad.pamphlet | 8 |
2 files changed, 12 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index d9a2fe40..43f5e6c1 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2008-09-18 Bill Page <bill.page@newsynthesis.org> + Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/mkfunc.spad.pamphlet (parseString$InputForm): New. + 2008-09-17 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains. diff --git a/src/algebra/mkfunc.spad.pamphlet b/src/algebra/mkfunc.spad.pamphlet index fae62a96..39c47899 100644 --- a/src/algebra/mkfunc.spad.pamphlet +++ b/src/algebra/mkfunc.spad.pamphlet @@ -15,7 +15,7 @@ ++ Parser forms ++ Author: Manuel Bronstein ++ Date Created: ??? -++ Date Last Updated: 19 April 1991 +++ Date Last Updated: September 18, 2008 ++ Description: ++ Domain of parsed forms which can be passed to the interpreter. ++ This is also the interface between algebra code and facilities @@ -64,6 +64,9 @@ InputForm(): ++ unparse(f) returns a string s such that the parser ++ would transform s to f. ++ Error: if f is not the parsed form of a string. + parseString: String -> % + ++ parseString is the inverse of unparse. It parses a + ++ string to InputForm. declare : List % -> Symbol ++ declare(t) returns a name f such that f has been ++ declared to the interpreter to be of type t, but has @@ -137,6 +140,9 @@ InputForm(): atom?(s:% := form2String(x)$Lisp) => strsym s concat [strsym a for a in destruct s] + parseString x == + ncParseFromString(x)$Lisp + declare signature == declare(name := new()$Symbol, signature)$Lisp name |