diff options
| author |  Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-07-11 13:52:58 -0700 |
|---|---|---|
| committer | Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-07-11 13:52:58 -0700 |
| commit | 776eb757b0e4b7b98ea9c7ca9bcee002eaf6bee2 (patch) | |
| tree | ccc366f1ab563cd471c5560aab0a529801f62f8d /Jennisys/Ast.fs | |
| parent | dbb1fbe420eddf778da724c5eec6549ce068c28d (diff) | |
- added Set.jen example
- fixed implementation for sets
- generalized unification rules
- added command line options
- removed the "Exact" active pattern for strings (the same thing is already supported by F#)
- added a ternary if-then-else expression to Jennisys langauge and IteExpr and SetExpr to AST
Diffstat (limited to 'Jennisys/Ast.fs')
| -rw-r--r-- | Jennisys/Ast.fs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Jennisys/Ast.fs b/Jennisys/Ast.fs index 167a5eef..86f6861f 100644 --- a/Jennisys/Ast.fs +++ b/Jennisys/Ast.fs @@ -29,10 +29,12 @@ type Expr = | Dot of Expr * string
| UnaryExpr of string * Expr
| BinaryExpr of int * string * Expr * Expr
+ | IteExpr of (* cond *) Expr * (* thenExpr *) Expr * (* elseExpr *) Expr
| SelectExpr of Expr * Expr
| UpdateExpr of Expr * Expr * Expr
| SequenceExpr of Expr list
| SeqLength of Expr
+ | SetExpr of Expr list
| ForallExpr of VarDecl list * Expr
type Stmt =
|