SCM Repository
Diff of /trunk/src/compiler/ast/ast.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 169, Thu Jul 22 20:07:37 2010 UTC | revision 170, Sat Jul 24 13:30:47 2010 UTC | |
|---|---|---|
| # | Line 64 | Line 64 |
| 64 | | S_Stabilize | | S_Stabilize |
| 65 | ||
| 66 | and expr | and expr |
| 67 | = E_Var of var * Ty.meta_var list * Ty.ty | = E_Var of var |
| 68 | | E_Lit of Literal.literal | | E_Lit of Literal.literal |
| 69 | | E_Tuple of expr list | | E_Tuple of expr list |
| 70 | | E_Apply of var * Ty.meta_var list * expr list * Ty.ty | | E_Apply of var * Ty.meta_var list * expr list * Ty.ty |
| 71 | (* note: operators can be polymorphic, so we record the type arguments. *) | |
| 72 | | E_Cons of expr list (* tensor-value construction *) | | E_Cons of expr list (* tensor-value construction *) |
| 73 | | E_Cond of expr * expr * expr | | E_Cond of expr * expr * expr |
| 74 |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
