diff options
| author | Kathy Gray | 2014-08-01 17:47:38 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-01 17:47:38 +0100 |
| commit | d08142bfe05ec33f43e3d42a92a4c7f21e3be954 (patch) | |
| tree | 9580d9a715cf4a78f68a476bf0d4dba0fabc43dd /src/pretty_print.ml | |
| parent | 06b8c94efec32f81ee63031f2996563ecc45d00a (diff) | |
Support separated memory read/write functions.
Also allows register writing functions to be on the left hand side of an assignment in the same way.
The last parameter to a writing function is the value to be written, and should appear on the right hand side of an assignment expression.
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 40b6d60f..c500beb1 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -606,6 +606,7 @@ let doc_typ, doc_atomic_typ, doc_nexp = | Typ_tup typs -> parens (separate_map comma_sp app_typ typs) | _ -> app_typ ty and app_typ ((Typ_aux (t, _)) as ty) = match t with + (*TODO Need to un bid-endian-ify this here, since both can transform to the shorthand, especially with <: and :> *) (* Special case simple vectors to improve legibility * XXX we assume big-endian here, as usual *) | Typ_app(Id_aux (Id "vector", _), [ |