149 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Roy Frostig	2683ae64bf	Remove nameless node causing errors on doc make.	2010-07-02 10:09:58 -07:00
Graydon Hoare	a7665b2ae1	Correct drop-ty path; many tests now run.	2010-07-02 09:46:27 -07:00
Graydon Hoare	d9037af22d	Improve drop-path logging and simplify box_rc_cell.	2010-07-02 09:45:24 -07:00
Graydon Hoare	b2692ef2ec	Actually link GC allocations onto the gc_alloc_chain, der.	2010-07-02 08:17:41 -07:00
Graydon Hoare	c7ef0ded81	Improve logging on upcall_malloc.	2010-07-02 08:17:09 -07:00
Graydon Hoare	c33a522097	Handle DW_FORM_blcok4 in runtime dwarf reader, which we started emitting a while ago.	2010-07-02 08:16:34 -07:00
Graydon Hoare	113c31a26d	Trap missing attr forms during dwarf-scan and shut down dwarf reader, don't crash.	2010-07-02 08:16:04 -07:00
Graydon Hoare	99be02a28d	Indent/outdent when logging dwarf at runtime.	2010-07-02 08:15:27 -07:00
Graydon Hoare	8370b947a4	Wrap long lines.	2010-07-01 23:53:32 -07:00
Graydon Hoare	60c6ae3ad5	Box arguments that are supposed to be boxed.	2010-07-01 23:50:58 -07:00
Graydon Hoare	f0faeaed25	Yeah. Not even a semantic mix-up: just a damn typo.	2010-07-01 23:45:16 -07:00
Graydon Hoare	27d69a88b1	Teach clone_ty to tolerate cloning a mutable (though not state) type.	2010-07-01 23:20:28 -07:00
Graydon Hoare	a2e4d45600	Improve mangling.	2010-07-01 23:15:42 -07:00
Graydon Hoare	f3de4ee2a7	Teach the associative_binary_op_ty_fold about box, mutable and tys.	2010-07-01 23:12:34 -07:00
Graydon Hoare	01cfcfab13	Strip outer 'mutable' off slot when deciding if pred can apply.	2010-07-01 21:20:30 -07:00
Graydon Hoare	2d40bc669c	Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same logic at the bottom.	2010-07-01 21:02:49 -07:00
Graydon Hoare	d0a1b6e914	Reinstate disgusting, filthy workarounds for deriving missing type information. It existed before, we will survive if it exists now.	2010-07-01 20:24:23 -07:00
Graydon Hoare	4273986623	Remove similar over-application of auto-deref from type.	2010-07-01 19:30:35 -07:00
Graydon Hoare	65a87a55a1	Remove too-optimistic (and not harmless) over application of auto-deref in trans.	2010-07-01 19:29:51 -07:00
Graydon Hoare	314af0a44b	Split out and improve trans_init_box.	2010-07-01 19:29:03 -07:00
Graydon Hoare	7df949af40	Add logging to trans_init_slot_from_atom.	2010-07-01 19:28:11 -07:00
Graydon Hoare	6c9832d3ec	Catch ast pretty-printer up with init-tup syntax.	2010-07-01 19:27:20 -07:00
Graydon Hoare	bb018b24f5	Fox the clauses that actually satisfy box and mutable constraints; in all the confusion I had got those wrong.	2010-07-01 18:39:58 -07:00
Graydon Hoare	c27879a1aa	Of course, the LHS constraint on an init-box statement is mutable @.	2010-07-01 18:39:08 -07:00
Graydon Hoare	fdafec39de	Clarify in type logging when we have a constraint vs. a resolved type.	2010-07-01 18:38:28 -07:00
Graydon Hoare	fb7e37842b	Add compile-check target for just attempting to compile, not run, the tests.	2010-07-01 18:37:53 -07:00
Graydon Hoare	f72774db7a	Correct existing reliance on auto-box / unbox behavior in tests.	2010-07-01 18:37:30 -07:00
Graydon Hoare	792d96474e	Box the integer passed to the handle in obj-drop.rs. No more implicit arg-boxing.	2010-07-01 18:04:21 -07:00
Graydon Hoare	2120599387	Establish the box constraint on the dst in STMT_init_box before propagating it to the rval.	2010-07-01 18:03:37 -07:00
Graydon Hoare	c30353d4f9	Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the backend can catch unimplemented cases until then).	2010-07-01 17:56:20 -07:00
Graydon Hoare	4bec9538cc	Check the simplified type used in check-expr in trans.	2010-07-01 17:55:28 -07:00
Graydon Hoare	ae25e66a7f	Extract pattern-slot variables in lval typecheck context (mutable ok).	2010-07-01 17:11:01 -07:00
Graydon Hoare	abfeefc662	Relax alias-analysis pass to permit literal-aliasing.	2010-07-01 17:10:30 -07:00
Graydon Hoare	bcc7ec18b8	Remove the catch-all in type.ml, add cases for every stmt (a couple more handled; mostly still stubs).	2010-07-01 16:56:39 -07:00
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
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