delete old coq related code

flake.nix

@@ -58,7 +58,6 @@
               (_: prev:
                 with prev; {
                   ocamlPackages = ocaml-ng.ocamlPackages_4_14;
-                  coqPackages = coqPackages_8_13;
                   ocamlformat = ocaml-ng.ocamlPackages_4_14.ocamlformat_0_21_0;
                 })
               rust-overlay.overlays.default

nix/ligo.nix

@@ -29,7 +29,6 @@ in
       nativeBuildInputs = [
         menhir
         ocaml-recovery-parser
-        coq_8_13
         crunch
         odoc
         python3Packages.jsonschema
@@ -100,7 +99,6 @@ in
           linol
           linol-lwt
           dune-configurator # ???
-          coq_8_13 # ???
           alcotest # with-test
           ppx_expect # with-test
           ppx_inline_test # with-test

nix/overlay.nix

@@ -353,10 +353,6 @@ with prev; {
           };
         });
     });
-  coq_8_13 = coq_8_13.override {
-    customOCamlPackages = final.ocaml-ng.ocamlPackages_4_14;
-    buildIde = false;
-  };
   tree-sitter = tree-sitter.override (
     # override for getting tree-sitter version 0.25.3
     let

src/bin/expect_tests/top_level_binding_pattern_cameligo.ml

@@ -1052,7 +1052,7 @@ let%expect_test _ =
   Called from Cli_helpers.return_result_lwt.get_formatted_result in file "src/main/helpers/cli_helpers.ml", line 185, characters 19-84
   Re-raised at Cli.run in file "src/bin/cli.ml", line 3757, characters 21-30
   Called from Cli_expect_tests__Cli_expect.run_ligo_bad in file "src/bin/expect_tests/cli_expect.ml", line 46, characters 18-31
-  Called from Cli_expect_tests__Top_level_binding_pattern_cameligo.(fun) in file "src/bin/expect_tests/top_level_binding_pattern_cameligo.ml", line 970, characters 2-156
+  Called from Cli_expect_tests__Top_level_binding_pattern_cameligo.(fun) in file "src/bin/expect_tests/top_level_binding_pattern_cameligo.ml", line 961, characters 2-156
   Called from Expect_test_collector.Make.Instance_io.exec in file "collector/expect_test_collector.ml", line 234, characters 12-19 |}]
 
 let%expect_test _ =

src/bin/expect_tests/top_level_binding_pattern_jsligo.ml

@@ -366,5 +366,5 @@ let%expect_test _ =
   Called from Cli_helpers.return_result_lwt.get_formatted_result in file "src/main/helpers/cli_helpers.ml", line 185, characters 19-84
   Re-raised at Cli.run in file "src/bin/cli.ml", line 3757, characters 21-30
   Called from Cli_expect_tests__Cli_expect.run_ligo_bad in file "src/bin/expect_tests/cli_expect.ml", line 46, characters 18-31
-  Called from Cli_expect_tests__Top_level_binding_pattern_jsligo.(fun) in file "src/bin/expect_tests/top_level_binding_pattern_jsligo.ml", line 284, characters 2-155
+  Called from Cli_expect_tests__Top_level_binding_pattern_jsligo.(fun) in file "src/bin/expect_tests/top_level_binding_pattern_jsligo.ml", line 275, characters 2-155
   Called from Expect_test_collector.Make.Instance_io.exec in file "collector/expect_test_collector.ml", line 234, characters 12-19 |}]

src/bin/expect_tests/warnings.ml

@@ -158,7 +158,7 @@ let%expect_test _ =
   Called from Cli_helpers.return_result_lwt.get_formatted_result in file "src/main/helpers/cli_helpers.ml", line 185, characters 19-84
   Re-raised at Cli.run in file "src/bin/cli.ml", line 3757, characters 21-30
   Called from Cli_expect_tests__Cli_expect.run_ligo_bad in file "src/bin/expect_tests/cli_expect.ml", line 46, characters 18-31
-  Called from Cli_expect_tests__Warnings.(fun) in file "src/bin/expect_tests/warnings.ml", line 62, characters 2-144
+  Called from Cli_expect_tests__Warnings.(fun) in file "src/bin/expect_tests/warnings.ml", line 107, characters 2-144
   Called from Expect_test_collector.Make.Instance_io.exec in file "collector/expect_test_collector.ml", line 234, characters 12-19 |}]
 
 let%expect_test _ =
@@ -232,7 +232,7 @@ let%expect_test _ =
   Called from Cli_helpers.return_result_lwt.get_formatted_result in file "src/main/helpers/cli_helpers.ml", line 185, characters 19-84
   Re-raised at Cli.run in file "src/bin/cli.ml", line 3757, characters 21-30
   Called from Cli_expect_tests__Cli_expect.run_ligo_bad in file "src/bin/expect_tests/cli_expect.ml", line 46, characters 18-31
-  Called from Cli_expect_tests__Warnings.(fun) in file "src/bin/expect_tests/warnings.ml", line 84, characters 2-88
+  Called from Cli_expect_tests__Warnings.(fun) in file "src/bin/expect_tests/warnings.ml", line 165, characters 2-88
   Called from Expect_test_collector.Make.Instance_io.exec in file "collector/expect_test_collector.ml", line 234, characters 12-19 |}]
 
 (* some check about the warnings of the E_constructor cases *)