Graydon Hoare
|
9138438620
|
Convey auto-deref judgments made in typechecker to trans layer; control the decision in one place.
|
2010-07-01 15:59:29 -07:00 |
|
Graydon Hoare
|
90b36dcd26
|
Correct overzealous bulk-edit to LLVM code.
|
2010-07-01 15:26:00 -07:00 |
|
Graydon Hoare
|
2122b59ea2
|
Some work on teaching trans to differentiate between auto-deref and explicit-deref contexts.
|
2010-07-01 13:20:57 -07:00 |
|
Graydon Hoare
|
ef61c458fa
|
Add more logging to copy/init paths.
|
2010-07-01 11:11:34 -07:00 |
|
Graydon Hoare
|
bb3aad72c4
|
Remove redundant indirection-function.
|
2010-07-01 11:11:07 -07:00 |
|
Graydon Hoare
|
a7016ade65
|
Implement STMT_init_box in trans, clean up some of the semant table-accessors.
|
2010-07-01 10:44:27 -07:00 |
|
Graydon Hoare
|
8acb2cf47d
|
Add STMT_init_box to typestate pass.
|
2010-07-01 10:14:38 -07:00 |
|
Graydon Hoare
|
a61e85ca34
|
Simplify types before analyzing call structure; 2 more tests compile.
|
2010-07-01 10:09:04 -07:00 |
|
Graydon Hoare
|
a0c9d4fe9a
|
Strip out over-aggressive pagination in manual.
|
2010-07-01 09:37:28 -07:00 |
|
Graydon Hoare
|
8bf6ae99f4
|
I lied; ObjC 2.0 did not actually pick up CLU/Sather iterators. They've been dormant since the 90s. Sigh.
|
2010-07-01 09:37:06 -07:00 |
|
Graydon Hoare
|
0bc1ad60ef
|
Union is a more familiar term than sum.
|
2010-07-01 09:36:22 -07:00 |
|
Graydon Hoare
|
cb04275afa
|
Add machine-dependent 'float' type.
|
2010-07-01 09:35:48 -07:00 |
|
Graydon Hoare
|
afc0dc8bfc
|
Fix lexer's definition of numeric literals.
|
2010-07-01 09:03:47 -07:00 |
|
Graydon Hoare
|
3aaff59dba
|
Describe numeric and textual literals better; clean up lexeme descriptions a bit.
|
2010-07-01 09:00:47 -07:00 |
|
Graydon Hoare
|
aa614d5280
|
Modify manual to reflect new box/local terminology and new slot/type roles for box and mutable.
|
2010-07-01 01:13:42 -07:00 |
|
Roy Frostig
|
5a07e98c5d
|
Fix two bugs in tag patterns: 1. Look up the tag constructor function item using lval_item, not lval_to_referent; 2. Correct the form of the name used to query the tag or iso ty_tag when obtaining the corresponding type tuple.
|
2010-07-01 00:09:11 -07:00 |
|
Graydon Hoare
|
6a0b06e562
|
Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; keep MEM_interior for describing interior-parts-of-allocations)
|
2010-06-30 22:45:54 -07:00 |
|
Graydon Hoare
|
8b8186db87
|
No more "transplant" behavior in "let @x = y", gotta box explicitly.
|
2010-06-30 21:17:45 -07:00 |
|
Graydon Hoare
|
e460da3889
|
Auto-deref on lval-ext terms (x.y == x->y, if you like)
|
2010-06-30 21:16:13 -07:00 |
|
Graydon Hoare
|
0b252a96b1
|
De-duplicate code in get_resolved_ty, make recursive, add a case for tup.
|
2010-06-30 21:01:28 -07:00 |
|
Graydon Hoare
|
d2e7c1a5dc
|
Add two move variants of "acceptable mismatches to recover from" when the mut_ok or ext_ok flags are set.
|
2010-06-30 21:00:57 -07:00 |
|
Graydon Hoare
|
edfcd3a723
|
Add relaxed init-context in which we're willing to auto-deref.
|
2010-06-30 21:00:09 -07:00 |
|
Graydon Hoare
|
f6fda46020
|
Add TYSPEC_mutable, merge control-flag for it and auto_deref into unify_ctx structure.
|
2010-06-30 19:45:40 -07:00 |
|
Graydon Hoare
|
cab674447f
|
Make type-cast decisions based on simplified types.
|
2010-06-30 19:30:12 -07:00 |
|
Graydon Hoare
|
4765d1e358
|
Fix another type bug I introduced yesterday; found through wondrous logging technology.
|
2010-06-30 15:26:34 -07:00 |
|
Graydon Hoare
|
335053eb68
|
Improve logging in type.
|
2010-06-30 15:25:24 -07:00 |
|
Graydon Hoare
|
77cf4a880c
|
Pick out error in type due to delightfully clear logging.
|
2010-06-30 15:16:37 -07:00 |
|
Graydon Hoare
|
4cd49c0ab0
|
Improve logging in type.ml, give it indentation and per-statement context.
|
2010-06-30 15:13:29 -07:00 |
|
Graydon Hoare
|
b450838c46
|
Fix recently-broken lval formatter.
|
2010-06-30 15:12:42 -07:00 |
|
Graydon Hoare
|
6c3a2491d8
|
Add support for parsing COMP_deref lval components (*foo).
|
2010-06-30 14:51:36 -07:00 |
|
Graydon Hoare
|
9fb3e128da
|
Fix formatting string.
|
2010-06-30 14:51:03 -07:00 |
|
Graydon Hoare
|
0ac6be85a9
|
Add a COMP_deref to lvals for explicit-derefs, modify typechecker to implicitly deref in only *some* contexts.
|
2010-06-30 12:39:11 -07:00 |
|
Graydon Hoare
|
8e4a10790f
|
rewrite 'mutable &' as '& mutable', corresponding to grammar shift.
|
2010-06-30 02:30:17 -07:00 |
|
Graydon Hoare
|
e828b2a94d
|
Tidy up (I think) a couple typos from patrick's last commit.
|
2010-06-30 01:45:36 -07:00 |
|
Graydon Hoare
|
df0eebcf1e
|
Improve error message.
|
2010-06-30 01:42:40 -07:00 |
|
Graydon Hoare
|
5a8d93c652
|
Remove redundant (and misnamed) function "without_exterior" in trans.
|
2010-06-30 00:58:15 -07:00 |
|
Graydon Hoare
|
d796673c11
|
Reimplement backup scheme for handling lvals not yet resolved by typechecker.
|
2010-06-30 00:57:28 -07:00 |
|
Graydon Hoare
|
8120a59097
|
Init the exterior ty, not the inner ty.
|
2010-06-30 00:56:44 -07:00 |
|
Graydon Hoare
|
6ee16b588d
|
Fix error-message typo.
|
2010-06-30 00:55:53 -07:00 |
|
Graydon Hoare
|
992f344c83
|
Use simplified_ty in effect.
|
2010-06-30 00:55:27 -07:00 |
|
Graydon Hoare
|
7e853457df
|
Move simplified_ty from trans to semant and use it a few places.
|
2010-06-30 00:55:04 -07:00 |
|
Graydon Hoare
|
861423989d
|
Add logging to type and effect.
|
2010-06-30 00:53:33 -07:00 |
|
Graydon Hoare
|
2a1d88ae00
|
Fix exterior formatter.
|
2010-06-30 00:52:52 -07:00 |
|
Graydon Hoare
|
7d076bcaa0
|
Get compiler to the point of building std.rc and rustc.rc.
|
2010-06-30 00:07:37 -07:00 |
|
Graydon Hoare
|
675f90eca3
|
Handle constrained types in type.ml while we're at it.
|
2010-06-30 00:07:05 -07:00 |
|
Graydon Hoare
|
fc1b86e1ca
|
Wrap long lines.
|
2010-06-30 00:06:31 -07:00 |
|
Patrick Walton
|
c2d4c1116f
|
Teach the typechecker about the auto-dereference and auto-promote-to-mutable semantics we're going with
|
2010-06-29 19:56:04 -07:00 |
|
Graydon Hoare
|
f05fc6b9d7
|
Different, not quite correct yet, but I think slightly closer to correct, approach to convincing the typechecker to get along with this new type grammar.
|
2010-06-29 18:25:16 -07:00 |
|
Graydon Hoare
|
2a00a61ef3
|
Thread a 'simplification' flag through unifier, attempt to strip off layers of ignorable types when simplification is permitted.
Gets std.rc through typechecking, but assigns some wrong types to lvals (the simplified types, not the correct ones).
|
2010-06-29 16:46:07 -07:00 |
|
Roy Frostig
|
e692ccfb0c
|
Add (XFAILed) testcase for typechecker issue where fns-in-mods appear to lose their type parameters over the course of the typechecking pass.
|
2010-06-29 16:13:26 -07:00 |
|