diff options
| author | Jon French | 2019-02-25 12:10:30 +0000 |
|---|---|---|
| committer | Jon French | 2019-02-25 12:10:30 +0000 |
| commit | 915d75f9c49fa2c2a9d47d189e4224cee16582c9 (patch) | |
| tree | 77a93e682796977898af0b56e0a61d7689db112e /src/anf.mli | |
| parent | a8a5308e4981b3d09fb2bf0c59d592ef6ae4417e (diff) | |
| parent | 38656b50ad24df6a29f3a84e50adfcf409131fb0 (diff) | |
Merge branch 'sail2' into rmem_interpreter
Diffstat (limited to 'src/anf.mli')
| -rw-r--r-- | src/anf.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/anf.mli b/src/anf.mli index 5e162b7c..6b9c9b51 100644 --- a/src/anf.mli +++ b/src/anf.mli @@ -112,6 +112,8 @@ val apat_globals : 'a apat -> (id * 'a) list val apat_types : 'a apat -> 'a Bindings.t +val is_dead_aexp : 'a aexp -> bool + (* Compiling to ANF expressions *) val anf_pat : ?global:bool -> tannot pat -> typ apat |