| Commit message (Collapse) | Author | Age | Files | Lines |
| ... | |
| |
|
|
| |
f02f9cbf29c2fdc28baeaa5a25671d9be29d6eab. Closes #91.
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
fix in typestate system.
|
| | |
|
| |
|
|
| |
structures, without leaking.
|
| |
|
|
| |
runtime. Closes #109.
|
| |
|
|
| |
actually initialize. Should probably rename them to MAKE. Anyway, WIP, but two steps forward (and one back). More later.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
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.
|