diff options
| author | Kathy Gray | 2016-05-12 14:05:30 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-05-27 10:10:08 +0100 |
| commit | 7b3bec91d88cbf79a5d69b3b6e9a1d761e423b3d (patch) | |
| tree | 1c1eeb07d3969cfe81f4ae70c25ede0f1c7d606f /src/initial_check_full_ast.ml | |
| parent | 249361793931443c71d2097148fa4c7fa1b4bc4b (diff) | |
Add sizeof to sail. Documentation to follow
Diffstat (limited to 'src/initial_check_full_ast.ml')
| -rw-r--r-- | src/initial_check_full_ast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/initial_check_full_ast.ml b/src/initial_check_full_ast.ml index 1d5a8c98..86c1dd2c 100644 --- a/src/initial_check_full_ast.ml +++ b/src/initial_check_full_ast.ml @@ -344,6 +344,7 @@ and to_exp (k_env : kind Envmap.t) (def_ord : Ast.order) (E_aux(exp,(l,_)) : ex | E_case(exp,pexps) -> E_case(to_exp k_env def_ord exp, List.map (to_case k_env def_ord) pexps) | E_let(leb,exp) -> E_let(to_letbind k_env def_ord leb, to_exp k_env def_ord exp) | E_assign(lexp,exp) -> E_assign(to_lexp k_env def_ord lexp, to_exp k_env def_ord exp) + | E_sizeof(nexp) -> E_sizeof(to_nexp k_env nexp) | E_exit exp -> E_exit(to_exp k_env def_ord exp) | E_assert(cond,msg) -> E_assert(to_exp k_env def_ord cond, to_exp k_env def_ord msg) | E_comment s -> E_comment s |