Skip to content

Commit b9b512f

Browse files
authored
flambda-backend: New encoding for mode syntax (ocaml-flambda#2231)
1 parent 906de5e commit b9b512f

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

50 files changed

+11859
-11462
lines changed

.depend

+23
Original file line numberDiff line numberDiff line change
@@ -782,6 +782,7 @@ typing/ctype.cmi : \
782782
typing/datarepr.cmo : \
783783
typing/types.cmi \
784784
typing/path.cmi \
785+
typing/mode.cmi \
785786
parsing/location.cmi \
786787
typing/jkind.cmi \
787788
typing/ident.cmi \
@@ -791,6 +792,7 @@ typing/datarepr.cmo : \
791792
typing/datarepr.cmx : \
792793
typing/types.cmx \
793794
typing/path.cmx \
795+
typing/mode.cmx \
794796
parsing/location.cmx \
795797
typing/jkind.cmx \
796798
typing/ident.cmx \
@@ -1307,6 +1309,7 @@ typing/predef.cmo : \
13071309
typing/types.cmi \
13081310
typing/path.cmi \
13091311
parsing/parsetree.cmi \
1312+
typing/mode.cmi \
13101313
parsing/location.cmi \
13111314
typing/jkind.cmi \
13121315
parsing/jane_asttypes.cmi \
@@ -1319,6 +1322,7 @@ typing/predef.cmx : \
13191322
typing/types.cmx \
13201323
typing/path.cmx \
13211324
parsing/parsetree.cmi \
1325+
typing/mode.cmx \
13221326
parsing/location.cmx \
13231327
typing/jkind.cmx \
13241328
parsing/jane_asttypes.cmx \
@@ -1710,6 +1714,7 @@ typing/typecore.cmo : \
17101714
typing/uniqueness_analysis.cmi \
17111715
typing/typetexp.cmi \
17121716
typing/types.cmi \
1717+
typing/typemode.cmi \
17131718
typing/typedtree.cmi \
17141719
typing/typedecl.cmi \
17151720
typing/subst.cmi \
@@ -1750,6 +1755,7 @@ typing/typecore.cmx : \
17501755
typing/uniqueness_analysis.cmx \
17511756
typing/typetexp.cmx \
17521757
typing/types.cmx \
1758+
typing/typemode.cmx \
17531759
typing/typedtree.cmx \
17541760
typing/typedecl.cmx \
17551761
typing/subst.cmx \
@@ -1803,6 +1809,7 @@ typing/typedecl.cmo : \
18031809
utils/warnings.cmi \
18041810
typing/typetexp.cmi \
18051811
typing/types.cmi \
1812+
typing/typemode.cmi \
18061813
typing/typedtree.cmi \
18071814
typing/typedecl_variance.cmi \
18081815
typing/typedecl_separability.cmi \
@@ -1838,6 +1845,7 @@ typing/typedecl.cmx : \
18381845
utils/warnings.cmx \
18391846
typing/typetexp.cmx \
18401847
typing/types.cmx \
1848+
typing/typemode.cmx \
18411849
typing/typedtree.cmx \
18421850
typing/typedecl_variance.cmx \
18431851
typing/typedecl_separability.cmx \
@@ -2006,6 +2014,19 @@ typing/typedtree.cmi : \
20062014
typing/ident.cmi \
20072015
typing/env.cmi \
20082016
parsing/asttypes.cmi
2017+
typing/typemode.cmo : \
2018+
typing/mode.cmi \
2019+
parsing/location.cmi \
2020+
parsing/jane_syntax_parsing.cmi \
2021+
typing/typemode.cmi
2022+
typing/typemode.cmx : \
2023+
typing/mode.cmx \
2024+
parsing/location.cmx \
2025+
parsing/jane_syntax_parsing.cmx \
2026+
typing/typemode.cmi
2027+
typing/typemode.cmi : \
2028+
typing/mode.cmi \
2029+
parsing/jane_syntax.cmi
20092030
typing/typemod.cmo : \
20102031
utils/warnings.cmi \
20112032
typing/typetexp.cmi \
@@ -2194,6 +2215,7 @@ typing/types.cmi : \
21942215
parsing/asttypes.cmi
21952216
typing/typetexp.cmo : \
21962217
typing/types.cmi \
2218+
typing/typemode.cmi \
21972219
typing/typedtree.cmi \
21982220
typing/printtyp.cmi \
21992221
typing/predef.cmi \
@@ -2219,6 +2241,7 @@ typing/typetexp.cmo : \
22192241
typing/typetexp.cmi
22202242
typing/typetexp.cmx : \
22212243
typing/types.cmx \
2244+
typing/typemode.cmx \
22222245
typing/typedtree.cmx \
22232246
typing/printtyp.cmx \
22242247
typing/predef.cmx \

0 commit comments

Comments
 (0)