(w >-> make t) == (w >-> do { ctime <- getFileTime n1; mtimes <- update_deps ts; if (ctime >= (newest mtimes)) then do {exec n1 m; getFileTime n1} else ...
確定! 回上一頁