SCM Repository
Diff of /sml/trunk/src/cm/bootstrap/cmb-slave-hook.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 451, Sat Oct 23 15:05:55 1999 UTC | revision 452, Mon Oct 25 08:33:25 1999 UTC | |
|---|---|---|
| # | Line 7 | Line 7 |
| 7 | *) | *) |
| 8 | structure CMBSlaveHook = struct | structure CMBSlaveHook = struct |
| 9 | local | local |
| 10 | type res = | type slave = |
| 11 | GroupGraph.group * | string -> |
| 12 | (DependencyGraph.sbnode -> bool) * | (GroupGraph.group * (DependencyGraph.sbnode -> bool)) option |
| 13 | (SmlInfo.info -> unit) | val m = ref (StringMap.empty: slave StringMap.map) |
| fun placeholder (s: string) = (NONE: res option) | ||
| val r = ref placeholder | ||
| 14 | in | in |
| 15 | fun init f = r := f | fun init arch f = m := StringMap.insert (!m, arch, f) |
| 16 | fun slave s = !r s | fun slave arch s = |
| 17 | case StringMap.find (!m, arch) of | |
| 18 | NONE => NONE | |
| 19 | | SOME f => f s | |
| 20 | end | end |
| 21 | end | end |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
