mirrors/janet
1
0
Fork 0
mirror of https://github.com/janet-lang/janet synced 2024-06-23 13:43:16 +00:00
Code Issues 1 Releases Wiki Activity

Stub out type inference pass.

Browse Source
This commit is contained in:
Calvin Rose 2023-08-16 14:09:25 -05:00
parent fdbf4f2666
commit 46bda4e6fa
1 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/core/sysir.c
View File

@ -31,6 +31,7 @@
* [ ] named fields (for debugging mostly)
* [x] named registers and types
* [x] better type errors (perhaps mostly for compiler debugging - full type system goes on top)
* [ ] support for switch-case
* [ ] x86/x64 machine code target
* [ ] target specific extensions - custom instructions and custom primitives
* [ ] better casting semantics
@ -928,7 +929,21 @@ static JanetString rname(JanetSysIR *sysir, uint32_t regid) {
static void janet_sysir_type_check(JanetSysIR *sysir) {
/* TODO - type inference */
/* Simple forward type inference */
int forward_progress;
do {
forward_progress = 0;
for (uint32_t i = 0; i < sysir->instruction_count; i++) {
JanetSysInstruction instruction = sysir->instructions[i];
switch (instruction.opcode) {
default:
break;
case JANET_SYSOP_MOVE:
tcheck_equal(sysir, instruction.two.dest, instruction.two.src);
break;
}
}
} while (forward_progress);
/* Assert no unknown types */
for (uint32_t i = 0; i < sysir->register_count; i++) {