Return to parse.sig CVS log

Up to [Research Unix] / researchv10dc / cmd / sml / doc / examples / spread

Annotation of researchv10dc/cmd/sml/doc/examples/spread/parse.sig, revision 1.1

1.1     ! root        1: signature PARSE =
        !             2: sig
        !             3:     structure F : FORMULA
        !             4:     val parse : string -> F.formula
        !             5: end
        !             6: 
        !             7: (* Grammar (in order of precedence):
        !             8: 
        !             9:     exp ->  NUM  |  ( exp )  |  [ exp , exp ] 
        !            10:     exp ->  exp * exp  |   exp / exp
        !            11:     exp ->  exp + exp  |  exp - exp
        !            12:     exp ->  "if" exp "then" exp "else" exp
        !            13: *)
        !            14: 

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.