diff options
author | Son Ho | 2024-03-29 16:21:15 +0100 |
---|---|---|
committer | Son Ho | 2024-03-29 16:21:15 +0100 |
commit | 5809c45fbbfcbb78b15a97be619dcde4ab4868b8 (patch) | |
tree | 52b7a9136f45701c14cd377913f0f5078b80fa72 /compiler/PrintPure.ml | |
parent | c26dcd0a0e5dd35d486d3eed374644b115574408 (diff) |
Add some error messages
Diffstat (limited to 'compiler/PrintPure.ml')
-rw-r--r-- | compiler/PrintPure.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/PrintPure.ml b/compiler/PrintPure.ml index 518d8bdd..d0c243bb 100644 --- a/compiler/PrintPure.ml +++ b/compiler/PrintPure.ml @@ -411,7 +411,7 @@ let adt_g_value_to_string ?(meta : Meta.meta option = None) (env : fmt_env) "Unreachable: improper variant id for result type" | TError -> cassert_opt_meta __FILE__ __LINE__ (field_values = []) meta - "TODO: error message"; + "Ill-formed error value"; let variant_id = Option.get variant_id in if variant_id = error_failure_id then "@Error::Failure" else if variant_id = error_out_of_fuel_id then "@Error::OutOfFuel" @@ -422,7 +422,7 @@ let adt_g_value_to_string ?(meta : Meta.meta option = None) (env : fmt_env) let variant_id = Option.get variant_id in if variant_id = fuel_zero_id then ( cassert_opt_meta __FILE__ __LINE__ (field_values = []) meta - "TODO: error message"; + "Ill-formed full value"; "@Fuel::Zero") else if variant_id = fuel_succ_id then match field_values with @@ -435,7 +435,7 @@ let adt_g_value_to_string ?(meta : Meta.meta option = None) (env : fmt_env) "Unreachable: improper variant id for fuel type" | TArray | TSlice | TStr -> cassert_opt_meta __FILE__ __LINE__ (variant_id = None) meta - "TODO: error message"; + "Ill-formed value"; let field_values = List.mapi (fun i v -> string_of_int i ^ " -> " ^ v) field_values in |