diff options
Diffstat (limited to 'testsuite/tests/typing-signatures')
| -rw-r--r-- | testsuite/tests/typing-signatures/els.ml | 3 | ||||
| -rw-r--r-- | testsuite/tests/typing-signatures/els.ml.reference | 2 |
2 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/typing-signatures/els.ml b/testsuite/tests/typing-signatures/els.ml index 3713b64e5c..dfc2e07450 100644 --- a/testsuite/tests/typing-signatures/els.ml +++ b/testsuite/tests/typing-signatures/els.ml @@ -90,3 +90,6 @@ module type WEAPON_LIB = sig module Make : functor (TV : TYPEVIEW with type t = t) -> USERCODE(TV).F end;; + +module type X = functor (X: CORE) -> BARECODE;; +module type X = functor (_: CORE) -> BARECODE;; diff --git a/testsuite/tests/typing-signatures/els.ml.reference b/testsuite/tests/typing-signatures/els.ml.reference index 91b4a32f1d..407ced1d18 100644 --- a/testsuite/tests/typing-signatures/els.ml.reference +++ b/testsuite/tests/typing-signatures/els.ml.reference @@ -90,4 +90,6 @@ end) -> USERCODE(TV).F end +# module type X = functor (X : CORE) -> BARECODE +# module type X = functor (_ : CORE) -> BARECODE # |