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