Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2024-12-21
| ||
| 01:22 | IrBuilder: use a slice instead of a vec as input Leaf check-in: cbc05cac14 user: lac tags: trunk | |
| 01:20 | Implement IrBuilder to easily wire up a linear series of IR instructions using a stack language format check-in: 77522f8919 user: lac tags: trunk | |
|
2024-12-19
| ||
| 23:31 | Remove stray white space (very important) check-in: 67dcf589d8 user: lac tags: trunk | |
| 23:29 | Use macros to define IR intstructions and terminators so we can auto generate some things later check-in: d57afcd9fe user: lac tags: trunk | |
|
2024-12-13
| ||
| 22:39 | Trigger IR generation in EvalBuilder and when committing a computable value check-in: f54e615a5b user: lac tags: trunk | |
| 21:24 | clean up check-in: 9998050020 user: lac tags: trunk | |
| 21:22 | Add default implementation for # check-in: 69ac8809b5 user: lac tags: trunk | |
| 21:20 | Implement # operator check-in: d4bd363fb6 user: lac tags: trunk | |
| 00:51 | Remove stray temporary debug log check-in: 2199adb96e user: lac tags: trunk | |
| 00:24 |
| |
|
2024-12-12
| ||
| 00:57 |
| |
|
2024-12-11
| ||
| 00:08 | Started implementing the IR and the compile-time interpreter check-in: 8961b6e20b user: lac tags: trunk | |
|
2024-12-10
| ||
| 01:02 | Cleanup check-in: 3eb338909d user: lac tags: trunk | |
|
2024-12-09
| ||
| 23:37 | Macro and function overloads can now coexist inside of the same polymorphic function. Can now compile and execute a call to a builtin macro check-in: d4b187a64d user: lac tags: trunk | |
|
2024-12-08
| ||
| 21:48 | Macro func: don't call the macro directly from the coercion rule, instead attach a callback to the value to do it after the best coersion solution has been picked check-in: be19d04e9a user: lac tags: trunk | |
|
2024-12-07
| ||
| 19:58 | Cleanup check-in: 152fceb768 user: lac tags: trunk | |
| 19:51 | Change the way calls work: the call rule now "stages" the call by producing a value describing the call, and a coercion rule then turns this call into an "actual" value check-in: 816f333b8e user: lac tags: trunk | |
|
2024-12-06
| ||
| 19:07 | put return type constraint back in call rules, because generic functions will need it actually 🤡 check-in: 8f3bff740e user: lac tags: trunk | |
| 00:23 | Partially implemented function call parsing check-in: 6a3c6479a8 user: lac tags: trunk | |
|
2024-12-05
| ||
| 22:18 | Remove the return value type constraint from call rules, this will be done elsewhere check-in: 3f47b91567 user: lac tags: trunk | |
|
2024-12-04
| ||
| 19:55 | Implemented parenthese block parsing (to build closed tuples) check-in: b0d9c220e3 user: lac tags: trunk | |
| 01:34 |
| |
|
2024-12-02
| ||
| 19:55 | Parser: implement helpers to construct operator parsing rules check-in: f576793dff user: lac tags: trunk | |
|
2024-12-01
| ||
| 18:15 | Implement the "commit_value" builtin polymorphic macro and some missing type checking rule for it to work. check-in: 2dc9915b2b user: lac tags: trunk | |
|
2024-11-30
| ||
| 14:49 | Macros: improve the syntax for builtin func declarations and to make the distinction between macro funcs and intrinsic funcs explicit everywhere. check-in: cc8dd1056c user: lac tags: trunk | |
|
2024-11-28
| ||
| 21:55 | Update deps check-in: 691af17565 user: lac tags: trunk | |
| 21:53 | Reorganize macro files check-in: e83f68b77e user: lac tags: trunk | |
|
2024-11-27
| ||
| 19:40 | Implemented a macro to generate a wrapper function to call a polymorphic cheeky function from rust check-in: a73b5303a8 user: lac tags: trunk | |
|
2024-11-26
| ||
| 19:07 | Builtin func rust macros: generate signature, args conversion and return type conversion (and also call the damn func) check-in: 01e2a02995 user: lac tags: trunk | |
|
2024-11-24
| ||
| 15:05 | Builinc func rust macros: register overload wrappers check-in: f883e803a5 user: lac tags: trunk | |
| 11:37 | Builinc func rust macros: create and register polymorphic functions check-in: f21a409c15 user: lac tags: trunk | |
|
2024-11-21
| ||
| 21:45 | Begin implementing the builtin func rust macros 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 | |