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 /sml/trunk/src/eXene/demos/tactic-tree/examples/derivative/syntax.sml
ViewVC logotype

View of /sml/trunk/src/eXene/demos/tactic-tree/examples/derivative/syntax.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (download) (annotate)
Thu Jun 1 18:34:03 2000 UTC (19 years, 3 months ago) by monnier
File size: 913 byte(s)
bring revisions from the vendor branch to the trunk
signature EXPRESSION =
sig

    datatype term = 
	Var of string
      | Num of int

    datatype expression =
	Plus of expression * expression
      | Minus of expression * expression
      | Times of expression * expression
      | Divide of expression * expression
      | Exp of expression * expression
      | Neg of expression
      | E of expression
      | Sin of expression
      | Cos of expression
      | Term of term
      | Error
end

structure Expression : EXPRESSION = 
struct

    datatype term = 
	Var of string
      | Num of int

    datatype expression =
	Plus of expression * expression
      | Minus of expression * expression
      | Times of expression * expression
      | Divide of expression * expression
      | Exp of expression * expression
      | Neg of expression
      | E of expression
      | Sin of expression
      | Cos of expression
      | Term of term
      | Error
end

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