diff options
author | dos-reis <gdr@axiomatics.org> | 2012-08-20 12:01:42 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-08-20 12:01:42 +0000 |
commit | cb1bbfc4996f10ec428bc9bdafd53eebb1205258 (patch) | |
tree | 9182e31b8ed7ef11324b41e7d070f7d36596e3a6 /src/interp/br-search.boot | |
parent | fc5f21dee871bb57e18ecd0818333a11eba76ed9 (diff) | |
download | open-axiom-cb1bbfc4996f10ec428bc9bdafd53eebb1205258.tar.gz |
* interp/br-util.boot (htPred2English,gn): Tidy.
* interp/br-search.boot (pmPreparse): Do not apply pmPreparse,hn.
Tidy.
(pmPreparse,hn): Remove.
Diffstat (limited to 'src/interp/br-search.boot')
-rw-r--r-- | src/interp/br-search.boot | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/interp/br-search.boot b/src/interp/br-search.boot index 090d7752..9890e86b 100644 --- a/src/interp/br-search.boot +++ b/src/interp/br-search.boot @@ -180,15 +180,14 @@ pmParseFromString s == [op,:[flatten x for x in argl]] s -pmPreparse s == hn fn(s,0,#s) where--stupid insertion of chars to get correct parse - hn x == SUBLISLIS('(and or not),'("and" "or" "not"),x) +pmPreparse s == fn(s,0,#s) where--stupid insertion of chars to get correct parse fn(s,n,siz) == --main function: s is string, n is origin n = siz => '"" i := firstNonDelim(s,n) or return subString(s,n) j := firstDelim(s,i + 1) or siz t := gn(s,i,j - 1) middle := - t in '("and" "or" "not") => t + member(t,'("and" "or" "not")) => t --the following 2 lines make commutative("*") parse correctly!!!! stringChar(t,0) = char "_"" => t j < siz - 1 and s.j = char "(" => t |