瀏覽代碼

remove Ptmap (#11181)

Simon Krajewski 2 年之前
父節點
當前提交
f87d093f53
共有 3 個文件被更改,包括 2 次插入3 次删除
  1. 0 1
      opam
  2. 1 1
      src/core/globals.ml
  3. 1 1
      src/dune

+ 0 - 1
opam

@@ -26,7 +26,6 @@ depends: [
   "sedlex" {>= "2.0"}
   "xml-light"
   "extlib" {>= "1.7.8"}
-  "ptmap" {>= "2.0.0"}
   "sha"
   "conf-libpcre2-8"
   "conf-zlib"

+ 1 - 1
src/core/globals.ml

@@ -6,7 +6,7 @@ type pos = {
 
 type path = string list * string
 
-module IntMap = Ptmap
+module IntMap = Map.Make(struct type t = int let compare i1 i2 = i2 - i1 end)
 module StringMap = Map.Make(struct type t = string let compare = String.compare end)
 module Int32Map = Map.Make(struct type t = Int32.t let compare = Int32.compare end)
 

+ 1 - 1
src/dune

@@ -20,7 +20,7 @@
 		extc extproc extlib_leftovers ilib javalib mbedtls neko objsize pcre2 swflib ttflib ziplib
 		json
 		unix str bigarray threads dynlink
-		xml-light extlib ptmap sha
+		xml-light extlib sha
 		luv
 	)
 	(modules (:standard \ haxe))