Skip to content

Instantly share code, notes, and snippets.

@trefis

trefis/8548_includecore_value_description.diff

Last active March 27, 2019 08:14
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save trefis/85b98858ffaef287480a45c9477ba595 to your computer and use it in GitHub Desktop.
Save trefis/85b98858ffaef287480a45c9477ba595 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
8548_includecore_value_description.diff
--- ok
+++ ko
@@@@@@@@@@ -1,137 +1,137 @@@@@@@@@@
$1: Types.type_expr =
{desc =
Tarrow (Nolabel,
{desc =
-| Tconstr (Pident (Ident.Local {Ident.name = "range"; stamp = 102}),
+| Tconstr (Pident (Ident.Local {Ident.name = "range"; stamp = 109}),
[{desc =
Tvariant
{row_fields =
[("Before",
Reither (false,
[{desc =
Tconstr
(Pdot
(Pident
-| (Ident.Local {Ident.name = "Endpoint"; stamp = 99}),
+| (Ident.Local {Ident.name = "Endpoint"; stamp = 106}),
"t"),
[], {contents = Mnil});
-| level = 100000000; scope = 0; id = 891};
+| level = 100000000; scope = 0; id = 991};
{desc =
Tconstr
(Pdot
(Pident
-| (Ident.Local {Ident.name = "Endpoint"; stamp = 99}),
+| (Ident.Local {Ident.name = "Endpoint"; stamp = 106}),
"t"),
[], {contents = Mnil});
-| level = 100000000; scope = 0; id = 892}],
+| level = 100000000; scope = 0; id = 992}],
false, {contents = None}))];
row_more =
-| {desc = Tvar None; level = 100000000; scope = 0; id = 889};
+| {desc = Tvar None; level = 100000000; scope = 0; id = 989};
row_bound = (); row_closed = true; row_fixed = false;
row_name =
Some
-| (Pident (Ident.Local {Ident.name = "finite"; stamp = 100}),
+| (Pident (Ident.Local {Ident.name = "finite"; stamp = 107}),
[])};
-| level = 100000000; scope = 0; id = 888}],
+| level = 100000000; scope = 0; id = 988}],
{contents = Mnil});
-| level = 100000000; scope = 0; id = 893},
+| level = 100000000; scope = 0; id = 993},
{desc =
Tvariant
{row_fields =
[("Before",
Reither (false,
[{desc =
Tconstr
(Pdot
(Pident
-| (Ident.Local {Ident.name = "Endpoint"; stamp = 99}),
+| (Ident.Local {Ident.name = "Endpoint"; stamp = 106}),
"t"),
[], {contents = Mnil});
-| level = 100000000; scope = 0; id = 891};
+| level = 100000000; scope = 0; id = 991};
{desc =
Tconstr
(Pdot
(Pident
-| (Ident.Local {Ident.name = "Endpoint"; stamp = 99}),
+| (Ident.Local {Ident.name = "Endpoint"; stamp = 106}),
"t"),
[], {contents = Mnil});
-| level = 100000000; scope = 0; id = 892}],
+| level = 100000000; scope = 0; id = 992}],
false, {contents = None}))];
row_more =
-| {desc = Tvar None; level = 100000000; scope = 0; id = 889};
+| {desc = Tvar None; level = 100000000; scope = 0; id = 989};
row_bound = (); row_closed = true; row_fixed = false;
row_name =
Some
-| (Pident (Ident.Local {Ident.name = "finite"; stamp = 100}), [])};
+| (Pident (Ident.Local {Ident.name = "finite"; stamp = 107}), [])};
-| level = 100000000; scope = 0; id = 888},
+| level = 100000000; scope = 0; id = 988},
Cok);
-| level = 100000000; scope = 0; id = 887}
+| level = 100000000; scope = 0; id = 987}
$2: Types.type_expr =
{desc =
Tarrow (Nolabel,
{desc =
-| Tconstr (Pident (Ident.Local {Ident.name = "range"; stamp = 102}),
+| Tconstr (Pident (Ident.Local {Ident.name = "range"; stamp = 109}),
[{desc =
Tvariant
{row_fields =
[("Before",
Reither (false,
[{desc =
Tconstr
(Pdot
(Pident
-| (Ident.Local {Ident.name = "Endpoint"; stamp = 99}),
+| (Ident.Local {Ident.name = "Endpoint"; stamp = 106}),
"t"),
[], {contents = Mnil});
-| level = 100000000; scope = 0; id = 963};
+| level = 100000000; scope = 0; id = 1126};
{desc =
Tconstr
(Pdot
(Pident
-| (Ident.Local {Ident.name = "Endpoint"; stamp = 99}),
+| (Ident.Local {Ident.name = "Endpoint"; stamp = 106}),
"t"),
[], {contents = Mnil});
-| level = 100000000; scope = 0; id = 964}],
+| level = 100000000; scope = 0; id = 1127}],
false, {contents = None}))];
row_more =
-| {desc = Tvar None; level = 100000000; scope = 0; id = 961};
+| {desc = Tvar None; level = 100000000; scope = 0; id = 1124};
row_bound = (); row_closed = true; row_fixed = false;
row_name =
Some
-| (Pident (Ident.Local {Ident.name = "finite"; stamp = 100}),
+| (Pident (Ident.Local {Ident.name = "finite"; stamp = 107}),
[])};
-| level = 100000000; scope = 0; id = 960}],
+| level = 100000000; scope = 0; id = 1123}],
{contents = Mnil});
-| level = 100000000; scope = 0; id = 965},
+| level = 100000000; scope = 0; id = 1128},
{desc =
Tvariant
{row_fields =
[("Before",
Reither (false,
[{desc =
Tconstr
(Pdot
(Pident
-| (Ident.Local {Ident.name = "Endpoint"; stamp = 99}),
+| (Ident.Local {Ident.name = "Endpoint"; stamp = 106}),
"t"),
[], {contents = Mnil});
-| level = 100000000; scope = 0; id = 963};
+| level = 100000000; scope = 0; id = 1126};
{desc =
Tconstr
(Pdot
(Pident
-| (Ident.Local {Ident.name = "Endpoint"; stamp = 99}),
+| (Ident.Local {Ident.name = "Endpoint"; stamp = 106}),
"t"),
[], {contents = Mnil});
-| level = 100000000; scope = 0; id = 964}],
+| level = 100000000; scope = 0; id = 1127}],
false, {contents = None}))];
row_more =
-| {desc = Tvar None; level = 100000000; scope = 0; id = 961};
+| {desc = Tvar None; level = 100000000; scope = 0; id = 1124};
row_bound = (); row_closed = true; row_fixed = false;
row_name =
Some
-| (Pident (Ident.Local {Ident.name = "finite"; stamp = 100}), [])};
+| (Pident (Ident.Local {Ident.name = "finite"; stamp = 107}), [])};
-| level = 100000000; scope = 0; id = 960},
+| level = 100000000; scope = 0; id = 1123},
Cok);
-| level = 100000000; scope = 0; id = 959}
+| level = 100000000; scope = 0; id = 1122}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment