diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-03-13 17:18:20 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-03-13 17:18:20 +0000 |
| commit | 7af74ae742c3a7962d7f659dc3e497a80408a39a (patch) | |
| tree | 6aafc5bd0409f54e72d4d77bdbcabe75176123a3 | |
| parent | f4de75295312bff734de3eb0773fb5526ef0bc97 (diff) | |
| download | ocaml-constructors_with_record.tar.gz | |
Comment about doing something special with mutable fields.constructors_with_record
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12233 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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} -> |