context
Raise the priority of traits in method search
2022-10-06 09:16:14 +09:00
.gitignore
Organize crates
2022-08-13 06:38:12 +09:00
build_hir.rs
Add execution test
2022-10-01 01:11:31 +09:00
Cargo.toml
Update version (nightly)
2022-10-06 09:18:16 +09:00
codegen.rs
Fix method type inference for type variables
2022-10-06 00:27:43 +09:00
compile.rs
Add type displaying mode
2022-10-03 13:36:24 +09:00
effectcheck.rs
Update effectcheck.rs
2022-10-04 00:54:52 +09:00
error.rs
Add trait implementation check
2022-10-05 02:10:27 +09:00
hir.rs
Add Del
2022-10-03 21:44:59 +09:00
lib.rs
Fix #174
2022-09-22 21:52:06 +09:00
link.rs
Add Del
2022-10-03 21:44:59 +09:00
lower.rs
Fix subtyping bugs
2022-10-05 11:53:29 +09:00
main.rs
Fix #174
2022-09-22 21:52:06 +09:00
mod_cache.rs
Fix import
to be called from anywhere
2022-09-29 11:48:38 +09:00
optimize.rs
Do cargo fmt
2022-08-13 07:02:07 +09:00
ownercheck.rs
Add procedure assignment check
2022-10-03 23:09:07 +09:00
README.md
Update README.md
2022-09-08 20:56:45 +08:00
varinfo.rs
Fix duplicate method definition bugs
2022-09-09 01:07:34 +09:00