Return to parse.sig CVS log

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

Annotation of researchv10no/cmd/sml/doc/examples/spread/parse.sig, revision 1.1.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.