diff options
| author | Son Ho | 2024-04-04 16:19:08 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 16:19:08 +0200 |
| commit | 57b71cb1bfde1832097163c7169aaf97cf8c7583 (patch) | |
| tree | 00c3fff1c4f79023d352b2aa368e9f58637768da /compiler/PrintPure.ml | |
| parent | 4828b77847ee981f5c6a1bbad7f8e6ed0e58eb0f (diff) | |
Update the extraction
Diffstat (limited to '')
| -rw-r--r-- | compiler/PrintPure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/PrintPure.ml b/compiler/PrintPure.ml index d0c243bb..43ec083e 100644 --- a/compiler/PrintPure.ml +++ b/compiler/PrintPure.ml @@ -311,7 +311,7 @@ let adt_variant_to_string ?(meta = None) (env : fmt_env) (adt_id : type_id) craise_opt_meta __FILE__ __LINE__ meta "Unreachable" | TResult -> let variant_id = Option.get variant_id in - if variant_id = result_return_id then "@Result::Return" + if variant_id = result_ok_id then "@Result::Return" else if variant_id = result_fail_id then "@Result::Fail" else craise_opt_meta __FILE__ __LINE__ meta @@ -394,7 +394,7 @@ let adt_g_value_to_string ?(meta : Meta.meta option = None) (env : fmt_env) craise_opt_meta __FILE__ __LINE__ meta "Unreachable" | TResult -> let variant_id = Option.get variant_id in - if variant_id = result_return_id then + if variant_id = result_ok_id then match field_values with | [ v ] -> "@Result::Return " ^ v | _ -> |