diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-05-29 23:50:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-05-29 23:50:08 +0000 |
| commit | 6c9b37fd68b558bced11d67cfc798ca96800bc79 (patch) | |
| tree | ccc64628c69ca1d1fcb71c7b20c030d896d62d05 /src/interp | |
| parent | d310a5d012161a4515d5c9e96e992fc6977d8f6b (diff) | |
| download | open-axiom-6c9b37fd68b558bced11d67cfc798ca96800bc79.tar.gz | |
* boot/parser.boot (%ParserState): New.
(makeParserState): Likewise.
(%Translator): Likewise.
(makeTranslator): Likewise.
Make all parsing functions take a parser state argument.
* boot/translator.boot (shoeOutParse): Adjust.
* interp/spad-parser.boot (stringPrefix?): Remove redudant definition.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/spad-parser.boot | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/interp/spad-parser.boot b/src/interp/spad-parser.boot index 266d966c..ff9051ed 100644 --- a/src/interp/spad-parser.boot +++ b/src/interp/spad-parser.boot @@ -48,7 +48,6 @@ namespace BOOT module spad_-parser where indentationLocation: %String -> %Maybe %Short - stringPrefix?: (%String,%String) -> %Boolean --% @@ -79,12 +78,6 @@ indentationLocation line == tabChar? line.i => loc := 8 * (loc quo 8 + 1) return loc -++ Return true if the string `s1' is a prefix of `s2'. -stringPrefix?(s1,s2) == - n1 := #s1 - n1 > #s2 => false - and/[s1.i = s2.i for i in 0..(n1-1)] - skipIfBlock x == [n,:line] := z := preparseReadLine1 x not string? line => z |