--- sml/trunk/src/cm/depend/mklist.sml 1999/06/28 08:46:30 357 +++ sml/trunk/src/cm/depend/mklist.sml 1999/06/28 13:59:11 358 @@ -26,29 +26,29 @@ fun bnode (DG.PNODE _) k m = k m | bnode (DG.BNODE n) k m = let val { bininfo = i, localimports = l, globalimports = g } = n + fun k' m = bininfo i :: k (stab_reg (m, i)) in if stab_isreg (m, i) then k m - else bininfo i - :: do_list bnode l (do_list farbnode g k) (stab_reg (m, i)) + else do_list bnode l (do_list farbnode g k') m end - and farbnode (_, n) k m = bnode n k m + and farbnode (_, n) = bnode n fun snode (DG.SNODE n) k m = let val { smlinfo = i, localimports = l, globalimports = g } = n + fun k' m = smlinfo i :: k (sml_reg (m, i)) in if sml_isreg (m, i) then k m - else smlinfo i - :: do_list snode l (do_list farsbnode g k) (sml_reg (m, i)) + else do_list snode l (do_list farsbnode g k') m end - and farsbnode (_, DG.SB_BNODE n) k m = bnode n k m - | farsbnode (_, DG.SB_SNODE n) k m = snode n k m + and farsbnode (_, DG.SB_BNODE n) = bnode n + | farsbnode (_, DG.SB_SNODE n) = snode n - fun impexp (n, _) k m = farsbnode n k m + fun impexp (n, _) = farsbnode n fun group (GroupGraph.GROUP { exports, ... }) = do_list impexp (SymbolMap.listItems exports) - (fn m => []) + (fn _ => []) (StableSet.empty, SmlInfoSet.empty) end
Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: (fn m => []) + (fn _ => []) (StableSet.empty, SmlInfoSet.empty) end