diff options
-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 |