1 (* Copyright (C) 2009 Matthew Fluet.
2 * Copyright (C) 2004-2007 Henry Cejtin, Matthew Fluet, Suresh
3 * Jagannathan, and Stephen Weeks.
5 * MLton is released under a BSD-style license.
6 * See the file MLton-LICENSE for details.
9 functor ProfileLabel (S: PROFILE_LABEL_STRUCTS): PROFILE_LABEL =
13 datatype t = T of {plist: PropertyList.t,
17 fun make f (T r) = f r
19 val plist = make #plist
25 fun new () = T {plist = PropertyList.new (),
26 uniq = Counter.next c}
29 fun toString (T {uniq, ...}) =
30 concat ["MLtonProfile", Int.toString uniq]
32 val layout = Layout.str o toString
34 val clear = PropertyList.clear o plist