diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-12-22 08:45:55 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-12-22 08:45:55 +0000 |
commit | 158480371a4cc9ced3d1991e1b24e75425102b58 (patch) | |
tree | d92e40d8447410ded7f370522dfdcf046a2d8873 /bytecomp | |
parent | c0de696981c1bc91b7cb7d3a4806993ec678b7bc (diff) | |
download | ocaml-158480371a4cc9ced3d1991e1b24e75425102b58.tar.gz |
exhauce PR#6367: introduce Asttypes.arg_label to encode labelled arguments
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp')
-rw-r--r-- | bytecomp/translcore.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/translcore.mli b/bytecomp/translcore.mli index 203afceb11..0c0355b3a4 100644 --- a/bytecomp/translcore.mli +++ b/bytecomp/translcore.mli @@ -18,7 +18,7 @@ open Typedtree open Lambda val transl_exp: expression -> lambda -val transl_apply: lambda -> (label * expression option * optional) list +val transl_apply: lambda -> (arg_label * expression option * optional) list -> Location.t -> lambda val transl_let: rec_flag -> value_binding list -> lambda -> lambda val transl_primitive: Location.t -> Primitive.description -> Env.t |