tangle.mu - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: 3e73dd891f766cc2306acc7211c3c7e04e8d67c5 (plain) (tree)

4feb3daf ^

0ca35d02 ^

d1c12218 ^

d4b4d018 ^

a37494eb ^

4feb3daf ^

d4b4d018 ^

4feb3daf ^

d4b4d018 ^

generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2025-01-28 14:54:12 +0000

span>done? c:char <- index *contents, i sink <- write sink, c i <- add i, 1 loop } sink <- close sink ] def start-writing fs:&:filesystem, filename:text -> sink:&:sink:char, routine-id:num [ local-scope load-ingredients source:&:source:char, sink:&:sink:char <- new-channel 30 { break-if fs # real file system file:num <- $open-file-for-writing filename assert file, [no such file] routine-id <- start-running transmit-to-file file, source reply } # fake file system # beware: doesn't support multiple concurrent writes yet routine-id <- start-running transmit-to-fake-file fs, filename, source ] def transmit-to-file file:num, source:&:source:char -> source:&:source:char [ local-scope load-ingredients { c:char, done?:bool, source <- read source break-if done? $write-to-file file, c loop } file <- $close-file file ] def transmit-to-fake-file fs:&:filesystem, filename:text, source:&:source:char -> fs:&:filesystem, source:&:source:char [ local-scope load-ingredients # compute new file contents buf:&:buffer <- new-buffer 30 { c:char, done?:bool, source <- read source break-if done? buf <- append buf, c loop } contents:text <- buffer-to-array buf new-file-mapping:file-mapping <- merge filename, contents # write to filesystem curr-filename:text <- copy 0 data:&:@:file-mapping <- get *fs, data:offset # replace file contents if it already exists i:num <- copy 0 len:num <- length *data { done?:bool <- greater-or-equal i, len break-if done? tmp:file-mapping <- index *data, i curr-filename <- get tmp, name:offset found?:bool <- equal filename, curr-filename loop-unless found? put-index *data, i, new-file-mapping reply } # if file didn't already exist, make room for it new-len:num <- add len, 1 new-data:&:@:file-mapping <- new file-mapping:type, new-len put *fs, data:offset, new-data # copy over old files i:num <- copy 0 { done?:bool <- greater-or-equal i, len break-if done? tmp:file-mapping <- index *data, i put-index *new-data, i, tmp } # write new file put-index *new-data, len, new-file-mapping ]