diff options
| author | Guillaume Boisseau | 2024-06-06 09:46:19 +0200 |
|---|---|---|
| committer | GitHub | 2024-06-06 09:46:19 +0200 |
| commit | 73e27b142b65ec37fbbc55a5a7d0299555b2b60b (patch) | |
| tree | fe3f354c716c17f217da7ec15a5d4630f5390d2e /compiler/SymbolicToPure.ml | |
| parent | 961cc880311aed3319b08755c5a43816e2490d7f (diff) | |
| parent | 7f2b8bf304f9c21f34c4be44a087cc15c56d6b07 (diff) | |
Merge pull request #232 from Nadrieril/type-alias
Diffstat (limited to 'compiler/SymbolicToPure.ml')
| -rw-r--r-- | compiler/SymbolicToPure.ml | 3 |
1 files changed, 3 insertions, 0 deletions
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 |