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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/Semant/basics/sympaths.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/Semant/basics/sympaths.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 419 - (view) (download) (as text)

1 : monnier 249 (* Copyright 1996 by AT&T Bell Laboratories *)
2 :     (* sympaths.sig *)
3 :    
4 :     signature SYMPATH =
5 :     sig
6 :     datatype path = SPATH of Symbol.symbol list
7 :     val empty : path
8 :     val null : path -> bool
9 :     val extend : path * Symbol.symbol -> path
10 :     val prepend : Symbol.symbol * path -> path
11 :     val append : path * path -> path
12 :     val first : path -> Symbol.symbol
13 :     val rest : path -> path
14 :     val length : path -> int
15 :     val last : path -> Symbol.symbol
16 :     val equal : path * path -> bool
17 :     val toString : path -> string
18 :     end
19 :    
20 :     signature INVPATH =
21 :     sig
22 :     datatype path = IPATH of Symbol.symbol list
23 :     val empty : path
24 :     val null : path -> bool
25 :     val extend: path * Symbol.symbol -> path
26 :     val append: path * path -> path
27 :     val last: path -> Symbol.symbol
28 :     val lastPrefix: path -> path
29 :     val equal : path * path -> bool
30 :     val toString : path -> string
31 :     end
32 :    
33 :     signature CONVERTPATHS =
34 :     sig
35 :     type spath
36 :     type ipath
37 :     val invertSPath : spath -> ipath
38 :     val invertIPath : ipath -> spath
39 :     end
40 :    
41 :    

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