about summary refs log tree commit diff stats
path: root/043new.cc
Commit message (Collapse)AuthorAgeFilesLines
* 2383 - new concern: idempotence of transformsKartik K. Agaram2015-11-061-1/+1
| | | | | I'd not paid any attention to it so far, but I need to do so from now on.
* 2382Kartik K. Agaram2015-11-061-0/+1
| | | | Starting to leave commented out prints again out of desperation.
* 2380 - done loading mu codeKartik K. Agaram2015-11-061-1/+1
| | | | | | | | New assertions still failing during tests. This whole implementation of generic recipes is like an extended spike. I don't have nearly enough tests. Ideally I'd have confidence in generics once layer 59 passed its tests.
* 2377 - stop using operator[] in mapKartik K. Agaram2015-11-061-29/+29
| | | | | | | | | | | | | | | | I'm still seeing all sorts of failures in turning on layer 11 of edit/, so I'm backing away and nailing down every culprit I run into. First up: stop accidentally inserting empty objects into maps during lookups. Commands run: $ sed -i 's/\(Recipe_ordinal\|Recipe\|Type_ordinal\|Type\|Memory\)\[\([^]]*\)\] = \(.*\);/put(\1, \2, \3);/' 0[1-9]* $ vi 075scenario_console.cc # manually fix up Memory[Memory[CONSOLE]] $ sed -i 's/\(Memory\)\[\([^]]*\)\]/get_or_insert(\1, \2)/' 0[1-9]* $ sed -i 's/\(Recipe_ordinal\|Type_ordinal\)\[\([^]]*\)\]/get(\1, \2)/' 0[1-9]* $ sed -i 's/\(Recipe\|Type\)\[\([^]]*\)\]/get(\1, \2)/' 0[1-9]* Now mu dies pretty quickly because of all the places I try to lookup a missing value.
* 2360Kartik K. Agaram2015-11-041-1/+1
| | | | | | | | | More flailing around trying to come up with the right phase ordering. I've tried to narrow down each transform's constraints wrt transforms in previous layers. One issue that keeps biting me is the Type map containing empty records because of stray [] operations. That's gotta be important.
* 2359Kartik K. Agaram2015-11-041-1/+1
|
* 2358 - starting to tackle the phase ordering problemKartik K. Agaram2015-11-041-1/+1
| | | | | | | A new externality is starting to make its presence felt. Until I sort this out it's going to be hard to finish making duplex-list generic.
* 2351 - support arbitrary type trees in 'new'Kartik K. Agaram2015-11-041-51/+65
| | | | In the process we also convert types to sizes before we start running.
* 2321 - more preparations for static dispatchKartik K. Agaram2015-10-291-1/+1
| | | | | Deduce operation id from name during transform rather than load, so that earlier transforms have a chance to modify the name.
* 2313Kartik K. Agaram2015-10-291-5/+5
|
* 2311Kartik K. Agaram2015-10-291-1/+1
|
* 2297Kartik K. Agaram2015-10-281-1/+1
|
* 2283 - represent each /property as a treeKartik K. Agaram2015-10-261-3/+3
|
* 2277 - reagents now have a tree of typesKartik K. Agaram2015-10-251-10/+17
|
* 2262 - strengthen some type checksKartik K. Agaram2015-10-071-6/+10
|
* 2258 - separate warnings from errorsKartik K. Agaram2015-10-061-8/+8
| | | | | | | At the lowest level I'm reluctantly starting to see the need for errors that stop the program in its tracks. Only way to avoid memory corruption and security issues. But beyond that core I still want to be as lenient as possible at higher levels of abstraction.
* 2232Kartik K. Agaram2015-10-011-20/+27
|
* 2226 - standardize warning formatKartik K. Agaram2015-10-011-9/+9
| | | | | | | | Always show recipe name where error occurred. But don't show internal 'interactive' name for sandboxes, that's just confusing. What started out as warnings are now ossifying into errors that halt all execution. Is this how things went with C and Unix as well?
* 2204Kartik K. Agaram2015-09-161-2/+8
|
* 2200Kartik K. Agaram2015-09-151-0/+11
|
* 2095Kartik K. Agaram2015-08-281-19/+18
| | | | | | | | | | | | Finally terminate the experiment of keeping debug prints around. I'm also going to give up on maintaining counts. What we really need is two kinds of tracing: a) For tests, just the domain-specific facts, organized by labels. b) For debugging, just transient dumps to stdout. b) only works if stdout is clean by default. Hmm, I think this means 'stash' should be the transient kind of trace.
* 2074 - don't die on over-long errorsKartik K. Agaram2015-08-241-1/+5
|
* 2064Kartik K. Agaram2015-08-241-1/+1
| | | | Adjust spaces in 'stash'.
* 2054Kartik K. Agaram2015-08-211-1/+0
|
* 1988 - handle reagents without typesKartik K. Agaram2015-08-131-1/+1
| | | | | | This can happen if 'canonize' fails. Make sure it doesn't kill mu. Thanks Caleb Couch.
* 1975 - let's start using traces in lessonsKartik K. Agaram2015-08-101-0/+33
| | | | | More friendly way to 'stash' stuff in the trace so that you can toggle lines of code to see their stashed traces.
* 1923Kartik K. Agaram2015-08-021-1/+1
| | | | | | | | | | Still iterating on the right way to handle incorrect number of ingredients. My first idea of creating null results doesn't really work once they're used in later instructions. Just add a warning at one place in the run loop, but otherwise only add products when there's something to save in them. Undoes some work around commit 1886.
* 1886 - gracefully handle malformed ingredientsKartik K. Agaram2015-07-291-1/+2
| | | | | | | | For example: x:number <- index y:address:array:number, 3 (forgetting to do a lookup) Thanks Caleb Couch.
* 1882Kartik K. Agaram2015-07-291-4/+4
|
* 1869 - rename the /deref property to /lookupKartik K. Agaram2015-07-281-5/+5
| | | | Should be a little bit more mnemonic.
* 1868 - start using naked literals everywhereKartik K. Agaram2015-07-281-10/+10
| | | | First step to reducing typing burden. Next step: inferring types.
* 1849Kartik K. Agaram2015-07-251-1/+1
|
* 1848 - core instructions now check for ingredientsKartik K. Agaram2015-07-251-14/+20
| | | | Also standardized warnings.
* 1844 - explicitly end each trace lineKartik K. Agaram2015-07-251-15/+18
| | | | | | | | | More verbose, but it saves trouble when debugging; there's never something you thought should be traced but just never came out the other end. Also got rid of fatal errors entirely. Everything's a warning now, and code after a warning isn't guaranteed to run.
* 1832Kartik K. Agaram2015-07-241-1/+1
|
* 1822Kartik K. Agaram2015-07-191-2/+2
|
* 1799 - continue to debug memory corruption of 1795Kartik K. Agaram2015-07-171-1/+1
| | | | | | | | | | | | Things I figured out: - 'row' in render-screen doesn't perfectly track cursor-row in screen - proximal cause was forgetting to add left:number to stop-printing - trying to print to screen outside bounds was silently succeeding and corrupting simulated memory - if we silently ignore prints outside bounds things are fine But why are prints outside screen bounds working? We should be accessing screen data using 'index', and that's checking its bounds.
* 1781 - the hog is Trace_stream, not MemoryKartik K. Agaram2015-07-141-0/+18
| | | | | I keep forgetting about it. Until, that is, I run gprof. Even if I think I need a memory profile, a cpu profile is a pretty good proxy.
* 1780 - now we always reclaim local scopesKartik K. Agaram2015-07-131-1/+1
| | | | | | But still no difference in either memory footprint or in running time. This will teach me -- for the umpteenth time -- to optimize before measuring.
* 1779Kartik K. Agaram2015-07-131-0/+86
| | | | | | Now we can reclaim allocated space. But the API's suspect. I still want to provide some sort of tree of allocations. For now we'll use this only to reclaim default-spaces. That's next.
* 1768Kartik K. Agaram2015-07-131-0/+257