Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix tools/unlabel to deal with Hashtbl injectivity

master
John Whitington 2020-07-27 15:44:35 +01:00
parent e5e7b9591a
commit 902ca08055
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
stdlib/moreLabels.mli
View File

@ -36,7 +36,7 @@ module Hashtbl : sig
(** {1 Generic interface} *)
type (!'a, !'b) t
type (!'a, !'b) t = ('a, 'b) Hashtbl.t
(** The type of hash tables from type ['a] to type ['b]. *)
val create : ?random: (* thwart tools/unlabel *) bool -> int -> ('a, 'b) t

2
tools/unlabel
View File

@ -70,7 +70,7 @@ rm -f stdlib/moreLabels.temp.mli stdlib/moreLabels.temp2.mli
#Fix up
perl -p -e "s/type statistics =/type statistics = Hashtbl\.statistics =/" \
stdlib/moreLabels.mli > stdlib/moreLabels.temp.mli
perl -p -e "s/type \('a, 'b\) t/type \('a, 'b\) t = \('a, 'b) Hashtbl.t/" \
perl -p -e "s/type \(!'a, !'b\) t/type \(!'a, !'b\) t = \('a, 'b) Hashtbl.t/" \
stdlib/moreLabels.temp.mli > stdlib/moreLabels.temp2.mli
perl -p -e\
"s/module Make \(H : HashedType\) : S with type key = H.t\