summaryrefslogtreecommitdiffstats
path: root/utils
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2014-04-01 11:46:00 +0000
committerAlain Frisch <alain@frisch.fr>2014-04-01 11:46:00 +0000
commitd75e2c8b01ffd0e7430be98203de3f571efee1aa (patch)
tree1094592d6e199a2a8fd9a00450bcf86b2b03b300 /utils
parentce4c5fad1de201f08679bcb53baf6456a1fda47a (diff)
Support for record arguments on exceptions.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14515 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions