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/Substitute.ml | |
parent | c26dcd0a0e5dd35d486d3eed374644b115574408 (diff) |
Add some error messages
Diffstat (limited to 'compiler/Substitute.ml')
-rw-r--r-- | compiler/Substitute.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Substitute.ml b/compiler/Substitute.ml index b9eebc25..177d8c24 100644 --- a/compiler/Substitute.ml +++ b/compiler/Substitute.ml @@ -77,7 +77,7 @@ let ctx_adt_value_get_instantiated_field_types (meta : Meta.meta) ctx_adt_get_instantiated_field_types ctx id adt.variant_id generics | TTuple -> cassert __FILE__ __LINE__ (generics.regions = []) meta - "Regions should be empty TODO: error message"; + "Tuples don't have region parameters"; generics.types | TAssumed aty -> ( match aty with |