7 Commits

Author	SHA1	Message	Date
Graydon Hoare	d1affff623	Reliciense makefiles and testsuite. Yup.	2012-12-10 17:32:58 -08:00
Graydon Hoare	f0dfbe7b1b	Register new snapshots, purge log_err and log_full in favour of log(...).	2011-12-22 17:53:53 -08:00
Graydon Hoare	8b580954fe	Register snapshots and switch logging over to use of log_full or #error / #debug.	2011-12-22 14:42:52 -08:00
Brian Anderson	518dc52f85	Reformat ... This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]	2011-08-20 11:04:00 -07:00
Marijn Haverbeke	df7f21db09	Reformat for new syntax	2011-07-27 15:54:33 +02:00
Graydon Hoare	ce72993488	Reformat source tree (minus a couple tests that are still grumpy).	2011-06-15 11:19:50 -07:00
Tim Chevalier	1a96e79fe0	Make _|_ unify with anything ... The typechecker had a number of special cases for unifying types with _|_ (as with checking if and alt). But, a value of type _|_ should be usable in any context, as such a value always diverges, and will never be used by its immediate context. Changed unify accordingly, removed special cases.	2011-05-26 20:50:25 -07:00