diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/ExtractName.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/ExtractName.ml b/compiler/ExtractName.ml index c4e145a0..e9d6116f 100644 --- a/compiler/ExtractName.ml +++ b/compiler/ExtractName.ml @@ -32,7 +32,8 @@ end For impl blocks, we simply use the name of the type (without its arguments) if all the arguments are variables. *) -let pattern_to_extract_name (meta : Meta.meta option) (name : pattern) : string list = +let pattern_to_extract_name (meta : Meta.meta option) (name : pattern) : + string list = let c = { tgt = TkName } in let all_vars = let check (g : generic_arg) : bool = |