SCM Repository
Diff of /sml/trunk/src/cm/util/symbolordkey.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 269, Mon May 10 13:34:43 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 |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
