about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* 7226Kartik Agaram2020-11-114-81/+0
|
* 7225Kartik Agaram2020-11-1136-60/+293
| | | | | | | Both manual tests described in commit 7222 now work. To make them work I had to figure out how to copy a file. It requires a dependency on a new syscall: lseek.
* 7224Kartik Agaram2020-11-111-19/+32
|
* 7223Kartik Agaram2020-11-111-2/+0
|
* 7222Kartik Agaram2020-11-103-43/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Ok, I found a failing manual test for files as well. Here are the two steelman tests, one for screens and one for files: 1. 5 5 fake-screen =s s 1 down 1 right ctrl-d foo expand final state: s foo foo s 1 down 1 right ⇗ ┌─────┐ ┌─────┐ ┌─────┐ 1 ┌─────┐ 1 ┌─────┐ │ ┌─────┐ │ ┌─────┐ │ ─ │ │ │ │ ─ └─────┘ └─────┘ └─────┘ └─────┘ └─────┘ └─────┘ └─────┘ 2. "x" open =f f read f read ctrl-d read2 expand final state: f read2 read2 f read f read ⇗ FILE ❝def❞ FILE ❝abc❞ FILE ❝❞ ❝def❞ ❝ghi❞ In both cases there are 3 levels of issues: - getting a single-line expression to work - getting a single-line expression to work when operating on a binding defined in a previous line - getting an expanded function call to work The third is where the rub is right now. And what both examples above share is that the function performs 2 mutations to the screen/file. So we need a deep copy after all. And it's not very clear how to copy a file descriptor including the seek location. Linux's dup() syscall creates an alias to the file descriptor. And opening /proc seems awfully Linux-specific: https://stackoverflow.com/questions/54727231/duplicating-file-descriptor-and-seeking-through-both-of-them-independently/54727424#54727424
* 7221Kartik Agaram2020-11-091-62/+0
| | | | | I can't get file values to exhibit the same problem. Why are fake screens special?
* 7220Kartik Agaram2020-11-091-5/+12
| | | | | | | | | Even this isn't enough. While shallow copies keep us from transferring new bindings to callers, the screen object is still the same, so mutations to bindings are contagious. Basically I'm losing IQ points from programming in a language that encourages mutation over copying.
* 7219Kartik Agaram2020-11-093-69/+69
| | | | We're still busted, but on the right track.
* 7218Kartik Agaram2020-11-095-11/+139
| | | | | | | | | | | | | | | This bug was incredibly painful to track down: the one-line fix is to replace 'line' with 'first-line' in the call to 'evaluate' in render-line before recursing. Things that made it challenging: - A high degree of coiling with recursive calls and multiple places of evaluation. - An accidental aliasing in bindings (when rendering the main column in render-line) that masked the underlying bug and made things seem to work most of the time. - Too many fucking arguments to render-line, a maze of twisty line objects all alike.
* 7217Kartik Agaram2020-11-082-6/+24
|
* 7216Kartik Agaram2020-11-082-2/+63
| | | | | In addition to fixing a segfault, the realization here is that we don't always have a type name. Error messages need to take that into account.
* 7215Kartik Agaram2020-11-072-2/+31
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Attempt #3: always create a copy of the bindings before each column/evaluate. The details are fuzzy in my head, but it seemed worth trying. I figured I'd either see the old duplication behavior or everything will work. Instead I'm seeing new problems. commit 7208: 5 5 fake-screen =s s 1 down 1 right expected: | - observed: | | - commit 7210-7212: 5 5 fake-screen =s s 1 down 1 right [define foo] s foo [expand foo] observed: no bindings available when rendering foo expanded commit 7213: 5 5 fake-screen =s s 1 down 1 right [define foo] s foo [expand foo] expected within foo: | - observed within foo: | | - commit 7215: 5 5 fake-screen =s s 1 down 1 right [define foo] s foo [expand foo] observed: no bindings available when rendering foo expanded
* 7214 - undo 7213Kartik Agaram2020-11-072-5/+7
| | | | | | | | | | Turns out even that doesn't work. There are two distinct use cases here: 1. Keeping columns from infecting each other. 2. Expanding function calls. Perhaps ping-ponging between them is a sign I need tests.
* 7213 - redo the bugfix of 7210Kartik Agaram2020-11-072-7/+5
| | | | | | | | It turns out deciding when to initialize the table of bindings is quite a thorny problem in the presence of function calls (since they need their args bound). In time I should probably support a linked list of tables. For now I'll just continue to reuse tables, but perform lookups in reverse order so that the correct binding is always returned.
* 7212Kartik Agaram2020-11-071-1/+1
|
* 7211Kartik Agaram2020-11-071-0/+24
|
* 7210Kartik Agaram2020-11-074-11/+40
| | | | | Bug fixed; I had to reinitialize the table of bindings. Interesting debugging experience.
* 7209Kartik Agaram2020-11-071-1/+1
|
* 7208 - tile: start new lineKartik Agaram2020-11-071-0/+35
| | | | | | | | Only the final line shows the stack for now. No way to move cursor back up. One bug I'm noticing: creating a screen on one line and then reusing it in a second causes operations to be performed multiple times.
* 7207 - tile: bugfixKartik Agaram2020-11-071-0/+2
|
* 7206 - tile: up/down/left/right now print linesKartik Agaram2020-11-071-20/+57
|
* 7205 - tile: magnitudes for up/down/left/rightKartik Agaram2020-11-071-17/+41
|
* 7204Kartik Agaram2020-11-071-1/+1
|
* 7203Kartik Agaram2020-11-061-0/+27
|
* 7202 - rendering screens above other valuesKartik Agaram2020-11-062-1/+26
|
* 7201Kartik Agaram2020-11-061-8/+6
|
* 7200 - tile: cursor movement helpersKartik Agaram2020-11-062-3/+121
|
* 7199 - tile: primitive 'move'Kartik Agaram2020-11-061-1/+30
|
* 7198 - tile: primitive 'print'Kartik Agaram2020-11-063-6/+43
|
* 7197 - tile: render screen contents and cursorKartik Agaram2020-11-062-12/+39
|
* 7196 - tile: render empty screenKartik Agaram2020-11-062-19/+80
|
* 7195 - tile: create 'screen' objectsKartik Agaram2020-11-064-0/+61
|
* 7194Kartik Agaram2020-11-062-45/+51
|
* 7193 - tile: extract taxonomy of values into a separate fileKartik Agaram2020-11-063-206/+208
|
* 7192 - more checks around literalsKartik Agaram2020-11-052-22/+318
| | | | | | | We can copy non-zero literals only to non-addr non-offset scalars. This change is surprisingly short for the magnitude of the limb I felt myself going out on for it. Surprising that there were no unpleasant discoveries.
* 7191Kartik Agaram2020-11-052-35/+55
|
* 7190Kartik Agaram2020-11-052-5/+5
| | | | Training sights now on some gaps with offset types.
* 7189 - some validations on function nameKartik Agaram2020-11-052-0/+273
| | | | Mu has no overloading or static dispatch for now.
* 7188 - raise error on deref of var on stackKartik Agaram2020-11-052-1/+74
|
* 7187Kartik Agaram2020-11-0516-23760/+27189
|
* 7186Kartik Agaram2020-11-051-3/+4
|
* 7185 - type checks for 'populate-stream'Kartik Agaram2020-11-052-4/+437
| | | | Lots of copy-pasta.
* 7184 - type checks for 'populate'Kartik Agaram2020-11-052-7/+447
|
* 7183 - type checks for 'allocate'Kartik Agaram2020-11-052-1/+347
|
* 7182 - type checks for 'copy-object'Kartik Agaram2020-11-052-1/+412
|
* 7181 - type checks for 'address' instructionKartik Agaram2020-11-053-2/+595
|
* 7180Kartik Agaram2020-11-043-12/+173
| | | | | | | More bugfixes, now all apps are working. In the process of fixing the bugs in translating apps/browse, I found a typo in apps/tile that just happened to accidentally be compiling fine.
* 7179Kartik Agaram2020-11-042-0/+31
| | | | | | After this bugfix, apps/tile/ is now working. apps/browse/ is still failing.
* 7178 - type checks for 'compare' instructionKartik Agaram2020-11-042-1/+553
|
* 7177 - type checks for 'copy-to' instructionKartik Agaram2020-11-042-12/+400
|
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-07-06 09:13:32 +0000