| Age | Commit message (Collapse) | Author | Lines |
|
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
|
|
|
|
|
|
|
|
|
|
arg-boxing.
|
|
keep MEM_interior for describing interior-parts-of-allocations)
|
|
|
|
|
|
lose their type parameters over the course of the typechecking pass.
|
|
original XFAIL is more generally that of issue #92.
|
|
type-param type. XFAIL the test since it no longer passes.
|
|
|
|
|
|
instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13.
|
|
(still not quite working; some memory corruption in the recursive tag constructors, not the GC)
|
|
effect-walker bug revealed by it.
|
|
|
|
way more correctness.
|
|
|