| Commit message (Collapse) | Author | Age | Files | Lines |
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
vtbl-dispatch. Add testcase and XFAIL it on LLVM. Closes #112.
|
| | |
|
| |
|
|
| |
communication. Channels now buffer on the sending side, and no longer require blocking when sending. Lots of other refactoring and bug fixes.
|
| |
|
|
| |
attempted in issue #115, downgrade bug to an err in type.ml so you get a better message.
|
| |
|
|
| |
no such feature in the language at present. Add test to prevent regression. Closes #114.
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
and add a testcase.
|
| |\ |
|
| | | |
|
| | |
| |
| |
| | |
issue #109.
|
| | | |
|
| |/ |
|
| | |
|
| | |
|
| |
|
|
|
| |
implemented. This could actually replace .(a,b) syntax if the language grows
optional function parameters.
|
| | |
|
| |\ |
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| |/ |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
thorough test revealed more bugs.
|
| | |
|
| | |
|
| | |
|
| |\
| |
| |
| | |
exterior_and_mutable_types
|
| | |
| |
| |
| | |
lose their type parameters over the course of the typechecking pass.
|
| | |
| |
| |
| | |
original XFAIL is more generally that of issue #92.
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| | |
| |
| |
| | |
arg-boxing.
|
| | |
| |
| |
| | |
keep MEM_interior for describing interior-parts-of-allocations)
|
| | | |
|
| |/ |
|
| |
|
|
| |
type-param type. XFAIL the test since it no longer passes.
|