diff options
| author | Escherichia | 2024-04-03 17:58:10 +0200 |
|---|---|---|
| committer | Escherichia | 2024-04-03 17:58:10 +0200 |
| commit | cc0b77e4b75990916e331e9ff5c26c912341b13d (patch) | |
| tree | 407f3e28acc363023e144e60aebef73aeac93d4b | |
| parent | 78cc58e3076ffd61add6d78b64371b6eb36d6ab2 (diff) | |
resolved requested changes
| -rw-r--r-- | compiler/ExtractBase.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml index e399a89c..ba75f580 100644 --- a/compiler/ExtractBase.ml +++ b/compiler/ExtractBase.ml @@ -1702,7 +1702,6 @@ let ctx_compute_var_basename (meta : Meta.meta) (ctx : extraction_ctx) | TArrow _ -> "f" | TTraitType (_, name) -> name_from_type_ident name | Error -> "x") -(* TODO : Check*) (** Generates a type variable basename. *) let ctx_compute_type_var_basename (_ctx : extraction_ctx) (basename : string) : |