diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ast_util.ml | 4 | ||||
| -rw-r--r-- | src/ast_util.mli | 1 | ||||
| -rw-r--r-- | src/sail_lib.ml | 2 |
3 files changed, 5 insertions, 2 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index 229b0994..7f660745 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -76,9 +76,11 @@ let mk_pat pat_aux = P_aux (pat_aux, no_annot) let unaux_pat (P_aux (pat_aux, _)) = pat_aux let mk_pexp pexp_aux = Pat_aux (pexp_aux, no_annot) - + let mk_lexp lexp_aux = LEXP_aux (lexp_aux, no_annot) +let mk_typ_pat tpat_aux = TP_aux (tpat_aux, Parse_ast.Unknown) + let mk_lit lit_aux = L_aux (lit_aux, Parse_ast.Unknown) let mk_lit_exp lit_aux = mk_exp (E_lit (mk_lit lit_aux)) diff --git a/src/ast_util.mli b/src/ast_util.mli index 3302c573..bc2181e8 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -74,6 +74,7 @@ val mk_pexp : unit pexp_aux -> unit pexp val mk_lexp : unit lexp_aux -> unit lexp val mk_lit : lit_aux -> lit val mk_lit_exp : lit_aux -> unit exp +val mk_typ_pat : typ_pat_aux -> typ_pat val mk_funcl : id -> unit pat -> unit exp -> unit funcl val mk_fundef : (unit funcl) list -> unit def val mk_val_spec : val_spec_aux -> unit def diff --git a/src/sail_lib.ml b/src/sail_lib.ml index b31ca9df..423394e5 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -509,7 +509,7 @@ let string_of_zunit () = "()" let string_of_zbool = function | true -> "true" | false -> "false" -(* let string_of_zreal r = Num.string_of_num r *) +let string_of_zreal r = "REAL" let string_of_zstring str = "\"" ^ String.escaped str ^ "\"" let rec string_of_list sep string_of = function |