flambda-backend: Modal kind jane syntax encoding (#2350)

* add Structure_item_encodable

move

wip

rename Of to Kind_of

add kind_abbrev support

parser changes

fix

add underscore

fix mapper and iterator

fix printing

test

new test

* mode list instead of mode_expr

* formatting

* remove failing test

* define Jkind.Const

* fix formatting and upstream compatibility

* fix upstream

* bootstrap

* code formatting and test coverage

* Some improvements during review

* Update test for new test script language

---------

Co-authored-by: Richard Eisenberg <[email protected]>
Co-authored-by: Liam Stevenson <[email protected]>

Author: 3 people

.depend

@@ -347,27 +347,24 @@ parsing/ast_iterator.cmo : \
     parsing/parsetree.cmi \
     parsing/location.cmi \
     parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi \
     parsing/ast_iterator.cmi
 parsing/ast_iterator.cmx : \
     parsing/parsetree.cmi \
     parsing/location.cmx \
     parsing/jane_syntax.cmx \
-    parsing/jane_asttypes.cmx \
     parsing/ast_iterator.cmi
 parsing/ast_iterator.cmi : \
     parsing/parsetree.cmi \
     parsing/location.cmi \
-    parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi
+    parsing/jane_syntax.cmi
 parsing/ast_mapper.cmo : \
     parsing/parsetree.cmi \
     utils/misc.cmi \
     parsing/longident.cmi \
     parsing/location.cmi \
     utils/load_path.cmi \
+    typing/jkind.cmi \
     parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi \
     parsing/docstrings.cmi \
     utils/config.cmi \
     utils/clflags.cmi \
@@ -380,8 +377,8 @@ parsing/ast_mapper.cmx : \
     parsing/longident.cmx \
     parsing/location.cmx \
     utils/load_path.cmx \
+    typing/jkind.cmx \
     parsing/jane_syntax.cmx \
-    parsing/jane_asttypes.cmx \
     parsing/docstrings.cmx \
     utils/config.cmx \
     utils/clflags.cmx \
@@ -391,8 +388,7 @@ parsing/ast_mapper.cmx : \
 parsing/ast_mapper.cmi : \
     parsing/parsetree.cmi \
     parsing/location.cmi \
-    parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi
+    parsing/jane_syntax.cmi
 parsing/asttypes.cmi : \
     parsing/location.cmi
 parsing/attr_helper.cmo : \
@@ -455,7 +451,6 @@ parsing/depend.cmo : \
     parsing/longident.cmi \
     parsing/location.cmi \
     parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi \
     utils/clflags.cmi \
     parsing/builtin_attributes.cmi \
     parsing/asttypes.cmi \
@@ -466,7 +461,6 @@ parsing/depend.cmx : \
     parsing/longident.cmx \
     parsing/location.cmx \
     parsing/jane_syntax.cmx \
-    parsing/jane_asttypes.cmx \
     utils/clflags.cmx \
     parsing/builtin_attributes.cmx \
     parsing/asttypes.cmi \
@@ -489,13 +483,10 @@ parsing/docstrings.cmi : \
     parsing/parsetree.cmi \
     parsing/location.cmi
 parsing/jane_asttypes.cmo : \
-    parsing/location.cmi \
     parsing/jane_asttypes.cmi
 parsing/jane_asttypes.cmx : \
-    parsing/location.cmx \
     parsing/jane_asttypes.cmi
-parsing/jane_asttypes.cmi : \
-    parsing/location.cmi
+parsing/jane_asttypes.cmi :
 parsing/jane_syntax.cmo : \
     parsing/printast.cmi \
     parsing/parsetree.cmi \
@@ -505,7 +496,6 @@ parsing/jane_syntax.cmo : \
     utils/language_extension_kernel.cmi \
     utils/language_extension.cmi \
     parsing/jane_syntax_parsing.cmi \
-    parsing/jane_asttypes.cmi \
     parsing/asttypes.cmi \
     parsing/ast_helper.cmi \
     parsing/jane_syntax.cmi
@@ -518,15 +508,13 @@ parsing/jane_syntax.cmx : \
     utils/language_extension_kernel.cmx \
     utils/language_extension.cmx \
     parsing/jane_syntax_parsing.cmx \
-    parsing/jane_asttypes.cmx \
     parsing/asttypes.cmi \
     parsing/ast_helper.cmx \
     parsing/jane_syntax.cmi
 parsing/jane_syntax.cmi : \
     parsing/parsetree.cmi \
     parsing/longident.cmi \
     parsing/location.cmi \
-    parsing/jane_asttypes.cmi \
     parsing/docstrings.cmi \
     parsing/asttypes.cmi
 parsing/jane_syntax_parsing.cmo : \
@@ -615,7 +603,6 @@ parsing/parser.cmo : \
     utils/language_extension.cmi \
     parsing/jane_syntax_parsing.cmi \
     parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi \
     parsing/docstrings.cmi \
     utils/clflags.cmi \
     parsing/camlinternalMenhirLib.cmi \
@@ -632,7 +619,6 @@ parsing/parser.cmx : \
     utils/language_extension.cmx \
     parsing/jane_syntax_parsing.cmx \
     parsing/jane_syntax.cmx \
-    parsing/jane_asttypes.cmx \
     parsing/docstrings.cmx \
     utils/clflags.cmx \
     parsing/camlinternalMenhirLib.cmx \
@@ -657,7 +643,6 @@ parsing/pprintast.cmo : \
     parsing/location.cmi \
     utils/language_extension.cmi \
     parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi \
     parsing/asttypes.cmi \
     parsing/ast_helper.cmi \
     parsing/pprintast.cmi
@@ -668,13 +653,13 @@ parsing/pprintast.cmx : \
     parsing/location.cmx \
     utils/language_extension.cmx \
     parsing/jane_syntax.cmx \
-    parsing/jane_asttypes.cmx \
     parsing/asttypes.cmi \
     parsing/ast_helper.cmx \
     parsing/pprintast.cmi
 parsing/pprintast.cmi : \
     parsing/parsetree.cmi \
-    parsing/longident.cmi
+    parsing/longident.cmi \
+    parsing/jane_syntax.cmi
 parsing/printast.cmo : \
     parsing/parsetree.cmi \
     parsing/longident.cmi \
@@ -1118,6 +1103,7 @@ typing/includemod_errorprinter.cmx : \
 typing/includemod_errorprinter.cmi : \
     typing/includemod.cmi
 typing/jkind.cmo : \
+    parsing/pprintast.cmi \
     typing/types.cmi \
     typing/primitive.cmi \
     typing/path.cmi \
@@ -1128,11 +1114,11 @@ typing/jkind.cmo : \
     utils/language_extension.cmi \
     typing/jkind_types.cmi \
     parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi \
     typing/ident.cmi \
     parsing/builtin_attributes.cmi \
     typing/jkind.cmi
 typing/jkind.cmx : \
+    parsing/pprintast.cmx \
     typing/types.cmx \
     typing/primitive.cmx \
     typing/path.cmx \
@@ -1143,7 +1129,6 @@ typing/jkind.cmx : \
     utils/language_extension.cmx \
     typing/jkind_types.cmx \
     parsing/jane_syntax.cmx \
-    parsing/jane_asttypes.cmx \
     typing/ident.cmx \
     parsing/builtin_attributes.cmx \
     typing/jkind.cmi
@@ -1153,6 +1138,7 @@ typing/jkind.cmi : \
     parsing/parsetree.cmi \
     typing/mode.cmi \
     parsing/location.cmi \
+    parsing/jane_syntax.cmi \
     typing/jkind_types.cmi \
     parsing/jane_asttypes.cmi \
     typing/ident.cmi
@@ -1374,7 +1360,7 @@ typing/predef.cmo : \
     typing/mode.cmi \
     parsing/location.cmi \
     typing/jkind.cmi \
-    parsing/jane_asttypes.cmi \
+    parsing/jane_syntax.cmi \
     typing/ident.cmi \
     typing/btype.cmi \
     parsing/asttypes.cmi \
@@ -1387,7 +1373,7 @@ typing/predef.cmx : \
     typing/mode.cmx \
     parsing/location.cmx \
     typing/jkind.cmx \
-    parsing/jane_asttypes.cmx \
+    parsing/jane_syntax.cmx \
     typing/ident.cmx \
     typing/btype.cmx \
     parsing/asttypes.cmi \
@@ -1509,7 +1495,6 @@ typing/printtyped.cmo : \
     parsing/longident.cmi \
     parsing/location.cmi \
     typing/jkind.cmi \
-    parsing/jane_syntax.cmi \
     typing/ident.cmi \
     utils/clflags.cmi \
     parsing/asttypes.cmi \
@@ -1526,7 +1511,6 @@ typing/printtyped.cmx : \
     parsing/longident.cmx \
     parsing/location.cmx \
     typing/jkind.cmx \
-    parsing/jane_syntax.cmx \
     typing/ident.cmx \
     utils/clflags.cmx \
     parsing/asttypes.cmi \
@@ -2049,7 +2033,6 @@ typing/typedtree.cmo : \
     parsing/location.cmi \
     typing/jkind.cmi \
     parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi \
     typing/ident.cmi \
     typing/env.cmi \
     parsing/builtin_attributes.cmi \
@@ -2068,7 +2051,6 @@ typing/typedtree.cmx : \
     parsing/location.cmx \
     typing/jkind.cmx \
     parsing/jane_syntax.cmx \
-    parsing/jane_asttypes.cmx \
     typing/ident.cmx \
     typing/env.cmx \
     parsing/builtin_attributes.cmx \
@@ -2087,7 +2069,6 @@ typing/typedtree.cmi : \
     parsing/location.cmi \
     typing/jkind.cmi \
     parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi \
     typing/ident.cmi \
     typing/env.cmi \
     parsing/builtin_attributes.cmi \
@@ -2317,7 +2298,6 @@ typing/typetexp.cmo : \
     utils/language_extension.cmi \
     typing/jkind.cmi \
     parsing/jane_syntax.cmi \
-    parsing/jane_asttypes.cmi \
     typing/errortrace.cmi \
     typing/env.cmi \
     typing/ctype.cmi \
@@ -2343,7 +2323,6 @@ typing/typetexp.cmx : \
     utils/language_extension.cmx \
     typing/jkind.cmx \
     parsing/jane_syntax.cmx \
-    parsing/jane_asttypes.cmx \
     typing/errortrace.cmx \
     typing/env.cmx \
     typing/ctype.cmx \
@@ -2362,7 +2341,7 @@ typing/typetexp.cmi : \
     parsing/location.cmi \
     utils/language_extension.cmi \
     typing/jkind.cmi \
-    parsing/jane_asttypes.cmi \
+    parsing/jane_syntax.cmi \
     typing/errortrace.cmi \
     typing/env.cmi \
     parsing/asttypes.cmi