about summary refs log tree commit diff stats
path: root/030container.cc
Commit message (Collapse)AuthorAgeFilesLines
* 2293Kartik K. Agaram2015-10-271-1/+1
|
* 2284Kartik K. Agaram2015-10-261-6/+6
|
* 2281Kartik K. Agaram2015-10-261-25/+0
|
* 2280Kartik K. Agaram2015-10-261-3/+3
|
* 2277 - reagents now have a tree of typesKartik K. Agaram2015-10-251-57/+79
|
* 2266 - drop experiment with genericsKartik K. Agaram2015-10-071-124/+0
|
* 2258 - separate warnings from errorsKartik K. Agaram2015-10-061-43/+43
| | | | | | | 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.
* 2251Kartik K. Agaram2015-10-051-1/+17
| | | | | | Unbelievable that this hitherto-unanticipated test passed so easily. Even though I'm simply bolting on special cases in an ad hoc manner, this isn't too shabby.
* 2250Kartik K. Agaram2015-10-051-3/+48
|
* 2249 - start of type ingredients or genericsKartik K. Agaram2015-10-051-10/+79
| | | | | *Extremely* ugly. I need to use better variable names around new waypoints.
* 2248Kartik K. Agaram2015-10-051-9/+6
|
* 2243Kartik K. Agaram2015-10-051-1/+1
|
* 2242Kartik K. Agaram2015-10-051-0/+2
|
* 2241 - back to type-checking get-addressKartik K. Agaram2015-10-051-1/+23
| | | | | Now duplex-list is fully non-generic and only works with characters. But we'll fix that in a bit..
* 2234 - check type of get's productKartik K. Agaram2015-10-021-1/+32
| | | | Already I'm finding type errors in the programming environment.
* 2233 - basic checks for non-primitive recipesKartik K. Agaram2015-10-011-1/+6
| | | | This came last because we had to ensure all primitives are covered.
* 2227 - offset-checking for containersKartik K. Agaram2015-10-011-32/+59
|
* 2226 - standardize warning formatKartik K. Agaram2015-10-011-6/+6
| | | | | | | | 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?
* 2218 - check types in instructions much earlierKartik K. Agaram2015-09-301-1/+1
| | | | | | | | | Front-loads it a bit more than I'd like, but the payoff is that other recipes will now be able to describe the type checks right next to their operation. I'm also introducing a new use of /raw with literals to indicate unsafe typecasts.
* 2154 - check types only after loading all layersKartik K. Agaram2015-09-051-1/+1
| | | | | Follow-up to 2147, which switched transform_all to only run once, after loading all layers.
* 2137Kartik K. Agaram2015-09-031-1/+0
|
* 2126Kartik K. Agaram2015-09-011-1/+1
|
* 2095Kartik K. Agaram2015-08-281-7/+0
| | | | | | | | | | | | 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.
* 2064Kartik K. Agaram2015-08-241-1/+1
| | | | Adjust spaces in 'stash'.
* 2060 - even more efficient up/downKartik K. Agaram2015-08-221-2/+2
|
* 1994 - new primitive: 'create-array'Kartik K. Agaram2015-08-141-1/+3
| | | | | Not strictly necessary, but it might help me stage the introduction of arrays and 'new'.
* 1988 - handle reagents without typesKartik K. Agaram2015-08-131-4/+4
| | | | | | 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/+9
| | | | | More friendly way to 'stash' stuff in the trace so that you can toggle lines of code to see their stashed traces.
* 1962Kartik K. Agaram2015-08-091-3/+3
| | | | Standardize test names.
* 1952Kartik K. Agaram2015-08-071-0/+8
|
* 1948Kartik K. Agaram2015-08-061-2/+2
|
* 1931 - basic support for scrollingKartik K. Agaram2015-08-041-1/+19
| | | | Still need to fix all the todo's in edit.mu dealing with scrolling.
* 1923Kartik K. Agaram2015-08-021-3/+2
| | | | | | | | | | 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.
* 1909 - clean up all null pointers of that ilkKartik K. Agaram2015-07-311-10/+10
|
* 1908 - another null-pointer warningKartik K. Agaram2015-07-311-0/+5
|
* 1886 - gracefully handle malformed ingredientsKartik K. Agaram2015-07-291-2/+4
| | | | | | | | For example: x:number <- index y:address:array:number, 3 (forgetting to do a lookup) Thanks Caleb Couch.
* 1868 - start using naked literals everywhereKartik K. Agaram2015-07-281-39/+39
| | | | First step to reducing typing burden. Next step: inferring types.
* 1848 - core instructions now check for ingredientsKartik K. Agaram2015-07-251-5/+5
| | | | Also standardized warnings.
* 1844 - explicitly end each trace lineKartik K. Agaram2015-07-251-18/+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.
* 1834Kartik K. Agaram2015-07-241-4/+8
|
* 1833Kartik K. Agaram2015-07-241-1/+8
|
* 1832Kartik K. Agaram2015-07-241-1/+4
|
* 1826 - edit: start carefully showing all errorsKartik K. Agaram2015-07-211-2/+4
| | | | | | | | | | | | | | | | | | | | | Eventually we might be able to get rid of die entirely. This is just a preliminary stab at a random error. In the process I ran into two issues that have impeded debugging before: a) Naming conflicts within scenarios are a real no-no. I need to warn on them, but the rules are getting complicated: Always print warnings on redefine But not in interactive mode Or in scenarios checking warning behavior Unless the scenario recipe itself is overridden b) Now that we've added collect_layers and a long time can go between traces, debugging is a minefield because trace lines don't print to screen immediately after they're created. Need to do something about that. Maybe explicitly trigger collection by tracing '\n' or something. These are the next two items on my todo list.
* 1800 - ah, found the bounds-checking bugKartik K. Agaram2015-07-171-5/+50
| | | | I was counting locations when I should have been counting elements.
* 1744 - support just two editors rather than a listKartik K. Agaram2015-07-091-0/+4
| | | | | Current model: you click on something to put it on the editor at the top of the column. Worth a shot.
* 1702 - experiment: start using 'ordinal' in namesKartik K. Agaram2015-07-041-36/+36
| | | | | | | It comes up pretty early in the codebase, but hopefully won't come up in the mu level until we get to higher-order recipes. Potentially intimidating name, but such prime real estate with no confusing overloadings in other projects!
* 1668 - there's a bug in CHECK_TRACE_DOESNT_CONTAINKartik K. Agaram2015-06-271-0/+1
| | | | For starters start making the test fail when building until layer 41.
* 1629 - new helper for constructing containersKartik K. Agaram2015-06-231-0/+27
|
* 1604Kartik K. Agaram2015-06-201-1/+2
|
* 1593Kartik K. Agaram2015-06-181-1/+2
|