Source file caches.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
open Util.Source

(* Cache entry using mixops *)

module MixopEntry = struct
  type t = Mixop.t

  let default : t = Mixfix.Atom (Atom.tag "EMPTY" $ no_region)
  let equal = Mixop.eq

  let hash (m : Mixop.t) : int =
    Hashtbl.hash (Mixop.string_of_mixop m) land 0x7FFFFFFF
end

module MixopCache = Cache.Make.Make (MixopEntry)