alpha
Login
or
Join now
ronshavit.com
/
jin
Star
1
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
An experiment in static, refcounted, procedural language with ownership
Star
1
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Overview
Issues
Pulls
Pipelines
jin
/
compiler_typeck
/
src
/
at
master
1 folder
21 files
r0nsha
diagnostic: drop hook cannot be specialized
2y ago
9516afc9
late
support consts in pmatch
2 years ago
attrs.rs
diagnostic: drop hook cannot be specialized
2 years ago
builtins.rs
Bring `:` and `unit` back This reverts commit 360dc6b1c06732e0a29ec96e90a79c3105ce7d9d. Revert 1 commits c1a8fcb 'replace `unit` type with `{}`'
2 years ago
coerce.rs
AnyToNever
2 years ago
define.rs
add `DefKind::Const`
2 years ago
errors.rs
ty_param -> tparam
2 years ago
exprs.rs
remove explicit `()` literal
2 years ago
fns.rs
explicit named parameters with ~
2 years ago
helpers.rs
pass LetKind to hir
2 years ago
hooks.rs
diagnostic: drop hook cannot be specialized
2 years ago
imports.rs
fix
2 years ago
items.rs
change `destroy` to `drop`
2 years ago
late.rs
move typeck to compiler_typeck
2 years ago
lib.rs
remove GlobalKind::Const
2 years ago
lookup.rs
cleanup: ty_args -> targs
2 years ago
normalize.rs
move typeck to compiler_typeck
2 years ago
ns.rs
define `ptr[T]` as a builtin type
2 years ago
pmatch.rs
done: pmatch const checks
2 years ago
subst.rs
remove spacing
2 years ago
tyexpr.rs
remove TyExpr::Unit
2 years ago
types.rs
support consts in pmatch
2 years ago
unify.rs
fix missing char things
2 years ago