From e60e43cb90cf7128cee4f82d84a402ba0cb14dc5 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sat, 23 Jul 2016 11:59:30 +0100
Subject: Add a return exp form to Sail, supported in type checker and in
 interpreter.

TODO: add an event for a return so that rewriters can find and remove them as needed for OCaml and Lem
---
 src/rewriter.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/rewriter.mli')

diff --git a/src/rewriter.mli b/src/rewriter.mli
index 3bfb766c..ab4645f3 100644
--- a/src/rewriter.mli
+++ b/src/rewriter.mli
@@ -73,6 +73,7 @@ type ('a,'exp,'exp_aux,'lexp,'lexp_aux,'fexp,'fexp_aux,'fexps,'fexps_aux,
  ; e_let                    : 'letbind * 'exp -> 'exp_aux
  ; e_assign                 : 'lexp * 'exp -> 'exp_aux
  ; e_exit                   : 'exp -> 'exp_aux
+ ; e_return                 : 'exp -> 'exp_aux
  ; e_assert                 : 'exp * 'exp -> 'exp_aux
  ; e_internal_cast          : 'a annot * 'exp -> 'exp_aux
  ; e_internal_exp           : 'a annot -> 'exp_aux
-- 
cgit v1.2.3