Expose EAddrOf via the input ast to allow taking the address of a str…

…uct field
FStarLang · Aug 5, 2021 · 75355a6 · 75355a6
1 parent b8b1265
commit 75355a6
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/src/extraction/FStar.Extraction.Kremlin.fs b/src/extraction/FStar.Extraction.Kremlin.fs
@@ -131,6 +131,7 @@ and expr =
   | EAbortT of string * typ
   | EComment of string * expr * string
   | EStandaloneComment of string
+  | EAddrOf of expr
 
 and op =
   | Add | AddW | Sub | SubW | Div | DivW | Mult | MultW | Mod

diff --git a/src/ocaml-output/FStar_Extraction_Kremlin.ml b/src/ocaml-output/FStar_Extraction_Kremlin.ml