| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Modified parser to handle alt type andadded a few tests | Or Brostovski | 2010-08-21 | 1 | -0/+6 | |
| | | | | | | | | | | | | | ast.ml - modified arm types for easier polymorphism - fixed a bug in fmt_type_arm dead.ml - modified arm types for easier polymorphism common.ml - added 'either' - added some useful auxiliary functions item.ml - modified arm code to be more polymorphic and handle both alt-tag and alt-type, also fixed the problematic case in bad-alt.rs Makefile - added XFAIL for new alt-type test bad-alt.rs - added test for invalid alt syntax alt-type-simple.rs - added simple test for alt type | |||||
| * | Fix some naughtiness of handling newlines in bracequotes and multi-line ↵ | Graydon Hoare | 2010-08-03 | 1 | -0/+10 | |
| | | | | | comments. Closes #142. | |||||
| * | Improve mutability checking. Closes #118. | Graydon Hoare | 2010-07-23 | 5 | -1/+24 | |
| | | ||||||
| * | Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus ↵ | Graydon Hoare | 2010-07-23 | 1 | -0/+10 | |
| | | | | | fix in typestate system. | |||||
| * | Add a test for an obvious-seeming (but not actually legal) kind of cast ↵ | Graydon Hoare | 2010-07-19 | 1 | -0/+13 | |
| | | | | | attempted in issue #115, downgrade bug to an err in type.ml so you get a better message. | |||||
| * | Fix over-optimistic resolution of self-methods within obj scopes. There is ↵ | Graydon Hoare | 2010-07-19 | 1 | -0/+11 | |
| | | | | | no such feature in the language at present. Add test to prevent regression. Closes #114. | |||||
| * | Missing semicolon in type.ml, plus test to catch regression. Closes #113. | Graydon Hoare | 2010-07-19 | 1 | -0/+7 | |
| | | ||||||
| * | Ensure that functions that should return a value do; issue 41 | Patrick Walton | 2010-07-16 | 2 | -0/+10 | |
| | | ||||||
| * | Implement the "simple typechecker", which avoids HM inference | Patrick Walton | 2010-07-15 | 1 | -2/+2 | |
| | | ||||||
| * | Remove log-type-error; everything is loggable. | Patrick Walton | 2010-07-15 | 1 | -6/+0 | |
| | | ||||||
| * | Fix ret/put mis-identification in typechecker. Closes #87. | Graydon Hoare | 2010-07-14 | 1 | -0/+8 | |
| | | ||||||
| * | Catch cyclic imports harder. Add 2 tests to confirm. | Graydon Hoare | 2010-07-09 | 2 | -0/+20 | |
| | | ||||||
| * | Issue 66: Multi-line comments | Matt Brubeck | 2010-07-08 | 1 | -0/+9 | |
| | | ||||||
| * | Some more typestate tests. | Graydon Hoare | 2010-07-08 | 3 | -4/+28 | |
| | | ||||||
| * | Numerous bug fixes to typestate algorithm. | Graydon Hoare | 2010-07-06 | 1 | -0/+14 | |
| | | ||||||
| * | Fix compile-fail/log-type-error.rs. | Graydon Hoare | 2010-07-04 | 1 | -1/+1 | |
| | | ||||||
| * | Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵ | Graydon Hoare | 2010-06-27 | 1 | -1/+1 | |
| | | | | | instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13. | |||||
| * | Add testcases for item name conflict at the same path level. | Roy Frostig | 2010-06-25 | 1 | -0/+8 | |
| | | ||||||
| * | A couple new tests for broken parts of the typechecker, XFAILed. | Graydon Hoare | 2010-06-24 | 2 | -0/+10 | |
| | | ||||||
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 35 | -0/+358 | |