resp.git - Resp programming language

Age	Commit message (Collapse)	Author	Files	Lines
2010-12-09	Add let form.	David Robillard	1	-0/+7
	git-svn-id: http://svn.drobilla.net/resp/resp@328 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-12-07	Saner recursive descent lexer/parser.	David Robillard	1	-3/+0
	git-svn-id: http://svn.drobilla.net/resp/resp@306 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-09-30	Preliminary work on algebraic data types and run-time typing.	David Robillard	1	-0/+14
	git-svn-id: http://svn.drobilla.net/resp/resp@270 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-19	Generalise `cons': a call to any symbol beginning with an uppercase character	David Robillard	1	-1/+1
	(i.e. a type symbol), e.g. (Thing 2), is a call to a type constructor which creates a Tup containing the arguments, with the symbol as the first element in the type expression, e.g. (Thing 2) has type (Thing Int) and compiles to a tuple containing a single Int. The type constructor `Tup' can be used as a `cons' replacement to construct generic tuples. git-svn-id: http://svn.drobilla.net/resp/resp@264 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-19	Add quote to syntax (currently only a lexeme is quotable, no lists...)	David Robillard	1	-0/+3
	git-svn-id: http://svn.drobilla.net/resp/resp@262 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-08-19	Coherent AString and Lexeme implementation.	David Robillard	1	-0/+4
	A Lexeme is any "token" read from input, a lexeme has not yet beeen parsed and could parse to anything, e.g. a string, an expression, a number, etc. Lexemes are not (yet?) exposed to the language or ever compiled. A String is a string literal, which can contain any character directly except " and \. There are two special escapes: \" and \\, any other character following a \ is a syntax error. Fix garbage collection of REPL objects, leading to type errors from type variable re-use because a type variable for a given AST's /address/ exists, but that address has actually been deleted and reused by new (i.e. make top level REPL expressions and types be GC roots). git-svn-id: http://svn.drobilla.net/resp/resp@261 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-13	Better error reporting when unification fails (report both locations, and ↵	David Robillard	1	-1/+1
	preserve locations during substitution). git-svn-id: http://svn.drobilla.net/resp/resp@256 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-13	Restructure as a source translation based compiler.	David Robillard	5	-3/+12
	Implement support for closures (via lambda lifting phase). git-svn-id: http://svn.drobilla.net/resp/resp@254 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-08	Tuplr -> Resp (RESource Processing).	David Robillard	7	-2/+2
	git-svn-id: http://svn.drobilla.net/resp/resp@252 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-16	Make ellipses a new kind (AType::DOTS).	David Robillard	1	-0/+4
	git-svn-id: http://svn.drobilla.net/resp/tuplr@238 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-16	. operator for destructuring Tuples (cons).	David Robillard	1	-0/+2
	git-svn-id: http://svn.drobilla.net/resp/tuplr@236 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19	Remove crufty cons/car/cdr implementation that doesn't work anyway.	David Robillard	1	-3/+0
	git-svn-id: http://svn.drobilla.net/resp/tuplr@128 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19	Add quick kludgey test suite.	David Robillard	4	-0/+168
	git-svn-id: http://svn.drobilla.net/resp/tuplr@127 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18	Primitive internal macro system (for implementing sugar).	David Robillard	2	-8/+7
	(def (f x) ...) sugar. git-svn-id: http://svn.drobilla.net/resp/tuplr@119 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-30	Compile things into separate build dir.	David Robillard	3	-0/+18
	Move .tpr files to test dir. git-svn-id: http://svn.drobilla.net/resp/tuplr@109 ad02d1e2-f140-0410-9f75-f8b11f17cedd