Add if..then..else

[hcoop/domtool2.git] / src / ast.sml

diff --git a/src/ast.sml b/src/ast.sml
index ead8531..6668b4b 100644 (file)
--- a/src/ast.sml
+++ b/src/ast.sml
@@ -91,6 +91,8 @@ datatype exp' =
        (* Apply a TNested to an action *)
        | EALam of string * pred * exp
        (* Abstraction for building TNested values *)
        (* Apply a TNested to an action *)
        | EALam of string * pred * exp
        (* Abstraction for building TNested values *)

+       | EIf of exp * exp * exp
+       (* If..then..else *)

 withtype exp = exp' * position
 
 datatype decl' =
 withtype exp = exp' * position
 
 datatype decl' =