diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-09-30 16:18:52 +0200 |
|---|---|---|
| committer | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-10-08 20:28:15 +0200 |
| commit | 43883ae4bc8bbb2759c3cc232cdd32eaa77c6cd9 (patch) | |
| tree | 10dceb1c40ab3b55348f36cbc06f9eaf481212bd /asmcomp/cmm.mli | |
| parent | 67c9c0772e5fc820a96d22d6c1fa0eb40a9f2e02 (diff) | |
| download | ocaml-43883ae4bc8bbb2759c3cc232cdd32eaa77c6cd9.tar.gz | |
Remove labels after calls, checkbound, and GC points
Diffstat (limited to 'asmcomp/cmm.mli')
| -rw-r--r-- | asmcomp/cmm.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli index f1ad8e67cb..15ffcb9554 100644 --- a/asmcomp/cmm.mli +++ b/asmcomp/cmm.mli @@ -138,7 +138,7 @@ type memory_chunk = and operation = Capply of machtype - | Cextcall of string * machtype * exttype list * bool * label option + | Cextcall of string * machtype * exttype list * bool (** The [machtype] is the machine type of the result. The [exttype list] describes the unboxing types of the arguments. An empty list means "all arguments are machine words [XInt]". *) |