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
 [smlnj] / sml / trunk / src / compiler / ElabData / basics / sympaths.sml

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

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