1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
(* pgraph.sml
*
* (C) 2001 Lucent Technologies, Bell Labs
*
* A list-of-edges representation of the dependency graph.
*
* author: Matthias Blume (blume@research.bell-labs.com)
*)
structure PortableGraph = struct
type varname = string
datatype namespace = SGN | STR | FCT
datatype rhs =
SYM of namespace * string
| SYMS of varname list
| IMPORT of { lib: varname, syms: varname }
| COMPILE of { src: string * bool, env: varname, syms: varname }
| FILTER of { env: varname, syms: varname }
| MERGE of varname list
datatype def = DEF of { lhs: varname, rhs: rhs }
datatype graph =
GRAPH of { imports: varname list,
defs: def list,
export: varname }
end
|
