new solver

Author: riaqn

chamelon/compat.jst.ml

@@ -3,7 +3,7 @@ open Types
 open Mode
 
 let dummy_jkind = Jkind.value ~why:Type_argument
-let dummy_value_mode = Value.legacy
+let dummy_value_mode = Value.disallow_right Value.legacy
 let mkTvar name = Tvar { name; jkind = dummy_jkind }
 
 let mkTarrow (label, t1, t2, comm) =
@@ -16,18 +16,22 @@ let mkTexp_ident ?id:(ident_kind, uu = (Id_value, shared_many_use))
   Texp_ident (path, longident, vd, ident_kind, uu)
 
 type nonrec apply_arg = apply_arg
-type texp_apply_identifier = apply_position * Locality.t
+type texp_apply_identifier = apply_position * Locality.l
 
-let mkTexp_apply ?id:(pos, mode = (Default, Locality.legacy)) (exp, args) =
+let mkTexp_apply
+    ?id:(pos, mode = (Default, Locality.disallow_right Locality.legacy))
+    (exp, args) =
   Texp_apply (exp, args, pos, mode)
 
-type texp_tuple_identifier = Alloc.t
+type texp_tuple_identifier = Alloc.r
 
-let mkTexp_tuple ?id:(mode = Alloc.legacy) exps = Texp_tuple (exps, mode)
+let mkTexp_tuple ?id:(mode = Alloc.disallow_left Alloc.legacy) exps =
+  Texp_tuple (exps, mode)
 
-type texp_construct_identifier = Alloc.t option
+type texp_construct_identifier = Alloc.r option
 
