Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2026-01-10
| ||
| 19:34 | (no comment) Leaf check-in: da3886fe4e user: monax tags: rewrite-trunk | |
| 19:32 | remove unused module Closed-Leaf check-in: 3e6f56132d user: monax tags: ttg | |
|
2026-01-02
| ||
| 01:43 | Update rotations to change the type better. Has pretty bad performance metrics especially when left associative operators are used but w/e check-in: 3de215a4dc user: monax tags: ttg | |
|
2026-01-01
| ||
| 21:25 | Add parameterized type family to patterns since those have infix too check-in: 35fbab9b51 user: monax tags: ttg | |
| 21:23 | Add a parameterized type family to the type expressions check-in: 041b2d1514 user: monax tags: ttg | |
| 21:12 | adding type parameterization to the parse tree based on Trees That Grow check-in: 91513c94c9 user: monax tags: ttg | |
| 20:47 | adjusted precedence that was causing infix operators with backticks to be parsed with higher precedence than application check-in: 7a8ba49fee user: monax tags: rewrite-trunk | |
|
2025-12-31
| ||
| 20:56 | Write class and instances for rotating infix expressions based on the fixity declarations in the parsed module. check-in: 0745f5ec1c user: monax tags: rewrite-trunk | |
|
2025-12-30
| ||
| 18:37 | Add type annotations to GADT definitions check-in: c7f75a4a34 user: monax tags: rewrite-trunk | |
| 03:43 | Add annotated type parameters to data declarations, annotated type expressions, and adjust function type annotations to allow type expr atoms without parentheses. check-in: c8ea74e684 user: monax tags: rewrite-trunk | |
|
2025-12-27
| ||
| 21:47 | Add type annotations to pattern parse trees check-in: 1cf6d6ccef user: monax tags: rewrite-trunk | |
| 17:50 | Add GADTs and record constructors check-in: 287bdd11e1 user: monax tags: rewrite-trunk | |
|
2025-12-24
| ||
| 17:57 | formatting check-in: 39b76551d9 user: monax tags: rewrite-trunk | |
| 17:54 | Expressions can now be annotated with explicit types check-in: 57c20ba997 user: monax tags: rewrite-trunk | |
| 15:49 | Add StrictData to the parse tree module check-in: 65996cb73f user: monax tags: rewrite-trunk | |
| 15:32 | Add a more in-depth syntax for type expressions and allow type annotations for prefix function declarations check-in: ba6beb10b1 user: monax tags: rewrite-trunk | |
| 14:06 | Use the same function parsing rules in both module-level and let-level declarations check-in: 3bcf161de2 user: monax tags: rewrite-trunk | |
|
2025-12-20
| ||
| 14:43 | move the parse tree into its own module check-in: 17a4312b78 user: monax tags: rewrite-trunk | |
| 14:33 | Added a bunch of modules and parser and tokenizer and stuff check-in: 08ca809311 user: monax tags: rewrite-trunk | |
|
2025-12-08
| ||
| 00:46 | start rewriting check-in: fb3ee436c8 user: monax tags: rewrite-trunk | |
|
2025-12-06
| ||
| 02:26 | remove old parsers and update names Leaf check-in: bf66f1466c user: monax tags: indent-parser | |
| 02:24 | fix tests check-in: 9914ffa606 user: monax tags: indent-parser | |
| 01:37 | write the indent sensitive case expr parser check-in: abb5c73bf0 user: monax tags: indent-parser | |
|
2025-12-05
| ||
| 19:33 | write indentation sensitive parsers for expressions save for case expressions. check-in: d34acc02d7 user: monax tags: indent-parser | |
|
2025-12-03
| ||
| 01:26 | adjusted the data definition pretty printer to not use semicolons and remove debugging parsers check-in: 77ad023fa7 user: monax tags: indent-parser | |
|
2025-12-02
| ||
| 23:41 | refactor some parsers check-in: ba9ebb393e user: monax tags: indent-parser | |
| 21:02 | write an indent sensitive data def parser check-in: 030a9920d1 user: monax tags: indent-parser | |
|
2025-11-16
| ||
| 20:17 | Add a new module for parser primitives so I can use it for the indentation needful 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 | |