diff --git a/src/html/generator.ml b/src/html/generator.ml index 8ff697a2ba..fd96630d75 100644 --- a/src/html/generator.ml +++ b/src/html/generator.ml @@ -179,7 +179,7 @@ struct | Any -> [type_var Syntax.Type.any] | Alias (te, alias) -> type_expr ~needs_parentheses:true te @ - Html.txt " " :: keyword "as" :: Html.txt " " :: [ Html.txt alias ] + Html.txt " " :: keyword "as" :: Html.txt " '" :: [ Html.txt alias ] | Arrow (None, src, dst) -> let res = type_expr ~needs_parentheses:true src @ diff --git a/test/html/expect/test_package+ml/Type/index.html b/test/html/expect/test_package+ml/Type/index.html index 048b04db1d..882898e0b7 100644 --- a/test/html/expect/test_package+ml/Type/index.html +++ b/test/html/expect/test_package+ml/Type/index.html @@ -367,7 +367,7 @@

type ('a, 'b) double_constrained = 'a * 'b constraint 'a = int constraint 'b = unit
- type as_ = int as a * 'a + type as_ = int as 'a * 'a
type extensible = .. diff --git a/test/html/expect/test_package+re/Type/index.html b/test/html/expect/test_package+re/Type/index.html index 783db655cf..ee630e3667 100644 --- a/test/html/expect/test_package+re/Type/index.html +++ b/test/html/expect/test_package+re/Type/index.html @@ -371,7 +371,7 @@

type double_constrained('a, 'b) = ('a, 'b) constraint 'a = int constraint 'b = unit;

- type as_ = (int as a, 'a); + type as_ = (int as 'a, 'a);
type extensible = ..;