From 65c7ce1f695c66a1726b52ea55041d7fb4533aa7 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 24 Jan 2022 18:00:18 +0100
Subject: Make minor modifications

---
 src/SymbolicToPure.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index 8980361a..19fa85b3 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -111,6 +111,7 @@ let rec translate_sty (ctx : synth_ctx) (ty : T.sty) : ty =
   let translate = translate_sty ctx in
   match ty with
   | T.Adt (type_id, regions, tys) ->
+      (* Can't translate types with regions for now *)
       assert (regions = []);
       let tys = List.map translate tys in
       Adt (type_id, tys)
@@ -157,6 +158,8 @@ let translate_type_def (ctx : synth_ctx) (def : T.type_def) :
   (* Translate *)
   let def_id = def.T.def_id in
   let name = type_to_name def in
+  (* Can't translate types with regions for now *)
+  assert (def.region_params = []);
   let type_params = def.type_params in
   let kind = translate_type_def_kind ctx def.T.kind in
   let def = { def_id; name; type_params; kind } in
-- 
cgit v1.2.3