diff --git a/CHANGES.md b/CHANGES.md
index 94ba47a766..ba40295156 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -17,6 +17,7 @@ Tags:
### Fixed
+- Fix crash on functors returning an alias (@Julow, #1046)
- Fix rendering of polymorphic variants (@wikku, @panglesd, #971)
- Add references to extension declarations (@gpetiot, @panglesd, #949)
diff --git a/src/loader/cmi.ml b/src/loader/cmi.ml
index a6e7304105..8429d3bd15 100644
--- a/src/loader/cmi.ml
+++ b/src/loader/cmi.ml
@@ -938,7 +938,9 @@ let rec read_module_type env parent (mty : Odoc_model.Compat.module_type) =
in
let res = read_module_type env (Identifier.Mk.result parent) res in
Functor( f_parameter, res)
- | Mty_alias _ -> assert false
+ | Mty_alias p ->
+ let t_desc = ModPath (Env.Path.read_module env p) in
+ TypeOf { t_desc; t_expansion = None }
and read_module_type_declaration env parent id (mtd : Odoc_model.Compat.modtype_declaration) =
let open ModuleType in
diff --git a/test/generators/cases/functor_ml.ml b/test/generators/cases/functor_ml.ml
new file mode 100644
index 0000000000..e88786c084
--- /dev/null
+++ b/test/generators/cases/functor_ml.ml
@@ -0,0 +1,13 @@
+module Foo (X : sig
+ val foo : int
+end) =
+ String
+
+module Bar = struct
+ type t
+end
+
+module Foo' (X : sig
+ val foo : int
+end) =
+ Bar
diff --git a/test/generators/html/Functor_ml-Bar.html b/test/generators/html/Functor_ml-Bar.html
new file mode 100644
index 0000000000..5b63dab79f
--- /dev/null
+++ b/test/generators/html/Functor_ml-Bar.html
@@ -0,0 +1,26 @@
+
+
+ Bar (Functor_ml.Bar)
+
+
+
+
+
+
+
+
+
+ Module Functor_ml.Bar
+
+
+
+
diff --git a/test/generators/html/Functor_ml-Foo'-argument-1-X.html b/test/generators/html/Functor_ml-Foo'-argument-1-X.html
new file mode 100644
index 0000000000..f9af5bab3f
--- /dev/null
+++ b/test/generators/html/Functor_ml-Foo'-argument-1-X.html
@@ -0,0 +1,27 @@
+
+
+ X (Functor_ml.Foo'.X)
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/test/generators/html/Functor_ml-Foo'.html b/test/generators/html/Functor_ml-Foo'.html
new file mode 100644
index 0000000000..4e915b1f54
--- /dev/null
+++ b/test/generators/html/Functor_ml-Foo'.html
@@ -0,0 +1,47 @@
+
+
+ Foo' (Functor_ml.Foo')
+
+
+
+
+
+
+
+
+
+ Module Functor_ml.Foo'
+
+
+
+
Parameters
+
+
+
+
+
module
+ X
+ : sig ...
+ end
+
+
+
+
+
Signature
+
+
+
+
+
+
module Foo
+ (X :
+ sig ... end
+ ) : module
+ type of
+ Stdlib.String
+
+
+
+
+
+
+
+
+ module
+ Bar
+
+ : sig ...
+ end
+
+
+
+
+
+
+
+
+ module
+ Foo'
+
+ (X :
+ sig ... end
+ ) : sig ...
+ end
+
+
+
+
+