From 450628742c1c5ef5391b0a16acfc99ad23205094 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Thu, 31 Oct 2013 20:50:44 +0100 Subject: Added a new module HMap. It works (almost) like Map, except that it expects the provided type to come with a hashing function. The internal representation is changed, such that values are first compared w.r.t. to their hash. This effectively saves a lot of comparisons which may be far more expensive than O(1), as in the string case, hence resulting in an overall speedup. CAVEAT: everything is not implemented yet, and order-sensitive functions now do not respect the provided order anymore. --- grammar/grammar.mllib | 1 + 1 file changed, 1 insertion(+) (limited to 'grammar') diff --git a/grammar/grammar.mllib b/grammar/grammar.mllib index fd1d0e47e..c2f39deed 100644 --- a/grammar/grammar.mllib +++ b/grammar/grammar.mllib @@ -6,6 +6,7 @@ Hashcons CSet CMap Int +HMap Option Store Exninfo -- cgit v1.2.3