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/symbol.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 16 (* Copyright 1989 by AT&T Bell Laboratories *)
2 :     signature SYMBOL = sig
3 :     type symbol
4 :     datatype namespace =
5 :     VALspace | TYCspace | SIGspace | STRspace | FCTspace | FIXspace |
6 :     LABspace | TYVspace | FSIGspace
7 :     val eq: symbol * symbol -> bool
8 :     and symbolGt : symbol * symbol -> bool
9 :     and symbolCMLt : symbol * symbol -> bool
10 :     and varSymbol: string -> symbol
11 :     and tycSymbol: string -> symbol
12 :     and sigSymbol: string -> symbol
13 :     and strSymbol: string -> symbol
14 :     and fctSymbol: string -> symbol
15 :     and fsigSymbol: string -> symbol
16 :     and fixSymbol: string -> symbol
17 :     and labSymbol: string -> symbol
18 :     and tyvSymbol: string -> symbol
19 :     and var'n'fix : string -> symbol * symbol
20 :     and name: symbol -> string
21 :     and number: symbol -> int
22 :     val nameSpace : symbol -> namespace
23 :     val nameSpaceToString : namespace -> string
24 :     val symbolToString : symbol -> string
25 :    
26 :     (* Probably should merge STRspace and FCTspace into one namespace.
27 :     Similarly for SIGspace and FSIGspace. *)
28 :    
29 :     end
30 :    
31 :     signature FASTSYMBOL =
32 :     sig
33 :     type raw_symbol
34 :     type symbol
35 :     val rawSymbol: int * string -> raw_symbol
36 :     val sameSpaceSymbol : symbol -> raw_symbol -> symbol
37 :     val varSymbol: raw_symbol -> symbol
38 :     val tycSymbol: raw_symbol -> symbol
39 :     val sigSymbol: raw_symbol -> symbol
40 :     val strSymbol: raw_symbol -> symbol
41 :     val fctSymbol: raw_symbol -> symbol
42 :     val fixSymbol: raw_symbol -> symbol
43 :     val labSymbol: raw_symbol -> symbol
44 :     val tyvSymbol: raw_symbol -> symbol
45 :     val fsigSymbol: raw_symbol -> symbol
46 :     val var'n'fix : raw_symbol -> symbol * symbol
47 :     end (* signature FASTSYMBOL *)
48 :    
49 :    

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