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/compiler/ElabData/basics/sympaths.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/ElabData/basics/sympaths.sml

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

revision 1334, Thu May 22 22:46:30 2003 UTC revision 1335, Tue May 27 21:54:23 2003 UTC
# Line 33  Line 33 
33        List.last p        List.last p
34          handle List.Empty => ErrorMsg.impossible "SymPath.last"          handle List.Empty => ErrorMsg.impossible "SymPath.last"
35    
36    fun equal(SPATH p1: path, SPATH p2: path) = (p1 = p2)    fun equal(SPATH p1: path, SPATH p2: path) = ListPair.all Symbol.eq (p1, p2)
37    
38    val resultId = Symbol.strSymbol "<resultStr>"    val resultId = Symbol.strSymbol "<resultStr>"
39    val returnId = Symbol.strSymbol "<returnStr>"    val returnId = Symbol.strSymbol "<returnStr>"
# Line 75  Line 75 
75    fun lastPrefix(IPATH []: path) = raise InvPath    fun lastPrefix(IPATH []: path) = raise InvPath
76      | lastPrefix(IPATH(_::p)) = IPATH p      | lastPrefix(IPATH(_::p)) = IPATH p
77    
78    fun equal(IPATH p1:path, IPATH p2:path) = (p1 = p2)    fun equal(IPATH p1:path, IPATH p2:path) = ListPair.all Symbol.eq (p1, p2)
79    
80    fun toString(IPATH p: path) =    fun toString(IPATH p: path) =
81       let fun f [s] = [Symbol.name s, ">"]       let fun f [s] = [Symbol.name s, ">"]

Legend:
Removed from v.1334  
changed lines
  Added in v.1335

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