Return to parse.sig CVS log

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

researchv10 Dan Cross

signature PARSE =
sig
    structure F : FORMULA
    val parse : string -> F.formula
end

(* Grammar (in order of precedence):

    exp ->  NUM  |  ( exp )  |  [ exp , exp ] 
    exp ->  exp * exp  |   exp / exp
    exp ->  exp + exp  |  exp - exp
    exp ->  "if" exp "then" exp "else" exp
*)

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