/[svn]/types/ident.ml
ViewVC logotype

Diff of /types/ident.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 233 by abate, Tue Jul 10 17:17:31 2007 UTC revision 374 by abate, Tue Jul 10 17:29:46 2007 UTC
# Line 1  Line 1 
1  module Id = Pool.Make(SortedList.String)  module U = Encodings.Utf8
2    module Id = Pool.Make(U)
3  module IdSet = SortedList.Make(SortedList.Lift(Id))  module IdSet = SortedList.Make(SortedList.Lift(Id))
4  module IdMap = IdSet.Map  module IdMap = IdSet.Map
5  type id = Id.t  type id = Id.t
# Line 8  Line 9 
9  let ident = Id.mk  let ident = Id.mk
10    
11    
12  module LabelPool = Pool.Make(SortedList.String)  module LabelPool = Pool.Make(U)
13  module LabelSet = SortedList.Make(SortedList.Lift(LabelPool))  module LabelSet = SortedList.Make(SortedList.Lift(LabelPool))
14  module LabelMap = LabelSet.Map  module LabelMap = LabelSet.Map
15    
Legend:
Removed from v.233  
changed lines
  Added in v.374
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5