aboutsummaryrefslogtreecommitdiffstats
path: root/typing.cpp
AgeCommit message (Collapse)AuthorFilesLines
2009-06-20Shorten AST names to match code names.David Robillard1-5/+5
git-svn-id: http://svn.drobilla.net/resp/tuplr@136 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19Remove crufty cons/car/cdr implementation that doesn't work anyway.David Robillard1-34/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@128 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19Factor out memory/GC related things from AST to Object.David Robillard1-1/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@124 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-19Primitive garbage collector for AST nodes.David Robillard1-2/+3
Fix memory leaks. git-svn-id: http://svn.drobilla.net/resp/tuplr@123 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18Rearrange Error order.David Robillard1-20/+20
git-svn-id: http://svn.drobilla.net/resp/tuplr@122 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18Make source location mandatory parameter for Error.David Robillard1-1/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@121 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18THROW_IF macro.David Robillard1-7/+7
git-svn-id: http://svn.drobilla.net/resp/tuplr@120 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18Primitive internal macro system (for implementing sugar).David Robillard1-3/+3
(def (f x) ...) sugar. git-svn-id: http://svn.drobilla.net/resp/tuplr@119 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-18Strip trailing whitespace.David Robillard1-2/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@118 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-31Fix polymorphic functions (somewhat).David Robillard1-1/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@112 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-31Fix type constraint for symbols (match type of lexical binding).David Robillard1-4/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@111 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-15Fix REPL variable addressing.David Robillard1-2/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@107 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-15Abstract away (and prettify/shrink) dynamic_cast of AST objects.David Robillard1-10/+10
git-svn-id: http://svn.drobilla.net/resp/tuplr@104 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-15Yawn.David Robillard1-1/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@101 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-15Clean up ATuple, AType, Exp.David Robillard1-3/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@98 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-15Fix polymorphism.David Robillard1-2/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@95 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-15Merge 'code' and 'type' environments.David Robillard1-14/+32
Better error reporting for bad function parameters. git-svn-id: http://svn.drobilla.net/resp/tuplr@94 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-15Make TEnv strictly keyed by ASymbol.David Robillard1-2/+2
Prettier casting. git-svn-id: http://svn.drobilla.net/resp/tuplr@93 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-15Tidy.David Robillard1-5/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@91 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-15Fix polymorphism when evaluation files.David Robillard1-4/+0
Shut up debug output. git-svn-id: http://svn.drobilla.net/resp/tuplr@90 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-15Fix recursion.David Robillard1-71/+77
git-svn-id: http://svn.drobilla.net/resp/tuplr@89 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-14Lexical addressing, work towards true parametric polymorphism.David Robillard1-81/+150
git-svn-id: http://svn.drobilla.net/resp/tuplr@88 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-13Don't use TEnv.var() where unnecessary (this needs to go away? maybe?)David Robillard1-3/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@87 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-12Encapsulate more types.David Robillard1-12/+12
git-svn-id: http://svn.drobilla.net/resp/tuplr@83 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-10Tidy.David Robillard1-3/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@79 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Shorter and more consistent names (AST -> A).David Robillard1-15/+15
git-svn-id: http://svn.drobilla.net/resp/tuplr@78 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Remove redundant/useless ASTCall::expDavid Robillard1-10/+10
git-svn-id: http://svn.drobilla.net/resp/tuplr@77 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Tidy.David Robillard1-1/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@72 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Oops.David Robillard1-2/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@70 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Fancy varargs AType constructor.David Robillard1-15/+13
git-svn-id: http://svn.drobilla.net/resp/tuplr@69 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Fix if type checking for arc style if.David Robillard1-6/+12
git-svn-id: http://svn.drobilla.net/resp/tuplr@68 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Typing improvements.David Robillard1-2/+5
More location information. git-svn-id: http://svn.drobilla.net/resp/tuplr@67 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-07Fancy error reporting for type errors, among other things.David Robillard1-16/+18
git-svn-id: http://svn.drobilla.net/resp/tuplr@66 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Cleanup and de-llvm-ify primitive stuff.David Robillard1-1/+49
Fix type inference (only treat actual type expressions as type expressions). git-svn-id: http://svn.drobilla.net/resp/tuplr@64 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Tidy.David Robillard1-10/+12
git-svn-id: http://svn.drobilla.net/resp/tuplr@61 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-03-06Split LLVM dependent backend from core code.David Robillard1-0/+198
No more pretty little one filer. Oh well. git-svn-id: http://svn.drobilla.net/resp/tuplr@51 ad02d1e2-f140-0410-9f75-f8b11f17cedd