summaryrefslogtreecommitdiffstats
path: root/bytecomp/printlambda.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2014-03-28 17:24:17 +0000
committerAlain Frisch <alain@frisch.fr>2014-03-28 17:24:17 +0000
commitc36fb6d83e80ec95ca39d5446b0a0f9ce484f538 (patch)
tree034b2df7904e622ad96c7a289ffe44e180476655 /bytecomp/printlambda.ml
parent132ff5155953920048744eee2131f7f67cf9282c (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