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

SCM Repository

[smlnj] Diff of /sml/branches/dbm-type-blame/cm/semant/semant.sml
ViewVC logotype

Diff of /sml/branches/dbm-type-blame/cm/semant/semant.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3593, Wed May 11 03:44:12 2011 UTC revision 3594, Thu May 12 16:06:32 2011 UTC
# Line 132  Line 132 
132      val negate : aexp -> aexp      val negate : aexp -> aexp
133    
134      (* (bool-valued) expressions *)      (* (bool-valued) expressions *)
135        val boolean : bool -> exp
136      val ml_defined : ml_symbol -> exp      val ml_defined : ml_symbol -> exp
137      val cm_defined : GeneralParams.info -> cm_symbol -> exp      val cm_defined : GeneralParams.info -> cm_symbol -> exp
138      val conj : exp * exp -> exp      val conj : exp * exp -> exp
# Line 411  Line 412 
412        | sign (MINUS, ex) e = ~(ex e)        | sign (MINUS, ex) e = ~(ex e)
413      fun negate ex e = ~(ex e)      fun negate ex e = ~(ex e)
414    
415        fun boolean b _ = b
416      fun ml_defined s e = MC.ml_look e s      fun ml_defined s e = MC.ml_look e s
417      fun cm_defined gp s e = MC.cm_look gp e s      fun cm_defined gp s e = MC.cm_look gp e s
418      fun conj (e1, e2) e = e1 e andalso e2 e      fun conj (e1, e2) e = e1 e andalso e2 e

Legend:
Removed from v.3593  
changed lines
  Added in v.3594

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