153 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Erik Svedäng	24c287f2ca	do form added to lifetime checker	2016-01-19 11:21:04 +01:00
Erik Svedäng	9c7b52f500	idea	2016-01-19 00:22:57 +01:00
Erik Svedäng	fd4188dda3	more todos	2016-01-19 00:02:46 +01:00
Erik Svedäng	3391458c8b	one more while test	2016-01-18 23:54:12 +01:00
Erik Svedäng	0062ecc879	while form has memory management	2016-01-18 23:50:37 +01:00
Erik Svedäng	e3e3eeb99a	more tests with let works	2016-01-18 23:25:45 +01:00
Erik Svedäng	ae96cd7e9d	memory management for let bindings is on	2016-01-18 23:19:00 +01:00
Erik Svedäng	1ba2ba4952	more tests	2016-01-18 22:39:43 +01:00
Erik Svedäng	bbe933facc	reactivated some tests	2016-01-18 22:11:10 +01:00
Erik Svedäng	de08227600	do, let & while left to go	2016-01-18 21:08:05 +01:00
Erik Svedäng	c449ba5448	memory management for binops work also	2016-01-18 21:07:03 +01:00
Erik Svedäng	ef6bba0eda	all tests run, if is kinda working	2016-01-18 20:51:20 +01:00
Erik Svedäng	0e08b7c2e4	the three string tests do the right thing, freeing strings correctly!!!	2016-01-18 20:27:45 +01:00
Erik Svedäng	c366d0ad7d	solved some stupid earlier mistakes	2016-01-18 20:07:03 +01:00
Erik	b1e8f314c7	nicer	2016-01-18 18:17:36 +01:00
Erik	ee66ff3273	moved the badge back again	2016-01-18 18:15:58 +01:00
Erik	efe3cd7933	moved the chat badge	2016-01-18 18:15:17 +01:00
Erik Svedäng	017f6b92f2	Merge pull request #1 from gitter-badger/gitter-badge ... Add a Gitter chat badge to README.md	2016-01-18 18:14:41 +01:00
Erik	9aadec9155	(C)	2016-01-18 18:09:43 +01:00
Erik	06c28e8385	gitter link	2016-01-18 18:05:26 +01:00
Erik	60bfb753c0	gitter link	2016-01-18 18:04:17 +01:00
The Gitter Badger	d0764da3a3	Add Gitter badge	2016-01-18 17:03:13 +00:00
Erik	bfb4f1e8ea	shorten	2016-01-18 17:16:09 +01:00
Erik	e930ccdde5	clarification	2016-01-18 17:09:13 +01:00
Erik	298a2d5315	more halp	2016-01-18 17:07:32 +01:00
Erik	94ca87789f	blah	2016-01-18 17:05:13 +01:00
Erik	f55436aa24	more doc	2016-01-18 17:03:51 +01:00
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