..
context
Update generalize.rs
2023-02-20 21:44:01 +09:00
error
chore(compiler): improve import error messages
2023-02-14 22:58:02 +09:00
lib
fix(typechecker): quantified types unifying
2023-02-19 02:00:54 +09:00
module
feat(els): support d.er
renaming
2023-02-14 19:59:43 +09:00
tests
Rename dir: compiler
-> crates
2023-01-15 12:03:19 +09:00
ty
fix: type quantification bugs
2023-02-20 20:38:36 +09:00
.gitignore
Rename dir: compiler
-> crates
2023-01-15 12:03:19 +09:00
artifact.rs
feat(els): add case-change action
2023-02-11 14:20:15 +09:00
build.rs
Rename dir: compiler
-> crates
2023-01-15 12:03:19 +09:00
build_hir.rs
fix(compiler): issue with warns about other files
2023-02-13 12:26:15 +09:00
Cargo.toml
update: feature flag
2023-02-02 14:38:09 +09:00
codegen.rs
feat(els): display type bounds as inlay hints
2023-02-19 02:39:03 +09:00
compile.rs
refactor: duplicate codes are put together
2023-02-04 22:07:12 +09:00
declare.rs
fix: heterogenous array specifying
2023-02-20 00:08:35 +09:00
desugar_hir.rs
Rename dir: compiler
-> crates
2023-01-15 12:03:19 +09:00
effectcheck.rs
Update effectcheck.rs
2023-02-12 18:05:32 +09:00
hir.rs
fix: heterogenous array specifying
2023-02-20 00:08:35 +09:00
lib.rs
WIP
2023-02-06 17:04:12 +09:00
link.rs
perf: reduce performing of .loc()
2023-02-15 03:27:08 +09:00
lint.rs
perf: delaying execution of .loc()
2023-02-15 01:08:49 +09:00
lower.rs
fix: type quantification bugs
2023-02-20 20:38:36 +09:00
main.rs
fix #321
2023-01-25 00:11:48 +09:00
optimize.rs
Rename dir: compiler
-> crates
2023-01-15 12:03:19 +09:00
ownercheck.rs
perf: reduce performing of .loc()
2023-02-15 03:27:08 +09:00
README.md
Rename dir: compiler
-> crates
2023-01-15 12:03:19 +09:00
reorder.rs
fix: method decls visibility bug
2023-02-17 01:51:11 +09:00
transpile.rs
fix(compiler): runtime type matching system
2023-02-12 01:34:12 +09:00
varinfo.rs
feat(els): support module renaming
2023-02-14 16:23:45 +09:00