Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2025-11-16
| ||
| 20:17 | Add a new module for parser primitives so I can use it for the indentation needful Leaf check-in: 27ca6a4313 user: monax tags: indent-parser | |
|
2025-11-15
| ||
| 00:09 | merge Leaf check-in: 35fefc5faa user: monax tags: stlc | |
| 00:09 | merge Closed-Leaf check-in: 7963e50eb4 user: monax tags: kind-inference | |
|
2025-11-04
| ||
| 03:13 | remove comment Closed-Leaf check-in: d20461d8c8 user: monax tags: data-definitions | |
| 03:10 | Changed the type expression type to kind expressions because I expect to make the type checker a bit more involved than the kind checker check-in: 57d1a00d2e user: monax tags: data-definitions | |
|
2025-10-27
| ||
| 00:34 | Remove the Disjoint module, since that type is just being used in Language.Yui.Types check-in: 523937cba4 user: monax tags: data-definitions | |
| 00:33 | Add a test case for some kind inference check-in: 1a3b12da92 user: monax tags: data-definitions | |
|
2025-10-26
| ||
| 23:58 | Export some other stuff to support testing in the near future check-in: 7926d76c0b user: monax tags: data-definitions | |
| 23:51 | imports and exports for the types module check-in: 2add8badf0 user: monax tags: data-definitions | |
| 19:48 | Add parsers for data definitions in the module check-in: bf45493284 user: monax tags: data-definitions | |
| 19:05 | Add definitions for top level declarations like data definitions check-in: f0ef55f561 user: monax tags: data-definitions | |
| 18:51 | Rename TypeDefinition to DataDefinition check-in: 644476c2f1 user: monax tags: kind-inference | |
| 18:49 | small update to function interface. check-in: 970c70f94d user: monax tags: kind-inference | |
|
2025-10-25
| ||
| 18:22 | second pass, clean up the effect interface check-in: 6681e124b1 user: monax tags: kind-inference | |
| 16:17 | first pass check-in: 33b003eaf8 user: monax tags: kind-inference | |
|
2025-10-20
| ||
| 21:55 | This version seems to work too, but there is a strange nontermination bug for some types I'm not gonna delve in to at the moment. check-in: 6162384bf7 user: monax tags: stlc | |
|
2025-10-18
| ||
| 13:38 | Got type inference for a simply typed calculus to work, it seems. I am saving this branch for study check-in: 14b3d0d398 user: monax tags: stlc | |
|
2025-10-17
| ||
| 00:00 | Add SourceInfo to the AST for case expressions so inexhaustive pattern errors at least tell you where in the source code it came from. Leaf check-in: 8986458196 user: monax tags: trunk | |
|
2025-10-16
| ||
| 00:38 | merge check-in: 455082294c user: monax tags: trunk | |
| 00:38 | Remove tests that are now outside of implementation scope: ones that do not have a normal form. Closed-Leaf check-in: f8ea4827fe user: monax tags: new-ast | |
| 00:32 | remove old files check-in: 2c748215e5 user: monax tags: new-ast | |
| 00:30 | integrate the new modules with the test suite check-in: 4c64e9bf3c user: monax tags: new-ast | |
| 00:06 | Add a small prelude for parity and other changes to support it check-in: b2cbf71828 user: monax tags: new-ast | |
| 00:06 | Update the parser to accept holes as let decl params check-in: 1997fdebf0 user: monax tags: new-ast | |
|
2025-10-13
| ||
| 23:48 | removed calls to dbg check-in: fa385f22a6 user: monax tags: new-ast | |
| 23:45 | parser stuff lolmao check-in: fa203edea0 user: monax tags: new-ast | |
| 23:26 | Added a case expr parser check-in: 29a7da9bdc user: monax tags: new-ast | |
| 22:52 | Built out a bunch of the parser check-in: ebc9d4f2ec user: monax tags: new-ast | |
|
2025-10-12
| ||
| 18:15 | add more stuff check-in: f3647ee7f0 user: monax tags: new-ast | |
|
2025-10-11
| ||
| 16:55 | Added a bunch of stuff who cares check-in: 383d7d6a34 user: monax tags: new-ast | |
|
2025-10-05
| ||
| 18:27 | exports check-in: 8e6e7934bf user: monax tags: new-ast | |
|
2025-10-04
| ||
| 13:19 | Add Case expressions to the AST check-in: 2a15e4a514 user: monax tags: new-ast | |
| 12:31 | add some comments and documentation because I am procrastinating. check-in: 597bd3e6ff user: monax tags: new-ast | |
| 02:24 | Add a literal parser and add Let Definitions to the AST check-in: 251bb705f0 user: monax tags: new-ast | |
|
2025-10-03
| ||
| 12:45 | remove comments from the AST check-in: 8edb770176 user: monax tags: new-ast | |
| 12:31 | Making a new AST. I had thought about adding comments to the AST so I could print them but I changed my mind again. check-in: 505c0d0293 user: monax tags: new-ast | |
|
2025-09-22
| ||
| 22:48 | merge check-in: 2cf76b267b user: monax tags: trunk | |
| 01:51 | more primitive functinos Closed-Leaf check-in: 70c6fdbbdd user: monax tags: nbe | |
|
2025-09-19
| ||
| 14:32 | Add some primitive functions check-in: 1e6c8b3ab8 user: monax tags: nbe | |
|
2025-09-17
| ||
| 00:05 | merge check-in: d37f8bf5b8 user: monax tags: nbe | |
| 00:05 | make the exe work Closed-Leaf check-in: ec29402895 user: monax tags: infix-operators | |
| 00:03 | make tests pass check-in: 81f0832b01 user: monax tags: infix-operators | |
|
2025-09-16
| ||
| 23:22 | merge check-in: 1c7fdfd7a3 user: monax tags: infix-operators | |
| 23:21 | merge Closed-Leaf check-in: fed022b8ee user: monax tags: parser-combinator | |
| 23:20 | merge Closed-Leaf check-in: 7dc7982068 user: monax tags: module-parser | |
| 23:20 | add infix let defs and adjust prec for the pretty printer Closed-Leaf check-in: c4521b52d2 user: monax tags: add-infix-to-syntax | |
| 23:10 | Add InfixApp to the syntax of Expr check-in: acbffbde3f user: monax tags: add-infix-to-syntax | |
| 22:40 | harden the parser a bit check-in: 458f3f494b user: monax tags: module-parser | |
| 22:40 | some prim functions for fun check-in: 9d88e83cf6 user: monax tags: module-parser | |
|
2025-09-14
| ||
| 22:23 | get tests to compile check-in: 6112ae2488 user: monax tags: module-parser | |