diff options
| -rw-r--r-- | typing/parmatch.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/parmatch.ml b/typing/parmatch.ml index 99bb5afe93..b8be1dd9a6 100644 --- a/typing/parmatch.ml +++ b/typing/parmatch.ml @@ -410,6 +410,7 @@ let rec read_args xs r = match xs,r with let do_set_args erase_mutable q r = match q with | {pat_desc = Tpat_tuple omegas} -> + (* XXX : probably needs to do something special with mutable fields *) let args,rest = read_args omegas r in make_pat (Tpat_tuple args) q.pat_type q.pat_env::rest | {pat_desc = Tpat_record omegas} -> |