From 7e9bfe341668ef03fb3f5420eb11aa183ac30ea5 Mon Sep 17 00:00:00 2001
From: "Edward Z. Yang" <ezyang@mit.edu>
Date: Mon, 12 Mar 2012 12:00:13 -0700
Subject: Some minor documentation to the Mono AST.

---
 src/mono.sml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index 2c83d1bc..65dc9abc 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -44,7 +44,7 @@ datatype typ' =
 withtype typ = typ' located
 
 datatype patCon =
-         PConVar of int
+         PConVar of int (* constructor identifier *)
        | PConFfi of {mod : string, datatyp : string, con : string, arg : typ option}
 
 datatype pat' =
@@ -72,8 +72,8 @@ datatype binop_intness = Int | NotInt
 
 datatype exp' =
          EPrim of Prim.t
-       | ERel of int
-       | ENamed of int
+       | ERel of int   (* deBruijn index *)
+       | ENamed of int (* named variable *)
        | ECon of datatype_kind * patCon * exp option
        | ENone of typ
        | ESome of typ * exp
@@ -102,10 +102,11 @@ datatype exp' =
 
        | EClosure of int * exp list
 
-       | EQuery of { exps : (string * typ) list,
+       | EQuery of { exps : (string * typ) list, (* name of computed field, type of field*)
                      tables : (string * (string * typ) list) list,
                      state : typ,
-                     query : exp,
+                     query : exp, (* exp of string type containing sql query
+                     (after mono opt) *)
                      body : exp,
                      initial : exp }
        | EDml of exp * failure_mode
-- 
cgit v1.2.3