Migrate to 4.14

Author: yakobowski

.github/workflows/workflow.yml

@@ -13,8 +13,8 @@ jobs:
           - macos-latest
           - ubuntu-latest
         ocaml-version:
-          - 4.13.0
-          - 4.13.1
+          - 4.14.0
+          - 4.14.2
 
     runs-on: ${{ matrix.os }}
 

README.md

@@ -1,8 +1,8 @@
 # Camelot [![Build and Test Status](https://github.com/upenn-cis1xx/camelot/workflows/Build%20&%20Test/badge.svg)](https://github.com/upenn-cis1xx/camelot/actions?query=workflow%3A%22Build+%26+Test%22)
-A modular and fully-configurable OCaml Linter / Style Checker for OCaml compiler version >= 4.10.0 < 4.14.0 (temporarily).
+A modular and fully-configurable OCaml Linter / Style Checker for OCaml compiler version >= 4.10.0 < 5.0.0 (temporarily).
 
 ## Dependencies (handled by opam)
-- ocaml >= v4.10.0 < 4.14.0
+- ocaml >= v4.10.0 < 5.0.0
 - dune >= 2.5.0
 - compiler-libs.common
 - fswatch (for Build + Watch)

camelot.opam

@@ -9,7 +9,7 @@ homepage: "https://github.com/upenn-cis1xx/camelot"
 bug-reports: "https://github.com/upenn-cis1xx/camelot/issues"
 depends: [
   "dune" {>= "2.5"}
-  "ocaml" {>= "4.13.0" & < "4.14.0"}
+  "ocaml" {>= "4.14.0" & < "5.0.0"}
   "ANSITerminal" {>= "0.8"}
   "yojson" {>= "1.7.0"}
   "camlp-streams" {>= "5.0.1"}

dune-project

@@ -14,7 +14,7 @@
  (synopsis "An OCaml Linter / Style Checker")
  (depends
   (dune (>= 2.5))
-  (ocaml (and (>= 4.13.0) (< 4.14.0)))
+  (ocaml (and (>= 4.14.0) (< 5.0.0)))
   (ANSITerminal (>= 0.8))
   (yojson (>= 1.7.0))
   (camlp-streams (>= 5.0.1))

lib/traverse/descent.ml

@@ -113,7 +113,7 @@ module T = struct
     sub.attributes sub ptyexn_attributes
 
   let iter_extension_constructor_kind sub = function
-      Pext_decl(ctl, cto) ->
+      Pext_decl(_, ctl, cto) ->
       iter_constructor_arguments sub ctl; iter_opt (sub.typ sub) cto
     | Pext_rebind li ->
       iter_loc sub li