diff options
Diffstat (limited to 'testsuite/tests/typing-objects/pr6907_bad.compilers.reference')
| -rw-r--r-- | testsuite/tests/typing-objects/pr6907_bad.compilers.reference | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/testsuite/tests/typing-objects/pr6907_bad.compilers.reference b/testsuite/tests/typing-objects/pr6907_bad.compilers.reference deleted file mode 100644 index ffe1e02624..0000000000 --- a/testsuite/tests/typing-objects/pr6907_bad.compilers.reference +++ /dev/null @@ -1,9 +0,0 @@ -class type ['e] t = object ('a) method update : 'e -> 'a end -Characters 23-48: - class base : 'e -> ['e] t - ^^^^^^^^^^^^^^^^^^^^^^^^^ -Error: Some type variables are unbound in this type: - class base : 'e -> ['e] t - The method update has type 'e -> < update : 'a; .. > as 'a where 'e - is unbound - |