aboutsummaryrefslogtreecommitdiffstats
path: root/typing.cpp
AgeCommit message (Expand)AuthorFilesLines
2009-06-28Split unification into a separate file than type constraints.David Robillard1-75/+0
2009-06-28Fix type substitution.David Robillard1-2/+2
2009-06-27Fix substitution of call argument types to generic function type to work with...David Robillard1-1/+2
2009-06-25Sanify AST constructors.David Robillard1-6/+6
2009-06-20Tidy.David Robillard1-1/+1
2009-06-20Shorten AST names to match code names.David Robillard1-5/+5
2009-06-19Remove crufty cons/car/cdr implementation that doesn't work anyway.David Robillard1-34/+0
2009-06-19Factor out memory/GC related things from AST to Object.David Robillard1-1/+1
2009-06-19Primitive garbage collector for AST nodes.David Robillard1-2/+3
2009-06-18Rearrange Error order.David Robillard1-20/+20
2009-06-18Make source location mandatory parameter for Error.David Robillard1-1/+1
2009-06-18THROW_IF macro.David Robillard1-7/+7
2009-06-18Primitive internal macro system (for implementing sugar).David Robillard1-3/+3
2009-06-18Strip trailing whitespace.David Robillard1-2/+2
2009-03-31Fix polymorphic functions (somewhat).David Robillard1-1/+1
2009-03-31Fix type constraint for symbols (match type of lexical binding).David Robillard1-4/+1
2009-03-15Fix REPL variable addressing.David Robillard1-2/+0
2009-03-15Abstract away (and prettify/shrink) dynamic_cast of AST objects.David Robillard1-10/+10
2009-03-15Yawn.David Robillard1-1/+1
2009-03-15Clean up ATuple, AType, Exp.David Robillard1-3/+3
2009-03-15Fix polymorphism.David Robillard1-2/+2
2009-03-15Merge 'code' and 'type' environments.David Robillard1-14/+32
2009-03-15Make TEnv strictly keyed by ASymbol.David Robillard1-2/+2
2009-03-15Tidy.David Robillard1-5/+3
2009-03-15Fix polymorphism when evaluation files.David Robillard1-4/+0
2009-03-15Fix recursion.David Robillard1-71/+77
2009-03-14Lexical addressing, work towards true parametric polymorphism.David Robillard1-81/+150
2009-03-13Don't use TEnv.var() where unnecessary (this needs to go away? maybe?)David Robillard1-3/+3
2009-03-12Encapsulate more types.David Robillard1-12/+12
2009-03-10Tidy.David Robillard1-3/+3
2009-03-07Shorter and more consistent names (AST -> A).David Robillard1-15/+15
2009-03-07Remove redundant/useless ASTCall::expDavid Robillard1-10/+10
2009-03-07Tidy.David Robillard1-1/+1
2009-03-07Oops.David Robillard1-2/+2
2009-03-07Fancy varargs AType constructor.David Robillard1-15/+13
2009-03-07Fix if type checking for arc style if.David Robillard1-6/+12
2009-03-07Typing improvements.David Robillard1-2/+5
2009-03-07Fancy error reporting for type errors, among other things.David Robillard1-16/+18
2009-03-06Cleanup and de-llvm-ify primitive stuff.David Robillard1-1/+49
2009-03-06Tidy.David Robillard1-10/+12
2009-03-06Split LLVM dependent backend from core code.David Robillard1-0/+198
generated by cgit v1.2.1 (git 2.18.0) at 2024-06-28 00:24:26 +0000