alpha
Login
Join now
ronshavit.com
/
jin
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
An experiment in static, refcounted, procedural language with ownership
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
jin
/
compiler_typeck
/
src
1 folder
·
21 files
at
master
r0nsha
·
diagnostic: drop hook cannot be specialized
·
2y ago
9516afc9
late
Merge pull request #17 from r0nsha/feat/consts
2y ago
attrs.rs
Merge pull request #12 from r0nsha/feat/typealias
2y ago
builtins.rs
Bring `:` and `unit` back
2y ago
coerce.rs
Merge pull request #13 from r0nsha/std/fs
2y ago
define.rs
Merge pull request #17 from r0nsha/feat/consts
2y ago
errors.rs
ty_param -> tparam
2y ago
exprs.rs
Merge pull request #18 from r0nsha/syn/unit-and-ret
2y ago
fns.rs
explicit named parameters with ~
2y ago
helpers.rs
Merge pull request #17 from r0nsha/feat/consts
2y ago
hooks.rs
diagnostic: drop hook cannot be specialized
2y ago
imports.rs
Merge pull request #13 from r0nsha/std/fs
2y ago
items.rs
change `destroy` to `drop`
2y ago
late.rs
Merge pull request #2 from r0nsha/split-crates
2y ago
lib.rs
Merge pull request #17 from r0nsha/feat/consts
2y ago
lookup.rs
cleanup: ty_args -> targs
2y ago
normalize.rs
Merge pull request #2 from r0nsha/split-crates
2y ago
ns.rs
Merge pull request #14 from r0nsha/syn/ptr
2y ago
pmatch.rs
Merge pull request #17 from r0nsha/feat/consts
2y ago
subst.rs
Merge pull request #8 from r0nsha/feat/str-interp
2y ago
tyexpr.rs
remove TyExpr::Unit
2y ago
types.rs
Merge pull request #17 from r0nsha/feat/consts
2y ago
unify.rs
Merge pull request #6 from r0nsha/feat/char-lit
2y ago