From 54cde60d7e67872bb98b07ad03acd536cd7626d0 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Thu, 19 Apr 2018 11:30:26 +0100
Subject: Add anonymous record arms to unions

(Preprocessed into a real record type with a fresh id and a reference
to that generated record type.)
---
 src/rewrites.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/rewrites.mli')

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
 
-- 
cgit v1.2.3