Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2024-11-21
| ||
| 21:45 | Begin implementing the builtin func rust macros Leaf check-in: acbf7de021 user: lac tags: trunk | |
|
2024-11-20
| ||
| 18:46 | Bunch of work on builtin macros and polymorphic macros check-in: 5ca826aed8 user: lac tags: trunk | |
|
2024-11-14
| ||
| 19:14 | Call rule system check-in: d93b1b4760 user: lac tags: trunk | |
|
2024-11-13
| ||
| 20:02 | Add tests for and debug SignatureMap check-in: 2ed49a08dd user: lac tags: trunk | |
|
2024-11-09
| ||
| 12:50 | Added missing type checking context guards in SignatureMap, fixed typechecking scoring, some cleanup check-in: b219742aef user: lac tags: trunk | |
|
2024-11-08
| ||
| 22:49 | Factor and clean up a bit of code. check-in: adeb50b590 user: lac tags: trunk | |
| 22:38 |
| |
|
2024-11-07
| ||
| 22:53 | Sequence unification check-in: 01ae8b5c8c user: lac tags: trunk | |
| 20:53 | More work on unification check-in: f7cea2ce1b user: lac tags: trunk | |
| 20:13 |
| |
| 07:39 | Update launch settings check-in: 48a9a8e80c user: lac tags: trunk | |
| 07:14 | Rename project check-in: 497c2e754c user: lac tags: trunk | |
|
2024-11-06
| ||
| 22:41 | Properly handle anonymous holes in identify_holes, fix location propagation when converting holes check-in: d1a080b9d4 user: lac tags: trunk | |
| 21:48 | Type checker: fix registration of symmetrical unification rule check-in: b7c101288e user: lac tags: trunk | |
| 21:41 | Updated dependencies check-in: 060e218076 user: lac tags: trunk | |
| 20:21 | Remove more defunct stuff after removal of Value::is_type check-in: 81226ba3dd user: lac tags: trunk | |
| 20:14 | SignatureMap: add return type check-in: e2cd1a95fa user: lac tags: trunk | |
| 19:42 | Remove Value::is_type, it was only required for the old, clumsy tuple encoding check-in: 22f58dcb61 user: lac tags: trunk | |
| 19:11 | Some initial work on unification check-in: 526eb0aa53 user: lac tags: trunk | |
|
2024-11-03
| ||
| 21:56 | Started setitng up some basic typechecking rules, started some generics stuff check-in: 7fc0d4d835 user: lac tags: trunk | |
| 16:40 | Implemented unification rule system check-in: a732b5a4b7 user: lac tags: trunk | |
| 15:20 | SignatureMap: implemented matching check-in: f2f1ecc181 user: lac tags: trunk | |
|
2024-11-02
| ||
| 23:20 | Began implementing signature map, implemented insertion check-in: 49d1d52e5e user: lac tags: trunk | |
|
2024-11-01
| ||
| 13:30 | Some reorganization and renaming check-in: 668855c1ae user: lac tags: trunk | |
| 12:16 | Type checker: add missing log check-in: c686156129 user: lac tags: trunk | |
| 12:14 | Type checker: implement type_check() check-in: 47f74672fa user: lac tags: trunk | |
| 11:12 | Type checker: implement generate_typecheck_solutions check-in: 0274b61edc user: lac tags: trunk | |
| 00:00 | Some cleanup, began implementing the type checker check-in: b3460d3161 user: lac tags: trunk | |
|
2024-10-31
| ||
| 00:37 | Perser: handle custom infix parsing rules check-in: 8d20d183bd user: lac tags: trunk | |
| 00:09 | Simplify some code check-in: 0b888266d9 user: lac tags: trunk | |
|
2024-10-30
| ||
| 22:02 | Logging: record and display decoded versions of values check-in: d9c85bf1ec user: lac tags: trunk | |
| 20:36 | Log viewer: values can now be displayed either in tree or json form check-in: 0c5e4dce2c user: lac tags: trunk | |
| 19:10 | Log viewer: display values as trees check-in: 12a32c266e user: lac tags: trunk | |
|
2024-10-29
| ||
| 23:43 | Minor code formatting change check-in: 7eddc67bf9 user: lac tags: trunk | |
| 23:38 | Log viewer: fixed a cosmetic issue check-in: aba87e1c12 user: lac tags: trunk | |
| 23:31 | Log viewer: shift+mousewheel navigates through events sharing the location under the mouse, in chronological order check-in: 5280760ca5 user: lac tags: trunk | |
| 20:43 | Log viewer: fix jumping to event when selecting a location that belongs to a value in the file view check-in: 29e277fd5c user: lac tags: trunk | |
| 19:27 | Log viewer: first crude version of value display check-in: ed0456411f user: lac tags: trunk | |
|
2024-10-28
| ||
| 23:27 |
| |
| 20:53 | Parse the input file, fix a parser bug, add some logs check-in: c6eb3f56db user: lac tags: trunk | |
| 20:16 | Parser: turn all tokens into values directly in the resolver check-in: 3aceff9801 user: lac tags: trunk | |
| 19:41 | Parser: handle custom prefix parsing rules check-in: 8f013e0f43 user: lac tags: trunk | |
| 19:19 | Implement Tuple type check-in: 5eded1fd0a user: lac tags: trunk | |
| 18:55 | Get rid if the asinine recursive tuple encoding. Instead we have sequences (with a simple identifier as type) and tuples are built on top of them. check-in: a11054e3e1 user: lac tags: trunk | |
| 00:54 | Parser: handle blocks and literals check-in: da0bc07b56 user: lac tags: trunk | |
|
2024-10-27
| ||
| 22:50 | Begin implementing the parser check-in: 5e75808015 user: lac tags: trunk | |
| 21:39 | Make sure that the resolver will clear its cache if we push a new token slice check-in: a0d69c1dbe user: lac tags: trunk | |
| 21:28 | Resolver: copy over token location into identifier value check-in: 0a273c0f2c user: lac tags: trunk | |
| 21:19 | Parser: implemented the resolver check-in: 6f7e19a7e1 user: lac tags: trunk | |
|
2024-10-26
| ||
| 22:46 | Env: implemented make_visible() check-in: c4bac0e749 user: lac tags: trunk | |