From 7f2b8bf304f9c21f34c4be44a087cc15c56d6b07 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 5 Jun 2024 10:08:56 +0200
Subject: Filter out type aliases

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

(limited to 'compiler/SymbolicToPure.ml')

diff --git a/compiler/SymbolicToPure.ml b/compiler/SymbolicToPure.ml
index ba6bba68..3975107a 100644
--- a/compiler/SymbolicToPure.ml
+++ b/compiler/SymbolicToPure.ml
@@ -564,6 +564,9 @@ let translate_type_decl_kind (span : Meta.span) (kind : T.type_decl_kind) :
   match kind with
   | T.Struct fields -> Struct (translate_fields span fields)
   | T.Enum variants -> Enum (translate_variants span variants)
+  | Alias _ ->
+      craise __FILE__ __LINE__ span
+        "type aliases should have been removed earlier"
   | T.Opaque -> Opaque
 
 (** Translate a type definition from LLBC
-- 
cgit v1.2.3