Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2026-02-21
| ||
| 15:18 | Update function declaration syntax to accept patterns Leaf check-in: bdb8b7ed22 user: monax tags: improved-function-syntax | |
| 15:07 | revert changes I made to the lexer accidentally Leaf check-in: 74c2937bdf user: monax tags: pt-to-ast | |
| 15:04 | Add more stuff to the renamer, the only thing technically left is organizing module exports check-in: cc33107ef9 user: monax tags: pt-to-ast | |
|
2026-02-14
| ||
| 15:36 | Implement renaming of expressions and patterns check-in: 49c74edaa1 user: monax tags: pt-to-ast | |
| 00:23 | re-implement the type renamer and add some convenience classes n stuff check-in: ba9b6ea4f2 user: monax tags: pt-to-ast | |
|
2026-02-12
| ||
| 01:32 | did a rename for function declarations but I am gonna redo everything kthxbye check-in: 612c1c945e user: monax tags: pt-to-ast | |
|
2026-02-11
| ||
| 01:40 | Implement the renaming thingy for expressions check-in: 3f4e005bd2 user: monax tags: pt-to-ast | |
| 00:54 | Add a renaming implementation for patterns check-in: 6d2807d622 user: monax tags: pt-to-ast | |
|
2026-02-10
| ||
| 03:42 | Implement type renaming and ordering, add a parser for parsing type expressions to aid in debugging check-in: d2052404e7 user: monax tags: pt-to-ast | |
|
2026-02-07
| ||
| 16:25 | Building out some skeleton code in the renamer check-in: 29fb6234ff user: monax tags: pt-to-ast | |
| 14:10 | Update grammar and restructure some stuff check-in: 504596140c user: monax tags: pt-to-ast | |
|
2026-02-04
| ||
| 00:25 | Remove the absolute position int from PosInfo check-in: 24d8401ec4 user: monax tags: pt-to-ast | |
| 00:02 | updated grammar and added some modules for effects and to define the basic AST which will be extended a la trees that grow check-in: 8075b39030 user: monax tags: pt-to-ast | |
|
2026-01-26
| ||
| 18:51 | update grammar check-in: 4f0c8657fa user: monax tags: pt-to-ast | |
| 17:38 | Made some improvements and fixed a bug in the Ord instance for QualifiedPT check-in: 1597626db2 user: monax tags: pt-to-ast | |
| 14:46 | Add a module for the DependencyGraph type since it will be used by lots of different processes check-in: a45796c523 user: monax tags: pt-to-ast | |
| 14:28 | merge current work Leaf check-in: a695d5be3e user: monax tags: rewrite-trunk | |
| 14:27 | rename a file and write a simple module for supporting unification later Closed-Leaf check-in: a3322b6d99 user: monax tags: pt-to-ast | |
|
2026-01-25
| ||
| 17:58 | Create an AST module which so far has functions to parse files and produce a dependency graph of modules among other stuff check-in: 1ee6845be3 user: monax tags: pt-to-ast | |
| 01:07 | Remove old code Closed-Leaf check-in: de2f378781 user: monax tags: simplify-parse-tree | |
| 01:04 | expression and pattern parsers check-in: a753223285 user: monax tags: simplify-parse-tree | |
| 00:08 | infix type constructors and stuff check-in: 0b3bc091fb user: monax tags: simplify-parse-tree | |
|
2026-01-24
| ||
| 23:02 | Parsers for type expressions check-in: 69a5f599bf user: monax tags: simplify-parse-tree | |
| 19:07 | Parsers for fixity declarations check-in: 13789754af user: monax tags: simplify-parse-tree | |
| 18:47 | Write parsers for module declarations including imports and exports check-in: da83dd3fa2 user: monax tags: simplify-parse-tree | |
| 17:47 | Rewrite parse tree check-in: 707645b30f user: monax tags: simplify-parse-tree | |
|
2026-01-17
| ||
| 19:05 | It's too complicated so I am removing some of the token types and replacing them with "identifiers" and "operators" check-in: 643ed5117a user: monax tags: simplify-parse-tree | |
|
2026-01-15
| ||
| 21:42 | *some* module export syntax Closed-Leaf check-in: 34611d034e user: monax tags: completing_parse_tree | |
|
2026-01-13
| ||
| 23:56 | Adding some parser rules for infix declarations of data types and their constructors and added explicitly typed variables on the lhs of a quantifier check-in: aa987e3367 user: monax tags: completing_parse_tree | |
|
2026-01-12
| ||
| 23:52 | Add module for position info and generic class for retrieving posinfo from certain data types check-in: f955b8544f user: monax tags: completing_parse_tree | |
|
2026-01-10
| ||
| 19:34 | (no comment) 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 | |