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 |
|