diff options
author | Son Ho | 2023-10-25 11:40:31 +0200 |
---|---|---|
committer | Son Ho | 2023-10-25 11:40:31 +0200 |
commit | ece74df70f12790bab7ecfe0c590c2c637e89801 (patch) | |
tree | daee3bda9d393c33942b8cdcb6a7d975ad275f05 /compiler/ExtractBase.ml | |
parent | 9c230dddebb171ee1b3e0176838441163836b875 (diff) |
Update following the addition of raw pointers
Diffstat (limited to '')
-rw-r--r-- | compiler/ExtractBase.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml index 8f32ba44..3eef6b3b 100644 --- a/compiler/ExtractBase.ml +++ b/compiler/ExtractBase.ml @@ -758,7 +758,7 @@ let id_to_string (id : id) (ctx : extraction_ctx) : string = if variant_id = fuel_zero_id then "@fuel::0" else if variant_id = fuel_succ_id then "@fuel::Succ" else raise (Failure "Unreachable") - | Assumed (State | Array | Slice | Str) -> + | Assumed (State | Array | Slice | Str | RawPtr _) -> raise (Failure ("Unreachable: variant id (" @@ -777,7 +777,8 @@ let id_to_string (id : id) (ctx : extraction_ctx) : string = let field_name = match id with | Tuple -> raise (Failure "Unreachable") - | Assumed (State | Result | Error | Fuel | Array | Slice | Str) -> + | Assumed + (State | Result | Error | Fuel | Array | Slice | Str | RawPtr _) -> (* We can't directly have access to the fields of those types *) raise (Failure "Unreachable") | AdtId id -> ( |