File tree 1 file changed +0
-33
lines changed
1 file changed +0
-33
lines changed Original file line number Diff line number Diff line change @@ -276,38 +276,5 @@ let rec y = A y;;
276
276
OUnit .assert_bool __LOC__
277
277
(Ext_string .contain_substring should_err .stderr "contravariant" )
278
278
end;
279
- (* __LOC__ >:: begin fun _ ->
280
- let should_err = bsc_check_eval {|
281
- let u = [||]
282
- |} in
283
- OUnit.assert_bool __LOC__
284
- (Ext_string.contain_substring should_err.stderr "cannot be generalized")
285
- end; *)
286
- (* __LOC__ >:: begin fun _ ->
287
- let should_err = bsc_check_eval {|
288
- external push : 'a array -> 'a -> unit = "push" [@@send]
289
- let a = [||]
290
- let () =
291
- push a 3 |. ignore ;
292
- push a "3" |. ignore
293
- |} in
294
- OUnit.assert_bool __LOC__
295
- (Ext_string.contain_substring should_err.stderr "string")
296
- end *)
297
- (* __LOC__ >:: begin fun _ -> *)
298
- (* let should_infer = perform_bsc [| "-i"; "-bs-eval"|] {| *)
299
- (* let f = fun [@bs] x -> let (a,b) = x in a + b *)
300
- (* |} in *)
301
- (* let infer_type = bsc_eval (Printf.sprintf {| *)
302
-
303
- (* let f : %s = fun [@bs] x -> let (a,b) = x in a + b *)
304
- (* |} should_infer.stdout ) in *)
305
- (* begin *)
306
- (* Ounit_cmd_util.debug_output should_infer ; *)
307
- (* Ounit_cmd_util.debug_output infer_type ; *)
308
- (* OUnit.assert_bool __LOC__ *)
309
- (* ((Ext_string.is_empty infer_type.stderr)) *)
310
- (* end *)
311
- (* end *)
312
279
]
313
280
You can’t perform that action at this time.
0 commit comments