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

about summary refs log tree commit diff stats

Mode	Name	Size
-rw-r--r--	001-editor.mu	13270	log stats plain blame
-rw-r--r--	002-typing.mu	33553	log stats plain blame
-rw-r--r--	003-shortcuts.mu	90952	log stats plain blame
-rw-r--r--	004-programming-environment.mu	25463	log stats plain blame
-rw-r--r--	005-sandbox.mu	62041	log stats plain blame
-rw-r--r--	006-sandbox-copy.mu	17634	log stats plain blame
-rw-r--r--	007-sandbox-delete.mu	20985	log stats plain blame
-rw-r--r--	008-sandbox-edit.mu	22044	log stats plain blame
-rw-r--r--	009-sandbox-test.mu	10156	log stats plain blame
-rw-r--r--	010-sandbox-trace.mu	14638	log stats plain blame
-rw-r--r--	011-errors.mu	40231	log stats plain blame
-rw-r--r--	012-editor-undo.mu	60858	log stats plain blame
-rw-r--r--	Readme.md	837	log stats plain blame

># generator is 0? use real random-number generator result <- real-random reply result, 0/false } result, fail?, generator <- read generator ] # helper for tests def assume-random-numbers -> result:address:stream:number [ local-scope load-ingredients # compute result-len, space to allocate in result result-len:number <- copy 0 { _, arg-received?:boolean <- next-ingredient break-unless arg-received? result-len <- add result-len, 1 loop } rewind-ingredients result-data:address:array:number <- new number:type, result-len idx:number <- copy 0 { curr:number, arg-received?:boolean <- next-ingredient break-unless arg-received? *result-data <- put-index *result-data, idx, curr idx <- add idx, 1 loop } result <- new-stream result-data ] scenario random-numbers-in-scenario [ local-scope source:address:stream:number <- assume-random-numbers 34, 35, 37 1:number/raw, 2:boolean/raw <- random source 3:number/raw, 4:boolean/raw <- random source 5:number/raw, 6:boolean/raw <- random source 7:number/raw, 8:boolean/raw <- random source memory-should-contain [ 1 <- 34 2 <- 0 # everything went well 3 <- 35 4 <- 0 # everything went well 5 <- 37 6 <- 0 # everything went well 7 <- 0 # empty result 8 <- 1 # end of stream ] ]