File tree Expand file tree Collapse file tree 1 file changed +6
-7
lines changed Expand file tree Collapse file tree 1 file changed +6
-7
lines changed Original file line number Diff line number Diff line change @@ -7,17 +7,16 @@ type Event = (Os.Path) either { // destination
77
88def Main =
99 let rootPath = Os.Path(".").append("Downloads") in
10- rootPath // : Os.Path
11- ->YieldDownloadRequests("127.0.0.1:3000") // : List<(Url) Os.Path>
12- ->Map1(box DownloadFile) // : List<List<Event>>
13- ->FanIn1 // : List<Event>
14- ->ShowDownloadProgress(rootPath) // : !
10+ YieldDownloadRequests("127.0.0.1:3000", rootPath) // : List<(Url) Os.Path>
11+ ->Map1(box DownloadFile) // : List<List<Event>>
12+ ->FanIn1 // : List<Event>
13+ ->ShowDownloadProgress(rootPath) // : !
1514
1615def Map1 = Map(type (Url) Os.Path, List<Event>)
1716def FanIn1 = FanIn(type Event)
1817
19- dec YieldDownloadRequests : [Os.Path, String ] List<(Url) Os.Path>
20- def YieldDownloadRequests = [rootPath, listenUrl ] chan yield {
18+ dec YieldDownloadRequests : [String, Os.Path] List<(Url) Os.Path>
19+ def YieldDownloadRequests = [listenUrl, rootPath ] chan yield {
2120 Debug.Log(Concat(*("Listening on ", listenUrl, "...")))
2221 catch e => {
2322 Debug.Log(Concat(*("Listening error: ", e)))
You can’t perform that action at this time.
0 commit comments