SCM Repository
Diff of /sml/trunk/src/cm/bootstrap/cmb-slave-hook.sml
Parent Directory
|
Revision Log
|
Patch
revision 450, Fri Oct 22 17:10:09 1999 UTC | revision 451, Sat Oct 23 15:05:55 1999 UTC | |
---|---|---|
# | Line 8 | Line 8 |
8 | structure CMBSlaveHook = struct | structure CMBSlaveHook = struct |
9 | local | local |
10 | type res = | type res = |
11 | GroupGraph.group * GeneralParams.info * | GroupGraph.group * |
12 | (DependencyGraph.sbnode -> bool) | (DependencyGraph.sbnode -> bool) * |
13 | (SmlInfo.info -> unit) | |
14 | fun placeholder (s: string) = (NONE: res option) | fun placeholder (s: string) = (NONE: res option) |
15 | val r = ref placeholder | val r = ref placeholder |
16 | in | in |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |