diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-02-04 16:55:20 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-02-04 16:55:20 +0000 |
| commit | ad58a2cb577e08c7b095aff5cd2c0b7c91fcea06 (patch) | |
| tree | bb9cceba8b8382427e199156b239cf9392dfa598 /otherlibs/unix/fchmod.c | |
| parent | fba6c41771a07a28a931f0218f303bc18344e676 (diff) | |
PR#6054: add support for M.[ foo ], M.[| foo |], etc.
(Patch by Kaustuv Chaudhuri)
The following are now supported:
M.[ foo ] abbreviation for M.([ foo ])
M.[| foo |] " " M.([| foo |])
M.{ foo } " " M.({ foo })
M.{< foo >} " " M.({< foo >})
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14431 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/fchmod.c')
0 files changed, 0 insertions, 0 deletions