diff options
| author | Alasdair Armstrong | 2017-12-14 20:09:04 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-14 20:09:04 +0000 |
| commit | b3d2aa1f4d4b60e0a5a9c05127c81504e6b9a0c4 (patch) | |
| tree | 12c3ba7adc9c0b24e0ed709a4dfe04c5e7f176b5 /src/ast_util.mli | |
| parent | 2162c6586b8024789875c2e619b09ba8348e72e0 (diff) | |
An experimental version of sail without bitvector start indexes.
Works with the vector branch of asl_parser
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index a3ccc00c..7ff46b02 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -106,7 +106,7 @@ val app_typ : id -> typ_arg list -> typ val unit_typ : typ val string_typ : typ val real_typ : typ -val vector_typ : nexp -> nexp -> order -> typ -> typ +val vector_typ : nexp -> order -> typ -> typ val list_typ : typ -> typ val exc_typ : typ val tuple_typ : typ list -> typ |