-let mkTexp_construct ?id:(mode = Some Alloc.legacy) (name, desc, args) =
+let mkTexp_construct ?id:(mode = Some (Alloc.disallow_left Alloc.legacy))
+    (name, desc, args) =
   Texp_construct (name, desc, args, mode)
 
 type texp_function = {
@@ -38,8 +42,8 @@ type texp_function = {
 
 type texp_function_identifier = {
   partial : partial;
-  arg_mode : Alloc.t;
-  alloc_mode : Alloc.t;
+  arg_mode : Alloc.l;
+  alloc_mode : Alloc.r;
   region : bool;
   curry : fun_curry_state;
   warnings : Warnings.state;
@@ -50,10 +54,10 @@ type texp_function_identifier = {
 let texp_function_defaults =
   {
     partial = Total;
-    arg_mode = Alloc.legacy;
-    alloc_mode = Alloc.legacy;
+    arg_mode = Alloc.disallow_right Alloc.legacy;
+    alloc_mode = Alloc.disallow_left Alloc.legacy;
     region = false;
-    curry = Final_arg { partial_mode = Alloc.legacy };
+    curry = Final_arg { partial_mode = Alloc.disallow_right Alloc.legacy };
     warnings = Warnings.backup ();
     arg_sort = Jkind.Sort.value;
     ret_sort = Jkind.Sort.value;
@@ -144,12 +148,12 @@ let view_texp (e : expression_desc) =
   | Texp_match (e, sort, cases, partial) -> Texp_match (e, cases, partial, sort)
   | _ -> O e
 
-type tpat_var_identifier = Value.t
+type tpat_var_identifier = Value.l
 
 let mkTpat_var ?id:(mode = dummy_value_mode) (ident, name) =
   Tpat_var (ident, name, Uid.internal_not_actually_unique, mode)
 
-type tpat_alias_identifier = Value.t
+type tpat_alias_identifier = Value.l
 
 let mkTpat_alias ?id:(mode = dummy_value_mode) (p, ident, name) =
   Tpat_alias (p, ident, name, Uid.internal_not_actually_unique, mode)

native_toplevel/opttoploop.ml

@@ -378,7 +378,7 @@ let name_expression ~loc ~attrs sort exp =
   in
   let sg = [Sig_value(id, vd, Exported)] in
   let pat =
-    { pat_desc = Tpat_var(id, mknoloc name, vd.val_uid, Mode.Value.legacy);
+    { pat_desc = Tpat_var(id, mknoloc name, vd.val_uid, Mode.Value.disallow_right Mode.Value.legacy);
       pat_loc = loc;
       pat_extra = [];
       pat_type = exp.exp_type;

ocaml/.depend

@@ -1080,12 +1080,25 @@ typing/jkind.cmi : \
     parsing/jane_asttypes.cmi \
     typing/ident.cmi
 typing/mode.cmo : \
-    utils/misc.cmi \
+    typing/solver_intf.cmi \
+    typing/solver.cmi \
+    typing/mode_intf.cmi \
     typing/mode.cmi
 typing/mode.cmx : \
-    utils/misc.cmx \
+    typing/solver_intf.cmx \
+    typing/solver.cmx \
+    typing/mode_intf.cmx \
     typing/mode.cmi
-typing/mode.cmi :
+typing/mode.cmi : \
+    typing/mode_intf.cmi
+typing/mode_intf.cmo : \
+    typing/solver_intf.cmi \
+    typing/mode_intf.cmi
+typing/mode_intf.cmx : \
+    typing/solver_intf.cmx \
+    typing/mode_intf.cmi
+typing/mode_intf.cmi : \
+    typing/solver_intf.cmi
 typing/mtype.cmo : \
     typing/types.cmi \
     typing/subst.cmi \
@@ -1342,6 +1355,7 @@ typing/printtyp.cmo : \
     parsing/parsetree.cmi \
     typing/outcometree.cmi \
     typing/oprint.cmi \
+    typing/mode_intf.cmi \
     typing/mode.cmi \
     utils/misc.cmi \
     parsing/longident.cmi \
@@ -1367,6 +1381,7 @@ typing/printtyp.cmx : \
     parsing/parsetree.cmi \
     typing/outcometree.cmi \
     typing/oprint.cmx \
+    typing/mode_intf.cmx \
     typing/mode.cmx \
     utils/misc.cmx \
     parsing/longident.cmx \
@@ -1403,6 +1418,7 @@ typing/printtyped.cmo : \
     parsing/location.cmi \
     typing/jkind.cmi \
     parsing/jane_syntax.cmi \
+    parsing/jane_syntax.cmi \
     typing/ident.cmi \
     utils/clflags.cmi \
     parsing/asttypes.cmi \
@@ -1418,6 +1434,7 @@ typing/printtyped.cmx : \
     parsing/location.cmx \
     typing/jkind.cmx \
     parsing/jane_syntax.cmx \
+    parsing/jane_syntax.cmx \
     typing/ident.cmx \
     utils/clflags.cmx \
     parsing/asttypes.cmi \
@@ -1478,6 +1495,19 @@ typing/signature_group.cmx : \
     typing/signature_group.cmi
 typing/signature_group.cmi : \
     typing/types.cmi
+typing/solver.cmo : \
+    typing/solver_intf.cmi \
+    typing/solver.cmi
+typing/solver.cmx : \
+    typing/solver_intf.cmx \
+    typing/solver.cmi
+typing/solver.cmi : \
+    typing/solver_intf.cmi
+typing/solver_intf.cmo : \
+    typing/solver_intf.cmi
+typing/solver_intf.cmx : \
+    typing/solver_intf.cmi
+typing/solver_intf.cmi :
 typing/stypes.cmo : \
     typing/typedtree.cmi \
     typing/printtyp.cmi \
@@ -1660,6 +1690,7 @@ typing/typecore.cmo : \
     parsing/parsetree.cmi \
     typing/parmatch.cmi \
     typing/mtype.cmi \
+    typing/mode_intf.cmi \
     typing/mode.cmi \
     utils/misc.cmi \
     parsing/longident.cmi \
@@ -1698,6 +1729,7 @@ typing/typecore.cmx : \
     parsing/parsetree.cmi \
     typing/parmatch.cmx \
     typing/mtype.cmx \
+    typing/mode_intf.cmx \
     typing/mode.cmx \
     utils/misc.cmx \
     parsing/longident.cmx \
@@ -2085,6 +2117,7 @@ typing/typeopt.cmi : \
     typing/jkind.cmi \
     typing/env.cmi
 typing/types.cmo : \
+    typing/solver.cmi \
     typing/shape.cmi \
     typing/primitive.cmi \
     typing/path.cmi \
@@ -2100,6 +2133,7 @@ typing/types.cmo : \
     parsing/asttypes.cmi \
     typing/types.cmi
 typing/types.cmx : \
+    typing/solver.cmx \
     typing/shape.cmx \
     typing/primitive.cmx \
     typing/path.cmx \
@@ -2134,6 +2168,7 @@ typing/typetexp.cmo : \
     typing/path.cmi \
     parsing/parsetree.cmi \
     typing/oprint.cmi \
+    typing/mode_intf.cmi \
     typing/mode.cmi \
     utils/misc.cmi \
     parsing/longident.cmi \
@@ -2160,6 +2195,7 @@ typing/typetexp.cmx : \
     typing/path.cmx \
     parsing/parsetree.cmi \
     typing/oprint.cmx \
+    typing/mode_intf.cmx \
     typing/mode.cmx \
     utils/misc.cmx \
     parsing/longident.cmx \

ocaml/compilerlibs/Makefile.compilerlibs

@@ -81,10 +81,13 @@ PARSING_CMI = \
   parsing/parsetree.cmi
 
 TYPING = \
+  typing/solver_intf.cmo \
+  typing/solver.cmo \
   typing/path.cmo \
   typing/jkind.cmo \
   typing/primitive.cmo \
   typing/shape.cmo \
+  typing/mode_intf.cmo \
   typing/mode.cmo \
   typing/types.cmo \
   typing/btype.cmo \

ocaml/dune

@@ -74,7 +74,7 @@
    tast_iterator tast_mapper signature_group cmt_format cms_format untypeast
    includemod includemod_errorprinter
    typetexp patterns printpat parmatch stypes typedecl typeopt rec_check
-   typecore mode uniqueness_analysis
+   typecore solver_intf solver mode_intf mode uniqueness_analysis
    typeclass typemod typedecl_variance typedecl_properties
    typedecl_separability cmt2annot
    ; manual update: mli only files
@@ -300,6 +300,7 @@
     (typeopt.mli as compiler-libs/typeopt.mli)
     (rec_check.mli as compiler-libs/rec_check.mli)
     (typecore.mli as compiler-libs/typecore.mli)
+    (solver.mli as compiler-libs/solver.mli)
     (mode.mli as compiler-libs/mode.mli)
     (uniqueness_analysis.mli as compiler-libs/uniqueness_analysis.mli)
     (typeclass.mli as compiler-libs/typeclass.mli)

ocaml/lambda/lambda.mli

@@ -38,7 +38,7 @@ type locality_mode = private
   | Alloc_heap
   | Alloc_local
 
-(** For now we don't have strong update, and thus uniqueness is irrelevant in
+(** For now we don't have strong update, and thus uniqueness is irrelavent in
     middle and back-end; in the future this will be extended with uniqueness *)
 type alloc_mode = locality_mode