5885 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Brian Anderson	5c38f7dfd7	Don't allow fn@ items ... fn@ is intended to be caputring but isn't implemented.	2011-10-20 18:23:48 -07:00
Brian Anderson	9efdd0f326	Merge ast::proto_shared and ast::proto_closure ... Now they are both just proto_shared and proto_shared takes an argument indicating that it is sugared as 'lambda'	2011-10-20 18:23:48 -07:00
Brian Anderson	4b30a06abe	Rename ast::proto_fn to ast::proto_shared	2011-10-20 18:23:48 -07:00
Brian Anderson	29ad3bdb10	Make fn denote a bare function. Convert fn to fn@ as needed	2011-10-20 18:23:48 -07:00
Brian Anderson	f324704c0a	Parse obj methods as proto_bare ... I don't know if this is the right thing to do, but it works and it lets 'fn' always mean proto_bare	2011-10-20 18:23:48 -07:00
Brian Anderson	391e12124b	Tweak typecheck to enforce covariance on higher-order function arguments	2011-10-20 18:23:48 -07:00
Brian Anderson	342a400e79	Remove type coercion from fn to block ... fn is a proper subtype of block now	2011-10-20 18:23:48 -07:00
Brian Anderson	8136b92ee8	Give subtype relationships to function types	2011-10-20 18:23:48 -07:00
Brian Anderson	ed985b61d5	Bare functions can coerce to blocks	2011-10-20 18:23:48 -07:00
Brian Anderson	354bfc8292	Bare functions can coerce to shared closures	2011-10-20 18:23:48 -07:00
Brian Anderson	3bb020aaf8	Revert "Remove the environment argument from bare functions" ... This reverts commit 1b0f1f0b79.	2011-10-20 18:23:48 -07:00
Brian Anderson	070c39ca1d	Split parsing of fn proto between types, items and anons ... The meaning of various fn incantations is going to get temporarily confusing	2011-10-20 18:23:47 -07:00
Brian Anderson	686d6a485f	Drop the 2 from the spawn*2 functions ... Issue #1022	2011-10-20 18:23:47 -07:00
Brian Anderson	e0bba33caa	Rename std::task::spawn_inner to unsafe_spawn_inner ... Delete the rest of the old, unused spawn functions. Issue #1022	2011-10-20 18:23:47 -07:00
Brian Anderson	446aea11d0	Stop exporting unsafe spawn functions ... Issue #1022	2011-10-20 18:23:47 -07:00
Brian Anderson	3b54dcfa79	Convert the test runners to typesafe spawn ... Issue #1022	2011-10-20 18:23:47 -07:00
Brian Anderson	1abebf042a	Convert std::aio to new spawn functions ... Issue #1022	2011-10-20 18:23:47 -07:00
Brian Anderson	a4956a7cdd	XFAIL task-perf-word-count-generic ... This can't be done with bare functions. Issue #1022	2011-10-20 18:23:47 -07:00
Brian Anderson	ac671c3172	Convert tests to use bare-fn spawn ... Issue #1022	2011-10-20 18:23:47 -07:00
Brian Anderson	4341e50e3a	Add safe versions of spawn using bare functions ... Currently they just wrap the unsafe versions. Will need to be rewritten eventually. Issue #1022	2011-10-20 18:23:47 -07:00
Brian Anderson	034408c40a	Convert DPRINT to LOG in rust_cc.cpp and add more logging	2011-10-20 18:19:06 -07:00
Brian Anderson	dcee98b024	Un-xfail-fast some tests ... check-fast is more reliable now.	2011-10-20 16:01:24 -07:00
Brian Anderson	28161fcf3c	Change run-pass/lots-a-fail.rs from xfail-fast to xfail-win32 ... All failing tasks leak on windows now	2011-10-20 16:00:13 -07:00
Brian Anderson	0714bb5f7d	Fix the problem with check-fast randomly failing ... Trans has been assuming that tag node id's are unique across crates and they are not so, depending on which way the wind is blowing, it would choose to use a crate-local tag variant instead of the correct one from std. No test case since I can't come up with a reliable one that compiles in a reasonable amount of time.	2011-10-20 15:38:51 -07:00
Marijn Haverbeke	f8f1d950ef	Register new snapshots	2011-10-20 17:36:29 +02:00
Marijn Haverbeke	ba1c6fcf38	Remove the last vestiges of main.ll ... Closes #992	2011-10-20 17:36:28 +02:00
Marijn Haverbeke	ef63f09dcd	Don't rely on main.ll anymore ... I'll remove the actual file after I register a snapshot. Issue #992	2011-10-20 17:18:38 +02:00
Marijn Haverbeke	cff9c67674	Output linker errors, when linking fails	2011-10-20 15:30:27 +02:00
Marijn Haverbeke	8124846b2c	Get rid of taskpointer-passing throughout the compiler ... Only intrinsics still take a dummy taskptr. We'll have to do some makefile stunts to snapshot a version without taskptrs-in-intrinsics. Issue #466	2011-10-20 14:22:17 +02:00
Marijn Haverbeke	457683c7fe	Do not pass taskpointers to "rust" native functions ... Issue #466	2011-10-20 14:22:17 +02:00
Marijn Haverbeke	6323a012bd	Remove taskptr argument from upcalls ... Issue #466	2011-10-20 13:15:21 +02:00
Marijn Haverbeke	e927df17f7	Remove spawn_wrap and main_wrap kludges ... This isn't needed now that our functions are cdecl (and was apparently only still working by accident). Issue #992	2011-10-20 13:15:09 +02:00
Marijn Haverbeke	243c5c3479	Use snap runtime, and the old main.o, for stage1 ... This is intended to be reverted again after I register the next snapshot.	2011-10-20 13:14:28 +02:00
Brian Anderson	880b1ec9f5	Fail nicer when the parser doesn't find an expected string literal ... Closes #1028	2011-10-19 18:04:44 -07:00
Matt Brubeck	15d33f7957	Fix parse error in constrained-type-missing-check.rs	2011-10-18 16:42:00 -07:00
Brian Anderson	f70a894855	Register snapshots	2011-10-18 12:08:15 -07:00
Brian Anderson	ac276f7016	Introduce fn@ as a synonym for fn	2011-10-18 11:14:02 -07:00
Niko Matsakis	86735c0d7d	make ctags targets phony	2011-10-18 10:37:27 -07:00
Brian Anderson	314c011d71	Immutable and mutable? are covariant on their inner types ... Whereas [mutable T] is invariant with respect to T, [T] and [mutable? T] are covariant with respect to T.	2011-10-18 10:37:04 -07:00
Marijn Haverbeke	71a4a66135	Add a math module to the standard lib ... I need some rudimentary stdlib stuff for the tutorial. Closes #1042	2011-10-18 13:54:35 +02:00
Marijn Haverbeke	d9d0782b5f	Don't try to build an LLVM switch on floats ... Closes #1046	2011-10-18 13:54:35 +02:00
Marijn Haverbeke	3cabe7429f	Add a print and println to std::io	2011-10-18 13:06:47 +02:00
Matt Brubeck	5950ae3c0e	doc: Fix parse errors in list examples in documentation	2011-10-17 22:50:46 -07:00
Matt Brubeck	f400bfd8fd	doc: Update 'alt' documentation to remove 'case' keyword	2011-10-17 22:50:46 -07:00
Matt Brubeck	1e5f163eec	doc: 'alt' expressions no longer require parens	2011-10-17 22:21:31 -07:00
Matt Brubeck	9e8076c88b	doc: 'if' expressions no longer require parens	2011-10-17 22:21:31 -07:00
Matt Brubeck	db84029268	doc: 'for' and 'for each' no longer use parens	2011-10-17 22:21:31 -07:00
Matt Brubeck	16a5885555	doc: Fix typo (s/pay/may/)	2011-10-17 22:21:31 -07:00
Brian Anderson	0f0fa26c72	Enforce variance rules for mutable types	2011-10-17 20:51:34 -07:00
Brian Anderson	48d351b21e	Add a variance transform for calculation of recursive variance	2011-10-17 19:37:34 -07:00