diff options
Diffstat (limited to 'testsuite/tests/typing-objects/pr5858.ml')
| -rw-r--r-- | testsuite/tests/typing-objects/pr5858.ml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/testsuite/tests/typing-objects/pr5858.ml b/testsuite/tests/typing-objects/pr5858.ml index 8089546505..4b92cb1de3 100644 --- a/testsuite/tests/typing-objects/pr5858.ml +++ b/testsuite/tests/typing-objects/pr5858.ml @@ -1,6 +1,16 @@ (* TEST - * toplevel + * expect *) class type c = object end;; +[%%expect{| +class type c = object end +|}] + module type S = sig class c: c end;; +[%%expect{| +Line _, characters 29-30: + module type S = sig class c: c end;; + ^ +Error: The class type c is not yet completely defined +|}] |