diff options
author | Alain Frisch <alain@frisch.fr> | 2014-03-28 17:24:17 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2014-03-28 17:24:17 +0000 |
commit | c36fb6d83e80ec95ca39d5446b0a0f9ce484f538 (patch) | |
tree | 034b2df7904e622ad96c7a289ffe44e180476655 /bytecomp/printlambda.ml | |
parent | 132ff5155953920048744eee2131f7f67cf9282c (diff) |
Type-check constructor creation with a record argument.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14506 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/printlambda.ml')
0 files changed, 0 insertions, 0 deletions