File tree Expand file tree Collapse file tree 3 files changed +10
-8
lines changed Expand file tree Collapse file tree 3 files changed +10
-8
lines changed Original file line number Diff line number Diff line change @@ -3,7 +3,7 @@ Characters 40-43:
33 fun (obj : int) -> obj##m();;
44 ^^^
55Error: This expression has type int but an expression was expected of type
6- 'a Js.t
6+ 'jsoo_173316d7 Js.t
77Characters 25-28:
88 fun (obj : < > Js.t) -> obj##m();;
99 ^^^
@@ -14,7 +14,7 @@ Characters 43-49:
1414 ^^^^^^
1515Error: This expression has type
1616 float Js.prop = < get : float; set : float -> unit > Js.gen_prop
17- but an expression was expected of type 'a Js.meth
17+ but an expression was expected of type 'jsoo_22f22ba7 Js.meth
1818Characters 43-51:
1919 fun (obj : < m : float Js.meth > Js.t) -> obj##m() + 1;;
2020 ^^^^^^^^
@@ -24,12 +24,13 @@ Characters 48-54:
2424 fun (obj : < m : int -> int Js.meth > Js.t) -> obj##m() + 1;;
2525 ^^^^^^
2626Error: This expression has type int -> int Js.meth
27- but an expression was expected of type 'a Js.meth
27+ but an expression was expected of type 'jsoo_32f94eb9 Js.meth
2828Characters 41-47:
2929 fun (obj : < m : int Js.meth > Js.t) -> obj##m(1);;
3030 ^^^^^^
3131Error: This expression has type int Js.meth
32- but an expression was expected of type 'a -> 'b Js.meth
32+ but an expression was expected of type
33+ 'jsoo_776737d4 -> 'jsoo_593685be Js.meth
3334Characters 50-59:
3435 fun (obj : < m : int -> float Js.meth > Js.t) -> obj##m(1) + 1;;
3536 ^^^^^^^^^
Original file line number Diff line number Diff line change @@ -3,7 +3,7 @@ Characters 45-48:
33 fun (obj : int) -> obj##p;;
44 ^^^
55Error: This expression has type int but an expression was expected of type
6- 'a Js.t
6+ 'jsoo_32b5ee21 Js.t
77Characters 25-28:
88 fun (obj : < > Js.t) -> obj##p;;
99 ^^^
@@ -14,7 +14,8 @@ Characters 53-59:
1414 ^^^^^^
1515Error: This expression has type
1616 float Js.writeonly_prop = < set : float -> unit > Js.gen_prop
17- but an expression was expected of type < get : 'a; .. > Js.gen_prop
17+ but an expression was expected of type
18+ < get : 'jsoo_res; .. > Js.gen_prop
1819 The first object type has no method get
1920Characters 43-49:
2021 fun (obj : < p : float Js.prop > Js.t) -> obj##p + 1;;
Original file line number Diff line number Diff line change @@ -3,7 +3,7 @@ Characters 45-48:
33 fun (obj : int) -> obj##p <- 2;;
44 ^^^
55Error: This expression has type int but an expression was expected of type
6- 'a Js.t
6+ 'jsoo_32b5ee21 Js.t
77Characters 25-28:
88 fun (obj : < > Js.t) -> obj##p <- 2;;
99 ^^^
@@ -15,7 +15,7 @@ Characters 52-58:
1515Error: This expression has type
1616 float Js.readonly_prop = < get : float > Js.gen_prop
1717 but an expression was expected of type
18- < set : 'a -> unit; .. > Js.gen_prop
18+ < set : 'jsoo_arg -> unit; .. > Js.gen_prop
1919 The first object type has no method set
2020Characters 53-54:
2121 fun (obj : < p : float Js.prop > Js.t) -> obj##p <- 1;;
You can’t perform that action at this time.
0 commit comments