diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2015-12-16 17:57:30 +0100 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-01-11 14:59:26 +0100 |
| commit | b193c6791c16817047b34f0929b1a9817ec62ee1 (patch) | |
| tree | 55ab4ea4b1859fd3617a41642c51fd0bfd9ab691 /intf | |
| parent | a1aff01d16bad2f44392fd5cb804092e12e558ed (diff) | |
COMMENTS: added to the "Constrexpr.CCases" variant.
Diffstat (limited to 'intf')
| -rw-r--r-- | intf/constrexpr.mli | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/intf/constrexpr.mli b/intf/constrexpr.mli index eaaf2dbb9..34dc1c669 100644 --- a/intf/constrexpr.mli +++ b/intf/constrexpr.mli @@ -76,8 +76,14 @@ type constr_expr = | CApp of Loc.t * (proj_flag * constr_expr) * (constr_expr * explicitation located option) list | CRecord of Loc.t * (reference * constr_expr) list - | CCases of Loc.t * case_style * constr_expr option * - case_expr list * branch_expr list + + (* representation of the "let" and "match" constructs *) + | CCases of Loc.t (* position of the "match" keyword *) + * case_style (* determines whether this value represents "let" or "match" construct *) + * constr_expr option (* return-clause *) + * case_expr list + * branch_expr list (* branches *) + | CLetTuple of Loc.t * Name.t located list * (Name.t located option * constr_expr option) * constr_expr * constr_expr | CIf of Loc.t * constr_expr * (Name.t located option * constr_expr option) @@ -92,8 +98,9 @@ type constr_expr = | CPrim of Loc.t * prim_token | CDelimiters of Loc.t * string * constr_expr -and case_expr = - constr_expr * Name.t located option * cases_pattern_expr option +and case_expr = constr_expr (* expression that is being matched *) + * Name.t located option (* as-clause *) + * cases_pattern_expr option (* in-clause *) and branch_expr = Loc.t * cases_pattern_expr list located list * constr_expr |