Merge pull request #8906 from Octachron/functor_arrow_associativity

Print parentheses in (A->B)->C

1 files changed, 18 insertions, 0 deletions

diff --git a/testsuite/tests/typing-modules/printing.ml b/testsuite/tests/typing-modules/printing.ml
index f6792ba8b5..72235260d4 100644
--- a/testsuite/tests/typing-modules/printing.ml
+++ b/testsuite/tests/typing-modules/printing.ml
@@ -28,3 +28,21 @@ module M = struct module N = struct let x = 1 end end;;
 module M : sig module N : sig val x : int end end
 module M : sig module N : sig ... end end
 |}];;
+
+(* Shortcut notation for functors *)
+module type A
+module type B
+module type C
+module type D
+module type E
+module type F
+module Test(X: ((A->(B->C)->D) -> (E -> F))) = struct end
+[%%expect {|
+module type A
+module type B
+module type C
+module type D
+module type E
+module type F
+module Test : functor (X : (A -> (B -> C) -> D) -> E -> F) -> sig  end
+|}]