4926 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Erik	b71fcd77c6	more help	2016-01-18 16:59:30 +01:00
Erik	6cc1adce91	more docs	2016-01-18 16:57:20 +01:00
Erik	236d9f16c4	comma	2016-01-18 16:50:17 +01:00
Erik	32e7c760e7	installation instructions	2016-01-18 16:49:14 +01:00
Erik	90395fbae3	more readme	2016-01-18 16:39:39 +01:00
Erik	827322facb	better docs	2016-01-18 16:39:14 +01:00
Erik	9a77588fa9	some tests for if-lifetimes	2016-01-18 14:46:41 +01:00
Erik	7fd89e3cfd	starting work on lifetimes for the other forms	2016-01-18 14:36:38 +01:00
Erik	5d92140ee4	updated todo	2016-01-18 14:29:33 +01:00
Erik	7497df37ed	calls project.carp / user.carp if they exist in correct locations	2016-01-18 14:27:46 +01:00
Erik	e8e1d0d0aa	fixed bug that was found when improving error checking for let forms	2016-01-18 14:12:27 +01:00
Erik	3dd67ce9cf	todos and some error checking	2016-01-18 14:11:00 +01:00
Erik	3eb8e135c0	seems like the lifetime checker can handle some trickier situations now	2016-01-18 14:05:21 +01:00
Erik	afb1d017db	cleanups, can call ref in dynamic runtime	2016-01-18 13:43:59 +01:00
Erik Svedäng	174c4983b8	don't crash on GC, memory is handed over to ffi	2016-01-18 12:23:03 +01:00
Erik Svedäng	888223040e	better, but segfaults in tricky situation	2016-01-18 12:05:22 +01:00
Erik Svedäng	110dbc9e07	tests run, but is it sound?	2016-01-18 11:35:02 +01:00
Erik	586e964661	things are working OK but refs are still a little troubling	2016-01-18 09:50:45 +01:00
Erik	5c61e68f21	infering of lists seem to work now	2016-01-18 09:02:21 +01:00
Erik	366a1e093a	rewrite of type inferer is half-done	2016-01-18 08:24:42 +01:00
Erik	64aedb529d	the failing test	2016-01-18 00:20:55 +01:00
Erik	caad6fac3c	unifier is fooled by some ref situations	2016-01-18 00:19:25 +01:00
Erik	21df7c1e28	must fix type inference for (ref ...)	2016-01-17 23:52:19 +01:00
Erik	9865fd0e0b	function application works with lifetimes and borrow checker	2016-01-17 23:44:23 +01:00
Erik	60174d329c	lifetime for args is starting to work, still some hard work left	2016-01-17 23:31:55 +01:00
Erik	21923efe68	ref form	2016-01-17 22:56:35 +01:00
Erik	378ce9ebf7	clarification	2016-01-17 20:50:21 +01:00
Erik	188bab8fa5	can call functions with ref argument from repl	2016-01-17 20:48:51 +01:00
Erik	f0cb564392	ref arguments don't pass ownership to function	2016-01-17 20:42:43 +01:00
Erik	8b3859bce3	updated readme	2016-01-17 16:25:14 +01:00
Erik	c7c65ba4ff	can add :ref signatures	2016-01-16 19:19:24 +01:00
Erik	567c744453	getting ready for refs	2016-01-16 19:07:10 +01:00
Erik	8905e94c9a	return values are removed from free list	2016-01-16 18:37:45 +01:00
Erik	177bc752b2	no unnecessary line break	2016-01-16 18:20:24 +01:00
Erik	494f93ae29	better approach to lifetimes	2016-01-16 10:26:00 +01:00
Erik	153869764a	literals have names	2016-01-16 10:16:50 +01:00
Erik	e21264fca8	added a ast :node type for variable lookups	2016-01-16 10:08:06 +01:00
Erik	f348ec7b4e	updated todos	2016-01-16 09:57:05 +01:00
Erik	6aa4a82832	dict eq tests	2016-01-16 09:53:01 +01:00
Erik	bc82aeec16	set/union test cases	2016-01-16 09:47:33 +01:00
Erik	db349e1641	time to start over with the lifetime stuff	2016-01-16 09:37:26 +01:00
Erik Svedäng	4c80c80af0	bugz	2016-01-15 17:15:16 +01:00
Erik Svedäng	1ca2543ea0	todo updated	2016-01-15 16:50:45 +01:00
Erik Svedäng	540a2ec797	equality for dictionaries	2016-01-15 16:48:26 +01:00
Erik Svedäng	acb698ecef	can free a string in a very simple case	2016-01-15 15:39:17 +01:00
Erik	26a3a32522	removed functions.h	2016-01-15 14:47:22 +01:00
Erik	739be62f21	ignore h files in out	2016-01-15 14:46:36 +01:00
Erik Svedäng	a6df46045c	can bake any function to a executable	2016-01-15 14:19:41 +01:00
Erik	fd1cc43422	can emit an executable file	2016-01-15 11:13:19 +01:00
Erik	7de853a4e3	can compile glfw example app again	2016-01-15 10:58:31 +01:00