..
context
feat: support and/or guard type
2023-10-31 13:47:42 +09:00
error
chore: let HIRBuilder/ASTLowerer
be generic
2023-11-03 03:03:11 +09:00
lib
feat: support refinement class
2023-10-31 02:23:50 +09:00
module
fix: module cache bug
2023-10-11 03:59:11 +09:00
tests
fix: forward-referenced method inference bug
2023-10-29 21:24:40 +09:00
ty
feat: support inherited refinement types
2023-10-31 12:24:41 +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: let HIRBuilder/ASTLowerer
be generic
2023-11-03 03:03:11 +09:00
build_package.rs
chore: let HIRBuilder/ASTLowerer
be generic
2023-11-03 03:03:11 +09:00
Cargo.toml
Merge branch 'main' into rwlock
2023-06-10 17:45:08 +09:00
codegen.rs
feat: support inherited refinement types
2023-10-31 12:24:41 +09:00
compile.rs
refactor: Planner -> PackageBuilder
2023-10-08 14:06:42 +09:00
declare.rs
chore: let HIRBuilder/ASTLowerer
be generic
2023-11-03 03:03:11 +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: support inherited refinement types
2023-10-31 12:24:41 +09:00
lib.rs
chore: let HIRBuilder/ASTLowerer
be generic
2023-11-03 03:03:11 +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
chore: let HIRBuilder/ASTLowerer
be generic
2023-11-03 03:03:11 +09:00
lower.rs
chore: let HIRBuilder/ASTLowerer
be generic
2023-11-03 03:03:11 +09:00
main.rs
chore: let HIRBuilder/ASTLowerer
be generic
2023-11-03 03:03:11 +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
fix: python script backend bugs
2023-11-01 18:10:01 +09:00
varinfo.rs
fix: closure codegen bug
2023-10-20 12:26:57 +09:00