[Caml-list] external function with arity > 5 and "noalloc"

[Florent Monnier <monnier.florent@gmail.com>]

Hi,

I'm not sure if this behavior is a bug or not.
Here a given function defined in a stub:

cat > bind.ml <<EOF
external f :
  v1:int ->
  v2:int ->
  v3:int ->
  v4:int ->
  v5:int ->
  v6:int -> int
  = "bind_f"
    "bind_f_bc"
    "noalloc"
EOF

if compiles fine with all warnings on:
ocamlopt -c -w +A -warn-error +A bind.ml

if will also compile fine with:
  = "bind_f"
    "bind_f_bc"

if I put only:
  = "bind_f"

I get a compilation error, which is what I expected:

ocamlopt -c -w +A -warn-error +A bind.ml

File "bind.ml", line 2, characters 2-75:
Error: An external function with more than 5 arguments requires
  a second stub function for native-code compilation


But now if I write this way:
  = "bind_f"
    "noalloc"
then I get no compile error anymore.

I may be wrong again, but I guess this is not the expected behavior.

In case this is indeed a bug, maybe I've been through mantis list
without seeing it, but it seems not to be registered yet.

-- 
Regards