Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/util/symbolordkey.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/util/symbolordkey.sml

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

revision 277, Mon May 17 09:13:26 1999 UTC revision 278, Mon May 17 14:53:49 1999 UTC
# Line 6  Line 6 
6   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7   *)   *)
8  structure SymbolOrdKey = struct  structure SymbolOrdKey = struct
9      type ord_key = GenericVC.Symbol.symbol      type ord_key = Symbol.symbol
10      fun compare (s1, s2) =      fun compare (s1, s2) =
11          if GenericVC.Symbol.symbolCMLt (s1, s2) then LESS          if Symbol.symbolCMLt (s1, s2) then LESS
12          else if GenericVC.Symbol.eq (s1, s2) then EQUAL          else if Symbol.eq (s1, s2) then EQUAL
13          else GREATER          else GREATER
14  end  end

Legend:
Removed from v.277  
changed lines
  Added in v.278

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0