Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /archive/0.93/doc/examples/spread/parse.sig
ViewVC logotype

View of /archive/0.93/doc/examples/spread/parse.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4958 - (download) (as text) (annotate)
Wed Apr 10 01:33:29 2019 UTC (3 months ago) by dbm
File size: 294 byte(s)
adding 0.93 src and doc to archive
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
*)


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0