Graydon Hoare
1e22a55ff2
Code sketch and comment notes on textual crate signatures.
2010-11-03 09:50:25 -07:00
Graydon Hoare
5f2459145c
Add -lpath mechanism for logging only a subset of a pass (by module-path prefix)
2010-10-08 14:54:51 -07:00
Graydon Hoare
5c82cb42e7
Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into later stages. Fixes to pexp pretty printer.
2010-09-15 16:10:08 -07:00
Patrick Walton
ffdb5fc858
Initial support for a global crate metadata cache
2010-09-07 16:35:21 -07:00
Graydon Hoare
6e3a77c3a3
Merge remote branch 'tohava/master'
...
Conflicts:
src/boot/fe/ast.ml
2010-08-23 18:19:42 -07:00
Or Brostovski
0830b5bf24
Modified parser to handle alt type andadded a few tests
...
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
2010-08-21 02:41:43 +03:00
Roy Frostig
4e376852e7
Fix max_sz bug that ended up causing us to index incorrectly into a vec of tag types. Add a testcase.
2010-08-12 16:21:08 -07:00
Graydon Hoare
62522def74
Tidy up handling of unimplemented features. These are expected (if undesirable) sorts of error, we should handle better than "backtrace and exit 2".
2010-07-20 13:55:56 -07:00
Jeffrey Yasskin
9d0d350d2c
Make the LLVM compiler crash when it hits a source construct it doesn't know
...
what to do with, rather than silently omitting it from the output.
2010-07-20 02:08:00 +08:00
Patrick Walton
c96f0bf738
Implement the "simple typechecker", which avoids HM inference
2010-07-15 18:27:09 -07:00
Patrick Walton
b172862d21
Add a ty_children function to enumerate the children of any type
2010-07-12 10:40:37 -07:00
Graydon Hoare
e813388df8
Numerous bug fixes to typestate algorithm.
2010-07-06 23:18:29 -07:00
Patrick Walton
667d46bef9
Add an arr_iter2 function to common.ml
2010-07-02 18:02:46 -07:00
Graydon Hoare
329a65530f
Canonicalize hashtables after running them through htab_map. Closes #77 .
2010-06-28 19:24:04 -07:00
Graydon Hoare
5dfe101e51
Revert "Add intrinsic calling convention." Isn't going to work.
...
This reverts commit 72c6c60d80cdfe63af5046a1a98549f0515734f2.
2010-06-25 01:33:00 -07:00
Graydon Hoare
72c6c60d80
Add intrinsic calling convention.
2010-06-24 19:21:40 -07:00
Graydon Hoare
25eb1fd3c9
Add fmt module, move out some common format helpers, add instruction-selection tracing and make selection use queues rather than list refs.
2010-06-24 10:34:47 -07:00
Graydon Hoare
d6b7c96c3e
Populate tree.
2010-06-23 21:03:09 -07:00
