Typechecking for local allocations (ocaml#21)

Adds allocation modes on arrow types, including mode checking for complex applications (reordered and omitted labelled arguments).

Adds tests for values that are never locally allocated.

Includes a bugfix: let[@stack] at module level was incorrectly accepted.

(Contains bootstrap)

Author: stedolan

boot/ocamlc

@@ -929,7 +929,9 @@ and transl_let ~scopes ?(in_structure=false) ?(mode=Alloc_heap) rec_flag
           let mk_body = transl rem in
           fun body ->
             Matching.for_let ~scopes pat.pat_loc lam pat (mk_body body)
-      in fun body -> maybe_region mode bound_modes (transl pat_expr_list body)
+      in
+      let f = transl pat_expr_list in
+      fun body -> maybe_region mode bound_modes (f body)
   | Recursive ->
       let idlist =
         List.map

boot/ocamllex

@@ -73,7 +73,7 @@ let update_value_parameters_text v =
 let parameter_list_from_arrows typ =
   let rec iter t =
     match t.Types.desc with
-      Types.Tarrow (l, t1, t2, _) ->
+      Types.Tarrow ((l,_,_), t1, t2, _) ->
         (l, t1) :: (iter t2)
     | Types.Tlink texp
     | Types.Tsubst texp ->

lambda/translcore.ml

@@ -35,6 +35,7 @@
    ../Makefile.config_if_required
    ../Makefile.common Makefile
    (glob_files caml/*.h)
+   (glob_files caml/*.tbl)
    ; matches the line structure of files in Makefile/BYTECODE_C_SOURCES
    interp.c misc.c stacks.c fix_code.c startup_aux.c startup_byt.c freelist.c
      major_gc.c