about summary refs log tree commit diff stats
path: root/lambda-to-mu.mu
Commit message (Collapse)AuthorAgeFilesLines
* 3552Kartik K. Agaram2016-10-221-1/+1
| | | | | | | | | | | | | | | | | | Stop requiring jump instructions to explicitly provide a ':label' type for jump targets. This has been a source of repeated confusion for my students: a) They'd add the ':label' to the label definition rather than the jump target (label use) b) They'd spend time thinking about whether the initial '+' prefix was part of the label name. In the process I cleaned up a couple of things: - the space of names is more cleanly partitioned into labels and non-labels (clarifying that '_' and '-' are non-label prefixes) - you can't use label names as regular variables anymore - you can infer the type of a label just from its name
* 3526Kartik K. Agaram2016-10-201-3/+3
|
* 3483Kartik K. Agaram2016-10-081-60/+60
|
* 3400Kartik K. Agaram2016-09-181-0/+584
| | | | | | | | | Undo commit 3340. Let's standardize names of non-core files to only have dashes. That's also consistent with the edit/ and sandbox/ apps. Mu programmers will tend to pervasively use dashes, just like Lisp programmers. Scripts will continue to use underscores..
* 3340Kartik K. Agaram2016-09-121-584/+0
| | | | | | | | Rename files to be consistent with my (forgotten) convention of always using underscores over hyphens. I'll leave server-socket.mu alone for now, since Stephen's hacking on it.
* 3338Kartik K. Agaram2016-09-121-1/+1
| | | | Process type abbreviations in container definitions.
* 3337 - first use of type abbreviations: textKartik K. Agaram2016-09-121-37/+38
| | | | | In the process I've uncover a couple of situations we don't support type abbreviations yet. They're next.
* 3159 - pause the lambda->mu translator for a bitKartik K. Agaram2016-08-071-0/+18
| | | | | | | | I'm going to focus on two projects for a while: a) the testable interface for file system and network b) a compiler translating some language to x86 b) might require first gaining some experience programming in Assembly.
* 3156Kartik K. Agaram2016-07-271-5/+6
| | | | Make 'stream' generic.
* 3153Kartik K. Agaram2016-07-241-2/+4
|
* 3151Kartik K. Agaram2016-07-241-1/+3
|
* 3150 - done with parser for s-expressionsKartik K. Agaram2016-07-241-3/+78
|
* 3149Kartik K. Agaram2016-07-241-3/+3
|
* 3148Kartik K. Agaram2016-07-241-0/+17
|
* 3147Kartik K. Agaram2016-07-241-18/+18
|
* 3146Kartik K. Agaram2016-07-241-11/+72
|
* 3145Kartik K. Agaram2016-07-241-4/+48
|
* 3144Kartik K. Agaram2016-07-241-4/+43
| | | | | Fix a bug in phase ordering discovered while trying to stash cells in the lambda compiler.
* 3140Kartik K. Agaram2016-07-231-4/+30
| | | | | Manual tests for parse errors because scenarios can't handle assertion failures yet.
* 3139Kartik K. Agaram2016-07-231-2/+6
|
* 3138Kartik K. Agaram2016-07-231-12/+90
|
* 3135Kartik K. Agaram2016-07-221-5/+14
| | | | Parsing pairs of atoms.
* 3132Kartik K. Agaram2016-07-221-21/+19
|
* 3131Kartik K. Agaram2016-07-221-4/+41
| | | | | Reorganize parser to make room for parsing pairs. But first test for pairs is still failing.
* 3130Kartik K. Agaram2016-07-221-3/+20
| | | | Handle multi-character atoms.
* 3129Kartik K. Agaram2016-07-221-0/+29
| | | | Degenerate 'parser' that handles just atoms of one character.
* 3127Kartik K. Agaram2016-07-221-0/+43
|
* 3125Kartik K. Agaram2016-07-221-3/+19
|
* 3124Kartik K. Agaram2016-07-221-21/+28
| | | | | Reorganize data structure for lambda cells. Create our first real unit test for the compiler in the process.
* 3121 - very preliminary spike on a compilerKartik K. Agaram2016-07-221-0/+60
Nothing runs yet. Just spewing out code at this point, as a kind of sketching.