Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
33 check-ins using file bs/builtins/types/func/invoke.cpp version edcdb9a215
|
2021-10-01
| ||
| 19:20 |
| |
|
2021-09-30
| ||
| 23:37 | Fixed a couple of bugs, but the linux version is broken for now (due to language bugs that can't be worked around and need to be fixed) check-in: 24415e41e4 user: zlodo tags: trunk | |
| 22:07 | Correctly generate and link executables on darwin check-in: 5f6197d1a0 user: zlodo tags: trunk | |
| 19:14 | Added a builtin g0 variable that exposes the name of the target OS, just to be able to quickly hack around some rudimentary mac support check-in: ec5428614c user: zlodo tags: trunk | |
|
2021-09-29
| ||
| 22:59 | Fixes for wsl build check-in: 886e9f72c4 user: zlodo tags: trunk | |
| 22:07 |
| |
|
2021-09-28
| ||
| 17:59 | Fix functions and template functions not getting compiled with visibility over their original enclosing scope, but over the current scope at the point of invocation instead check-in: 39c8a653da user: achavasse tags: trunk | |
|
2021-09-26
| ||
| 23:25 | Fixed template bugs with parametric types check-in: 097569fdd6 user: achavasse tags: trunk | |
| 21:11 | TDecl: instead of directly storing the type signature (and forgetting all about the nested TExprs), we store the TExpr and generate the signature during typechecking check-in: 00408e8723 user: achavasse tags: trunk | |
| 19:47 |
| |
| 17:00 | g0 api: added a function to retrieve the CFG from a code builder check-in: e1194caa9e user: achavasse tags: trunk | |
| 16:16 | g0 api: removed the old codegen module wrapper, use TypeWrapper instead check-in: ded246dccd user: achavasse tags: trunk | |
| 14:17 | Intrinsics: expose the current code builder as an implicit parameter check-in: 60a2f901d5 user: achavasse tags: trunk | |
| 13:03 | Integrated mimalloc check-in: 8398bd36c2 user: achavasse tags: trunk | |
| 12:00 |
| |
|
2021-09-25
| ||
| 15:53 | eir: implemented OrPattern term check-in: 6b3eee40c4 user: achavasse tags: trunk | |
|
2021-09-24
| ||
| 19:11 | Overload resolution: cache which overload was selected for a given argument tuple check-in: 7bb051b826 user: achavasse tags: trunk | |
|
2021-09-23
| ||
| 21:42 | Got rid of trie versus trie matching, again. The clown show goes on check-in: ad0b20f57d user: achavasse tags: trunk | |
|
2021-09-22
| ||
| 20:25 | Removed the gross use of std::any from the type checking trie, also fixed some horribly wrong type error that got hidden by the std::any and happened to miraculously work anyway check-in: fabfc6df97 user: achavasse tags: trunk | |
|
2021-09-21
| ||
| 22:43 | Resurrected and updated trie versus trie matching that was removed [e9ee5d4728e2b2807b761d67820df11dcfbcdbaea2742828ac9ec8f8d3372e3e|a long time ago] to attempt an overload resolution optimization check-in: 626dafb38e user: achavasse tags: trunk | |
| 18:48 | eir: remove the function to match a single eir against another eir, which was never actually used check-in: dbf5bbf612 user: achavasse tags: trunk | |
|
2021-09-20
| ||
| 23:23 | Integrated the Tracy profiling client and added some profiling instrumentation check-in: b846dfa2fb user: achavasse tags: trunk | |
|
2021-09-19
| ||
| 23:35 | Fixed various bugs encountered while trying to override an extension point in the prelude check-in: 89c0616e71 user: achavasse tags: trunk | |
| 20:18 | Implemented "Implies" and "PHOverride" verification-specific CIR instructions check-in: 56ae4179a9 user: achavasse tags: trunk | |
| 19:30 | g0 api: ReferenceType and retrieving type predicates check-in: 78e91a4545 user: achavasse tags: trunk | |
| 16:06 | Began implementing the prelude, which now sets up the g1 namespace, hiding all the internal builtins and APIs from user code. check-in: 15fd7eba11 user: achavasse tags: trunk | |
| 14:42 | g0 api: #CompileFileToFunction takes the identity to use as root as parameter check-in: dd5e98c20d user: achavasse tags: trunk | |
| 14:23 | g0 api: Env check-in: 0da72aac62 user: achavasse tags: trunk | |
| 13:59 | g0 api: diagnostics check-in: 5ccfe91819 user: achavasse tags: trunk | |
| 11:20 | g0 api: CIR: CFG check-in: bdfee6615a user: achavasse tags: trunk | |
| 10:30 | g0 api: CIR: BasicBlock check-in: b96622b654 user: achavasse tags: trunk | |
|
2021-09-18
| ||
| 18:43 | g0 api: more work on the CIR api check-in: 447824df93 user: achavasse tags: trunk | |
| 17:00 |
| |