6238 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Graydon Hoare	7ab3b305e4	Move id counters into sess in preparation for moving desugaring to middle-end.	2010-09-20 13:06:49 -07:00
Graydon Hoare	5536af3d48	Beginnings of post-resolve simplify pass.	2010-09-16 16:59:37 -07:00
Patrick Walton	bc03c82c79	Check for infinitely sized tags. Un-XFAIL test/compile-fail/infinite-tag-type-recursion.rs.	2010-09-16 16:24:19 -07:00
Patrick Walton	659d1e1b7d	Actually build the graph properly. Oops.	2010-09-16 16:20:00 -07:00
Patrick Walton	32103089d3	Create tag nodes for all the tags beforehand	2010-09-16 15:38:49 -07:00
Graydon Hoare	9dac49bcd6	Resolve plvals to their defns.	2010-09-16 15:04:40 -07:00
Patrick Walton	d92e30d773	Populate the tag containment relation	2010-09-16 14:21:24 -07:00
Graydon Hoare	c4c73e09f1	Add a pexp-rebuild phase to the type resolution pass in resolve.ml.	2010-09-16 12:34:07 -07:00
Patrick Walton	01a76e21a6	Better representation of tag containment, which will allow us to discern backreferences	2010-09-16 11:28:55 -07:00
Patrick Walton	a4a8bea3cc	Add ctxt_tag_containment to the Semant context	2010-09-16 11:06:41 -07:00
Patrick Walton	1676a389be	Switch the "expected" and "actual" types for function parameter mismatches	2010-09-16 10:26:20 -07:00
Patrick Walton	09793dd0c8	Not finding a name in a module isn't a bug, it's an error. Report it as such.	2010-09-16 10:26:19 -07:00
Michael Bebenita	1bd331b7aa	Fixed deadlock caused by the message pump not being notified of new message sends.	2010-09-16 00:51:03 -07:00
Graydon Hoare	91b4a0c9f8	Add beginnings of a fuzzer to rustboot.	2010-09-16 00:26:19 -07:00
Graydon Hoare	cd1a765c6f	Add Peter Hull's contributed translation of the fasta shootout benchmark (integer-only version).	2010-09-15 18:22:10 -07:00
Graydon Hoare	e270ab6fbf	Minor improvements to pretty-printer.	2010-09-15 18:14:14 -07:00
Graydon Hoare	e6729a66ec	Teach walk about plvals and pexps.	2010-09-15 17:44:57 -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
Graydon Hoare	3350b17c60	Add pretty-printing for pexps.	2010-09-15 14:36:40 -07:00
Graydon Hoare	77beffc889	Add some form-judgements on plvals and pexps.	2010-09-15 12:29:45 -07:00
Graydon Hoare	c61d021f6d	Commence moving pexp into ast, for eventual merger with expr.	2010-09-14 18:59:14 -07:00
Graydon Hoare	b504b3f8d5	Begin actually folding constant items into operands at site of use.	2010-09-14 15:34:01 -07:00
Graydon Hoare	6cfeac162d	Translate const uses via runtime expression evaluation.	2010-09-14 11:44:25 -07:00
Graydon Hoare	a4a0c6ad1e	XFAIL const test on LLVM, of course.	2010-09-14 11:13:24 -07:00
Graydon Hoare	7287d3aaa0	Teach front-end about simple, first-cut version of const items.	2010-09-14 10:52:32 -07:00
Graydon Hoare	43ec78636f	Update manual to cover change to nominal tag items.	2010-09-13 17:58:09 -07:00
Graydon Hoare	bc646d01c5	Fix leaking arg slots on tail calls. Closes #160.	2010-09-13 13:37:24 -07:00
Graydon Hoare	67aa39e1ef	Fix a leak when box types are used via type descriptors.	2010-09-12 01:05:56 -07:00
Michael Bebenita	a493350eb5	Cleanup, refactoring, and some runtime tests.	2010-09-10 14:38:31 -07:00
Michael Bebenita	f985fded3e	Added lock_and_signal::signal_all(), and made the rust_kernel::join() use wait instead of yield.	2010-09-10 14:38:31 -07:00
Graydon Hoare	79dc07d648	Use hashtable rather than bitset for vreg constraints in ra; speeds compilation.	2010-09-09 18:56:51 -07:00
Graydon Hoare	a9e2327a18	Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly work, possibly a little bumpy. Changes a lot.	2010-09-09 15:59:29 -07:00
Michael Bebenita	c877f31730	Fixed lost signal notifications.	2010-09-08 22:20:31 -07:00
Michael Bebenita	743ca289b6	Cache task handles.	2010-09-08 21:25:16 -07:00
Graydon Hoare	616b7afb72	Tidy up the sync dir, remove dead or mis-designed code in favour of OS primitives, switch rust_kernel to use a lock/signal pair and wait rather than spin.	2010-09-08 19:13:49 -07:00
Graydon Hoare	13d6f87431	XFAIL many.rs since it crashes on win32, and add a time-slice sleep to the kernel message loop to get tests to finish in a sane time.	2010-09-08 15:48:18 -07:00
Patrick Walton	2172a3bcf4	First lame stab at solving the diamond import problem	2010-09-08 15:38:39 -07:00
Michael Bebenita	388f8ce520	Cleaned up locking in the kernel.	2010-09-08 15:17:09 -07:00
Graydon Hoare	37cc139607	XFAIL task-comm-8, see if this helps burning-tree.	2010-09-08 10:40:33 -07:00
Michael Bebenita	7f6d8b95bd	Fixed race in the rust kernel.	2010-09-07 23:37:51 -07:00
Michael Bebenita	de611a3090	Lots of design changes around proxies and message passing. Made it so that domains can only talk to other domains via handles, and with the help of the rust_kernel.	2010-09-07 18:44:12 -07:00
Michael Bebenita	a6aebdaedd	Started work on a framework for writing runtime tests, added some simple test cases.	2010-09-07 18:41:08 -07:00
Michael Bebenita	5375b39160	Small updates to util classes.	2010-09-07 18:41:08 -07:00
Michael Bebenita	b03812af2b	Change signature of array_list::pop().	2010-09-07 18:41:08 -07:00
Michael Bebenita	6b7ba50e17	Added "new" inline operators to memory regions.	2010-09-07 18:41:08 -07:00
Michael Bebenita	066c14009b	Added a .cpp file for rust_proxy to help avoid .h file dependencies in the future.	2010-09-07 18:41:08 -07:00
Michael Bebenita	9b74129a4f	Added a thread utility class to factor out operations on threads.	2010-09-07 18:41:07 -07:00
Michael Bebenita	9b8d647af3	Make run.py only search in the run-pass directory.	2010-09-07 18:41:07 -07:00
Michael Bebenita	79e3856d7d	Small updates to test cases.	2010-09-07 18:41:07 -07:00
Michael Bebenita	f8ff013e3c	Added a few utility classes, cleaned up the include order of .h files, and started to make the Rust kernel own domain message queues rather than the Rust domains themselves.	2010-09-07 18:41:07 -07:00