diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/pretty_print_sail.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml index d69ce3ce..8299e9b5 100644 --- a/src/pretty_print_sail.ml +++ b/src/pretty_print_sail.ml @@ -187,6 +187,9 @@ let doc_exp, doc_let = string "if" ^^ space ^^ group (exp c) ^/^ string "then" ^^ space ^^ group (exp t) ^/^ string "else" ^^ space ^^ group (exp e) + | E_loop (While, c, e) -> + separate space [string "while"; atomic_exp c; string "do"] ^/^ + exp e | E_loop (Until, c, e) -> (string "repeat" ^/^ exp e) |