blob: 94a47d236e37848710f97a84f93eba14387dc37c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(* TEST
* expect
*)
let x = ref []
module M = struct type t let _ = (x : t list ref) end;;
[%%expect{|
val x : '_weak1 list ref = {contents = []}
Line 2, characters 34-35:
2 | module M = struct type t let _ = (x : t list ref) end;;
^
Error: This expression has type 'weak1 list ref
but an expression was expected of type t list ref
The type constructor t would escape its scope
|}]
|