Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
13 check-ins using file bs/builtins/types/runtime/typecheck.cpp version a8f50e3582
|
2021-02-21
| ||
| 17:15 | Improved the #DumpValue debugging intrinsic check-in: cb0fd19317 user: achavasse tags: trunk | |
|
2021-02-19
| ||
| 20:48 | Fix anonymous functions not getting compiled anymore due to an old bug. Added a test for that, since it turns out there weren't any check-in: 22b3b50b4f user: achavasse tags: trunk | |
|
2021-02-18
| ||
| 20:32 | Removed stray debugging profanity. check-in: 8cdafa4fa4 user: achavasse tags: trunk | |
| 19:35 |
Implemented reference initialization, so reference local variables can now be declared, and added a typechecking rule preventing template variables to bind to reference types.
Then fixed a MILLION horrible problems caused by all that. Now almost everything works again. *sobs* check-in: 9b058524b4 user: achavasse tags: trunk | |
|
2021-02-13
| ||
| 21:21 | Hole unification: preserve the flavor term check-in: 9d94af0817 user: achavasse tags: trunk | |
|
2021-02-12
| ||
| 23:57 | Added a "flavor" term to holes to be able to have specific rules for TVar holes and for forwarding holes. Refactored forwarding holes to use this, instead of being represented as compound expressions (which would probably have broken down horribly in some complex type checking scenarios) check-in: 176ee856a6 user: achavasse tags: trunk | |
|
2021-02-11
| ||
| 11:59 | Fixed some long standing meson warnings, enabled more c++ warnings, and fixed them check-in: fbe6ea9f31 user: achavasse tags: trunk | |
|
2021-02-08
| ||
| 12:52 | Implemented forwarding, use it for decl assignments. check-in: 102a2b2fc7 user: achavasse tags: trunk | |
|
2021-02-05
| ||
| 22:58 | Sema: typecheck: try rules in descending scoring order until we find one that yields any result. check-in: aad44e1516 user: achavasse tags: trunk | |
|
2021-02-03
| ||
| 12:52 | Fix llvm passbuilder params to stop inadvertently enabling debug mode due to an api change. check-in: 29f1006d63 user: achavasse tags: trunk | |
|
2021-02-02
| ||
| 20:46 | CIR expressions pretty printing check-in: bcca4c51ba user: achavasse tags: trunk | |
|
2021-02-01
| ||
| 19:26 | Added a rule based system to pretty print EIR expressions in a less horrific way. check-in: 6675f81702 user: achavasse tags: trunk | |
| 12:56 | Correctly handle references to references, plus some code cleaning. check-in: ba909d1a94 user: achavasse tags: trunk | |