Clean up Super_error

jscomp/build_tests/super_errors/expected/type2.res.expected

@@ -0,0 +1,14 @@
+
+  We've found a bug for you!
+  /.../fixtures/type2.res:6:11-13
+
+  4 │ let () = {
+  5 │   push(a, 3)->ignore
+  6 │   push(a, "3")->ignore
+  7 │ }
+  8 │ 
+
+  This has type: string
+  Somewhere wanted: int
+
+  You can convert string to int with Belt.Int.fromString.

jscomp/build_tests/super_errors/expected/type3.res.expected

@@ -0,0 +1,13 @@
+
+  We've found a bug for you!
+  /.../fixtures/type3.res:1:5
+
+  1 │ let u = []
+  2 │ 
+
+  This expression's type contains type variables that cannot be generalized:
+  array<'_weak1>
+
+  This happens when the type system senses there's a mutation/side-effect,
+  in combination with a polymorphic value.
+  Using or annotating that value usually solves it.

jscomp/build_tests/super_errors/fixtures/type2.res

@@ -0,0 +1,7 @@
+@send external push: (array<'a>, 'a) => unit = "push"
+
+let a = []
+let () = {
+  push(a, 3)->ignore
+  push(a, "3")->ignore
+}

jscomp/build_tests/super_errors/fixtures/type3.res

@@ -0,0 +1 @@
+let u = []

jscomp/ounit_tests/ounit_cmd_tests.ml

@@ -276,14 +276,14 @@ let rec y = A y;;
       OUnit.assert_bool __LOC__
         (Ext_string.contain_substring should_err.stderr "contravariant")
     end;
-    __LOC__ >:: begin fun _ ->
+    (* __LOC__ >:: begin fun _ ->
       let should_err = bsc_check_eval {|
     let u = [||]
     |} in
       OUnit.assert_bool __LOC__
         (Ext_string.contain_substring should_err.stderr "cannot be generalized")
-    end;
-    __LOC__ >:: begin fun _ -> 
+    end; *)
+    (* __LOC__ >:: begin fun _ -> 
       let should_err = bsc_check_eval {|  
 external push : 'a array -> 'a -> unit = "push" [@@send]
 let a = [||]
@@ -293,7 +293,7 @@ let () =
   |} in
       OUnit.assert_bool __LOC__
         (Ext_string.contain_substring should_err.stderr "string")
-    end
+    end *)
     (* __LOC__ >:: begin fun _ ->  *)
     (*   let should_infer = perform_bsc [| "-i"; "-bs-eval"|] {| *)
          (*      let  f = fun [@bs] x -> let (a,b) = x in a + b  *)