diff options
author | Son Ho | 2022-03-03 12:22:30 +0100 |
---|---|---|
committer | Son Ho | 2022-03-03 12:22:30 +0100 |
commit | eeac69419158552ef455a4197e78567837c546ca (patch) | |
tree | 4ad4c6da9826ffc062a4f8d071054aa8e765ef74 /src/PureToExtract.ml | |
parent | 27fb3e6485ee277f222bec8f5ff352346cc1cc5a (diff) |
Add an Opaque variant to type_decl_kind and start updating the code
Diffstat (limited to 'src/PureToExtract.ml')
-rw-r--r-- | src/PureToExtract.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/PureToExtract.ml b/src/PureToExtract.ml index 4db5d2c5..2a00577e 100644 --- a/src/PureToExtract.ml +++ b/src/PureToExtract.ml @@ -392,7 +392,7 @@ let id_to_string (id : id) (ctx : extraction_ctx) : string = | AdtId id -> ( let def = TypeDeclId.Map.find id type_decls in match def.kind with - | Struct _ -> failwith "Unreachable" + | Struct _ | Opaque -> failwith "Unreachable" | Enum variants -> let variant = VariantId.nth variants variant_id in Print.name_to_string def.name ^ "::" ^ variant.variant_name) @@ -409,7 +409,7 @@ let id_to_string (id : id) (ctx : extraction_ctx) : string = | AdtId id -> ( let def = TypeDeclId.Map.find id type_decls in match def.kind with - | Enum _ -> failwith "Unreachable" + | Enum _ | Opaque -> failwith "Unreachable" | Struct fields -> let field = FieldId.nth fields field_id in let field_name = |