diff options
| author | Jon French | 2018-04-19 11:30:26 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:54:54 +0100 |
| commit | 54cde60d7e67872bb98b07ad03acd536cd7626d0 (patch) | |
| tree | 2fb18cee0fbf010d4dac735799ff857af5f43753 /src/rewrites.mli | |
| parent | f2aa97392d597ec0622c3a94585cf63d79eb6c81 (diff) | |
Add anonymous record arms to unions
(Preprocessed into a real record type with a fresh id and a reference
to that generated record type.)
Diffstat (limited to 'src/rewrites.mli')
| -rw-r--r-- | src/rewrites.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/rewrites.mli b/src/rewrites.mli index 41a13ffa..70cb75af 100644 --- a/src/rewrites.mli +++ b/src/rewrites.mli @@ -51,6 +51,9 @@ open Ast open Type_check +(* Generate a fresh id with the given prefix *) +val fresh_id : string -> l -> id + (* Re-write undefined to functions created by -undefined_gen flag *) val rewrite_undefined : bool -> tannot defs -> tannot defs |