| Commit message (Collapse) | Author | Age | Files | Lines |
| | |
|
| |
|
|
|
| |
It now uses a string writer to also fill in for
middle.ty.ast_ty_to_str
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
variants. Add a test case for this.
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
programmer. size-and-align.rs typechecks now.
|
| |
|
|
| |
as patterns need different logic
|
| | |
|
| |
|
|
| |
well
|
| |
|
|
| |
variables in them
|
| |
|
|
| |
rec-extend.rs.
|
| |
|
|
| |
test cases fail.
|
| |
|
|
| |
trying to deduce them itself. Un-XFAIL generic-fn-twice.rs.
|
| | |
|
| | |
|
| |
|
|
| |
This reverts commit 55c80e763bfd850682b3217fcfc5cdb516eafae0.
|
| |
|
|
| |
in each "translation unit".
|
| | |
|
| |
|
|
| |
typechecker's AST annotation
|
| |
|
|
| |
supplied type parameter instantiations explicitly
|
| | |
|
| |
|
|
| |
in the typechecker
|
| |
|
|
| |
get unused type params working
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
Still getting the thunk call wrong.
|
| |
|
|
| |
tag types. Un-XFAIL generic-recursive-tag.rs.
|
| |
|
|
| |
Un-XFAIL list.rs.
|
| |
|
|
| |
integral-indexing.rs.
|
| | |
|
| |
|
|
| |
paths. Add generic-box test.
|
| |
|
|
|
| |
Adds a -pp option to the compiler which will cause it to simply
pretty-print the given file.
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
none-exhaustive match.
|
| | |
|
| | |
|
| | |
|
| | |
|