about summary refs log tree commit diff stats
path: root/mu.arc
Commit message (Collapse)AuthorAgeFilesLines
* 825Kartik K. Agaram2015-02-221-0/+3
|
* 761 - now 30% faster than 758Kartik K. Agaram2015-02-161-72/+72
| | | | 4:26 compared to 6:20 on my laptop.
* 760Kartik K. Agaram2015-02-161-72/+76
| | | | This speeds up the final test but not all together.
* 759 - trace.arc.t 13% fasterKartik K. Agaram2015-02-161-7/+3
| | | | Something wrong with my profiling, though. Numbers aren't adding up.
* 758Kartik K. Agaram2015-02-161-5/+5
|
* 757 - collapse now kinda workingKartik K. Agaram2015-02-161-0/+1
| | | | | Tests are getting slow so quickly that I'm tempted to push forward the rewrite to C.
* 753Kartik K. Agaram2015-02-151-0/+2
|
* 751 - newest trace test now passingKartik K. Agaram2015-02-151-4/+3
|
* 750Kartik K. Agaram2015-02-151-11/+9
|
* 748Kartik K. Agaram2015-02-151-2/+47
|
* 744 - test cursor movement in trace browserKartik K. Agaram2015-02-111-4/+61
| | | | | | Don't prevent run-code from clobbering existing functions, but warn because it makes traces easier to read if the different sections of a test can be distinguished.
* 742 - turns out chessboard test logs were incompleteKartik K. Agaram2015-02-111-10/+19
| | | | | Now that we aren't loading system software for every test we can afford to log the loading of test functions.
* 740Kartik K. Agaram2015-02-101-3/+9
|
* 731Kartik K. Agaram2015-02-101-0/+33
|
* 730 - first test for trace browserKartik K. Agaram2015-02-101-2/+2
| | | | | This was painless compared to the chessboard app. Still need to handle input, though. Fingers crossed..
* 726Kartik K. Agaram2015-02-091-2/+2
|
* 725 - now support cursor movementKartik K. Agaram2015-02-091-0/+8
| | | | This had been on hold for some time; dependencies are crutches.
* 724 - stop using charterm for printing textKartik K. Agaram2015-02-091-19/+12
| | | | | | | We'll keep it around for keyboard input now, for the nice scancode names. Ansi escape codes from http://tldp.org/HOWTO/Bash-Prompt-HOWTO/x361.html
* 722 - split at substring, and assorted helpersKartik K. Agaram2015-02-081-1/+50
|
* 721Kartik K. Agaram2015-02-081-6/+6
|
* 720 - substring matching and searchingKartik K. Agaram2015-02-081-5/+62
|
* 718 - disable raw memory warnings in testsKartik K. Agaram2015-02-081-8/+10
|
* 716 - warn when writing to raw memoryKartik K. Agaram2015-02-081-0/+17
|
* 715 - support metadata in top-level namesKartik K. Agaram2015-02-081-1/+12
|
* 714Kartik K. Agaram2015-02-081-8/+11
| | | | Just forget about unicode for now.
* 713 - quick 'n' dirty trace parserKartik K. Agaram2015-02-081-1/+52
| | | | Doesn't quite work yet; I can't have spaces after labels.
* 712Kartik K. Agaram2015-02-071-0/+20
|
* 711 - extract method: string-copyKartik K. Agaram2015-02-071-25/+39
|
* 708Kartik K. Agaram2015-02-051-1/+2
|
* 706Kartik K. Agaram2015-02-041-0/+30
|
* 705 - clean up traces before we try to parse themKartik K. Agaram2015-02-031-22/+25
| | | | | | | | | | For now we want to parse two labels: 'run', identifying call stack, op and args 'mem', distinguishing reads and writes This should give us fodder for a few weeks, to build both a folding UI for individual statements and descending the call stack, and also a query engine that can figure out sources and sinks in the trace graph.
* 695 - another attempt to handle strings in historyKartik K. Agaram2015-02-011-0/+3
| | | | | | But now that we've added the keyboard parameter to process-keys, modifying it in a recursive call also clobbers it in the caller. All because of my weird, non-standard use of shared scope.
* 693 - color-repl now uses keyboard/screen parametersKartik K. Agaram2015-02-011-6/+23
|
* 690 - convention: '$' commands for debugging onlyKartik K. Agaram2015-02-011-99/+100
| | | | | | Swap printing generalized objects using arc's infrastructure to be the $-prefixed debug helper, while the erstwhile $print-key-to-host becomes the primitive print-character to host.
* 688 - <up> for history kinda sorta worksKartik K. Agaram2015-01-311-2/+18
| | | | | | | | | | | | | | process-key is extracted to work on a given character, but its helpers for parsing strings and comments still read keys directly from keyboard. Still, this took long enough to get working that it's worth saving. Milestones: a) figuring out how to debug without dumping trace crap on the screen in cursor mode. b) realizing you can't assign directly to result in the up case. Have to let the recursive call do it. c) replacing continuations in 'process-key'.
* 687 - some helpers for debuggingKartik K. Agaram2015-01-311-1/+13
|
* 682Kartik K. Agaram2015-01-291-2/+35
| | | | | | | | | | You can't just extract the array from inside a buffer. Its length isn't right. Only reason we didn't catch this sooner is I think that arc's simulated memory is initialized to all nils, which has some serendipitous properties. I should initialize memory to random values one of these days and see what shakes out.
* 677 - more improvements for names in shared spacesKartik K. Agaram2015-01-291-7/+21
|
* 676 - allow routines to share *names* for localsKartik K. Agaram2015-01-291-1/+13
|
* 675Kartik K. Agaram2015-01-291-4/+2
|
* 670 - get rid of integer-bufferKartik K. Agaram2015-01-291-14/+2
| | | | | | | | | | | | We'll make 'buffer' properly generic at some point. Basically need to support multi-word types. x:list:integer <- copy y:list:integer # ok x:list <- copy y:list:integer # ok x:list:integer <- copy y:list # error We'll need a separate runtime operator like maybe-coerce for the third case.
* 666 - first-class continuations!Kartik K. Agaram2015-01-281-7/+21
|
* 665 - hide the ugly memory dump by defaultKartik K. Agaram2015-01-281-2/+2
|
* 664 - new, wart-like promptKartik K. Agaram2015-01-281-1/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | This is the right time for this change I've been meaning to make, because it lets me drop my hack in 'abort-to'. 'abort-to' is likely still a bad idea because: a) Just because this example doesn't need to clear a few things on abort doesn't mean such use cases don't exist. In other words, there's no way to tell if your stack frame recently returned from an abort. That question isn't even well-posed at the moment; what does 'recently' even mean? b) I may need to run deferred statements on each stack frame, and it's not clear how to rewrite 'defer' to be robust to aborts. Exceptions entering through the back door? Looks like all this is expected when implementing exception-like behavior using continuations: http://matt.might.net/articles/implementing-exceptions c) Of course we don't have composable exceptions. I still don't grok the value of that. We don't need yield since we have channels. What else might we need continuations for? Let's try to come up with a clean way to implement the amb operator or something. http://www.randomhacks.net/2005/10/11/amb-operator
* 662 - abort current command cleanly on ctrl-gKartik K. Agaram2015-01-281-0/+9
| | | | | | | Poor man's continuation. Not first class or delimited yet. And we see the problem: hard to specify precisely what to do after unwinding the stack. We start reaching for a try/catch statement. But let's see if there's a better way.
* 660Kartik K. Agaram2015-01-281-1/+6
| | | | Yet another 'grow-buffer' bug.
* 659Kartik K. Agaram2015-01-281-0/+5
| | | | 'grow-buffer' was never working until now. Too much spiking lately.
* 651 - new data structure in repl: list of backslash escapesKartik K. Agaram2015-01-281-1/+30
| | | | '#\\' only contains one escape character: the first backslash
* 643 - bug in use-before-set logicKartik K. Agaram2015-01-271-9/+10
| | | | | | | | Ran into this in color-repl.mu: I wasn't checking struct variables in 'get' operations. Still no way to test for use-before-set logic. But we'll fix it when we leave arc behind.
* 638 - quick spike: syntax highlighting in replKartik K. Agaram2015-01-271-4/+48
| | | | | | | | | | | | | | | Backspace kinda works. Parens are colored in three rotating colors which helps with balancing. Comments and strings are colored. But it's hard to handle backspace in all situations. Like if you backspace over a quote you have to either quit the string-slurping routine you're in, or return to string slurping mode. Similarly for comments; *there* you don't even have a end delimiter to let you know you're back in a comment. You have to keep track of what came before. I experimented with a library but it interacts poorly with the charterm library I'm already using. Ended up with a gross inefficient approach instead.