..
context
fix: fast-value codegen bug
2023-10-15 23:29:49 +09:00
error
chore: VarInfo.impl_of: Option<Type> -> ctx: ContextKind
2023-10-15 17:41:22 +09:00
lib
feat: add tomllib
module
2023-10-16 13:31:05 +09:00
module
fix: module cache bug
2023-10-11 03:59:11 +09:00
tests
chore: avoid type var recursion
2023-10-12 16:12:10 +09:00
ty
chore: VarInfo.impl_of: Option<Type> -> ctx: ContextKind
2023-10-15 17:41:22 +09:00
.gitignore
Rename dir: compiler
-> crates
2023-01-15 12:03:19 +09:00
artifact.rs
chore: add parameter Builder
to PackageBuilder
2023-10-11 11:46:23 +09:00
build.rs
Rename dir: compiler
-> crates
2023-01-15 12:03:19 +09:00
build_hir.rs
chore: add parameter Builder
to PackageBuilder
2023-10-11 11:46:23 +09:00
build_package.rs
feat: add unsound
module
2023-10-15 11:51:27 +09:00
Cargo.toml
Merge branch 'main' into rwlock
2023-06-10 17:45:08 +09:00
codegen.rs
fix: fast-value codegen bug
2023-10-15 23:29:49 +09:00
compile.rs
refactor: Planner -> PackageBuilder
2023-10-08 14:06:42 +09:00
declare.rs
chore: VarInfo.impl_of: Option<Type> -> ctx: ContextKind
2023-10-15 17:41:22 +09:00
desugar_hir.rs
fix: desugar_hir
bug
2023-06-17 13:58:51 +09:00
effectcheck.rs
fix: relax side effect check
2023-10-14 11:06:36 +09:00
hir.rs
feat: add unsound
module
2023-10-15 11:51:27 +09:00
lib.rs
refactor: Planner -> PackageBuilder
2023-10-08 14:06:42 +09:00
link_ast.rs
chore: eliminate clippy warns
2023-08-24 23:38:27 +09:00
link_hir.rs
feat: add unsound
module
2023-10-15 11:51:27 +09:00
lint.rs
fix(els): use NormalizedPathBuf
for AbsLocation
2023-09-13 23:26:05 +09:00
lower.rs
fix: fast-value codegen bug
2023-10-15 23:29:49 +09:00
main.rs
chore: add parameter Parser
to PackageBuilder
2023-10-11 12:21:48 +09:00
optimize.rs
fix: discarded variable bug
2023-08-14 21:45:40 +09:00
ownercheck.rs
feat: add [x; _]
literal
2023-10-02 20:49:21 +09:00
README.md
Rename dir: compiler
-> crates
2023-01-15 12:03:19 +09:00
transpile.rs
Update transpile.rs
2023-10-14 00:54:00 +09:00
varinfo.rs
fix: fast-value codegen bug
2023-10-15 23:29:49 +09:00