Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 2371 - layer 5 of edit | Kartik K. Agaram | 2015-11-05 | 4 | -68/+45 |
| | |||||
* | 2370 - layers 1-4 of edit are back | Kartik K. Agaram | 2015-11-05 | 5 | -357/+325 |
| | | | | | | | | | | | | One nice consequence of all my deduction of reply ingredients is that I can insert the same fragment into recipes with different headers, and everything works as long as reply instructions are implicitly deduced. One thing I had to fix to make this work was to move reply-deduction out of rewrite rules and turn it into a first-class transform, so that it happens after tangling. I'm glad to see the back of that hack inside <scroll-down>. | ||||
* | 2369 - layer 1 of edit is back | Kartik K. Agaram | 2015-11-05 | 2 | -34/+18 |
| | |||||
* | 2368 - start getting edit working again | Kartik K. Agaram | 2015-11-05 | 2 | -23/+31 |
| | | | | | Still seeing repeated null refinements. Maybe my approach to fixing those errors is fundamentally broken. | ||||
* | 2367 | Kartik K. Agaram | 2015-11-05 | 1 | -1/+1 |
| | |||||
* | 2366 - disallow static dispatch inside header-less recipes | Kartik K. Agaram | 2015-11-05 | 1 | -0/+1 |
| | | | | | Not only can such recipes not have variants, their bodies too will be oblivious to multiple variants or generics. | ||||
* | 2365 | Kartik K. Agaram | 2015-11-05 | 1 | -10/+10 |
| | |||||
* | 2364 | Kartik K. Agaram | 2015-11-05 | 1 | -0/+10 |
| | |||||
* | 2363 - duplex-list is now generic. | Kartik K. Agaram | 2015-11-05 | 2 | -252/+252 |
| | | | | It wasn't a phase-ordering issue after all.. | ||||
* | 2362 | Kartik K. Agaram | 2015-11-04 | 2 | -1/+2 |
| | | | | | | Now we try to be smarter about checking for presence in the Type array. Still can't get generic duplex-list to work. | ||||
* | 2361 | Kartik K. Agaram | 2015-11-04 | 1 | -1/+2 |
| | |||||
* | 2360 | Kartik K. Agaram | 2015-11-04 | 11 | -15/+60 |
| | | | | | | | | | 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. | ||||
* | 2359 | Kartik K. Agaram | 2015-11-04 | 1 | -1/+1 |
| | |||||
* | 2358 - starting to tackle the phase ordering problem | Kartik K. Agaram | 2015-11-04 | 13 | -30/+32 |
| | | | | | | | 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. | ||||
* | 2357 | Kartik K. Agaram | 2015-11-04 | 1 | -1/+1 |
| | |||||
* | 2356 | Kartik K. Agaram | 2015-11-04 | 1 | -8/+12 |
| | | | | | I keep finding null property pointers and am fucking sick of wondering if it's because of this horseshit. | ||||
* | 2355 | Kartik K. Agaram | 2015-11-04 | 1 | -0/+14 |
| | |||||
* | 2354 | Kartik K. Agaram | 2015-11-04 | 2 | -3/+41 |
| | |||||
* | 2353 - now 'list' type can be fully generic! | Kartik K. Agaram | 2015-11-04 | 1 | -31/+34 |
| | |||||
* | 2352 | Kartik K. Agaram | 2015-11-04 | 2 | -3/+4 |
| | |||||
* | 2351 - support arbitrary type trees in 'new' | Kartik K. Agaram | 2015-11-04 | 2 | -51/+77 |
| | | | | In the process we also convert types to sizes before we start running. | ||||
* | 2350 | Kartik K. Agaram | 2015-11-04 | 1 | -1/+7 |
| | | | | Now it's not just tests that define recipe variants. | ||||
* | 2349 | Kartik K. Agaram | 2015-11-02 | 1 | -19/+0 |
| | |||||
* | 2348 | Kartik K. Agaram | 2015-11-02 | 1 | -5/+5 |
| | |||||
* | 2347 | Kartik K. Agaram | 2015-11-02 | 1 | -0/+2 |
| | |||||
* | 2346 - typo | Kartik K. Agaram | 2015-11-01 | 1 | -1/+1 |
| | | | | No test, but discovered when fixing list.mu. | ||||
* | 2345 | Kartik K. Agaram | 2015-11-01 | 1 | -2/+2 |
| | |||||
* | 2344 | Kartik K. Agaram | 2015-11-01 | 1 | -0/+1 |
| | |||||
* | 2343 | Kartik K. Agaram | 2015-11-01 | 1 | -0/+2 |
| | | | | Clean up specialized recipes more thoroughly. | ||||
* | 2342 - generalize generic recipes | Kartik K. Agaram | 2015-11-01 | 2 | -28/+108 |
| | | | | | Support for type ingredients anywhere. I've been working on this since commit 2331. | ||||
* | 2341 - fill in gaps in generic containers | Kartik K. Agaram | 2015-11-01 | 2 | -11/+61 |
| | |||||
* | 2340 | Kartik K. Agaram | 2015-11-01 | 1 | -7/+5 |
| | |||||
* | 2339 - don't let dump_types modify Type | Kartik K. Agaram | 2015-11-01 | 2 | -3/+13 |
| | |||||
* | 2338 | Kartik K. Agaram | 2015-11-01 | 1 | -12/+12 |
| | |||||
* | 2337 | Kartik K. Agaram | 2015-11-01 | 1 | -0/+1 |
| | |||||
* | 2336 | Kartik K. Agaram | 2015-10-31 | 2 | -10/+21 |
| | | | | Minor tweak: track all recipe variants. | ||||
* | 2335 | Kartik K. Agaram | 2015-10-31 | 1 | -1/+1 |
| | |||||
* | 2334 | Kartik K. Agaram | 2015-10-31 | 4 | -4/+31 |
| | |||||
* | 2333 | Kartik K. Agaram | 2015-10-31 | 1 | -0/+8 |
| | |||||
* | 2332 | Kartik K. Agaram | 2015-10-31 | 1 | -1/+21 |
| | |||||
* | 2331 - generic recipe: first passing test | Kartik K. Agaram | 2015-10-31 | 2 | -0/+145 |
| | |||||
* | 2330 - support generic containers in 'get' | Kartik K. Agaram | 2015-10-30 | 1 | -4/+53 |
| | |||||
* | 2329 - hacky start to generic containers | Kartik K. Agaram | 2015-10-30 | 2 | -0/+101 |
| | |||||
* | 2328 | Kartik K. Agaram | 2015-10-30 | 1 | -3/+19 |
| | | | | Forgot to run valgrind again. That triggered some trace cleanup as well. | ||||
* | 2327 | Kartik K. Agaram | 2015-10-30 | 1 | -4/+1 |
| | |||||
* | 2326 | Kartik K. Agaram | 2015-10-30 | 1 | -8/+8 |
| | |||||
* | 2325 | Kartik K. Agaram | 2015-10-30 | 1 | -2/+1 |
| | |||||
* | 2324 - static dispatch works with arcane headers! | Kartik K. Agaram | 2015-10-29 | 1 | -8/+7 |
| | |||||
* | 2323 - static dispatch! | Kartik K. Agaram | 2015-10-29 | 3 | -1/+186 |
| | |||||
* | 2322 - deduce types from recipe header | Kartik K. Agaram | 2015-10-29 | 1 | -3/+47 |
| |