aboutsummaryrefslogtreecommitdiffstats
path: root/src/simplify.cpp
AgeCommit message (Expand)AuthorFilesLines
2012-12-14More flexible and unified code pass design.David Robillard1-17/+17
2012-12-14Real implementation of algebraic data types, and parametric types.David Robillard1-6/+7
2012-10-15Update for LLVM 3.1David Robillard1-1/+1
2011-05-15Remove cast form (unnecessary since compile stage casts paramters as needed a...David Robillard1-4/+1
2010-12-29Destructuring (i.e. working `match').David Robillard1-6/+42
2010-12-29Less code.David Robillard1-9/+2
2010-12-29Literal lists (i.e. list quoting).David Robillard1-4/+31
2010-12-28Use fst ("first") instead of head and rst ("rest") instead of tail.David Robillard1-2/+2
2010-12-28Add quote form, to allow expressions literal symbols and lists (lists not yet...David Robillard1-0/+16
2010-12-27Remove weird __tag_is form by adding a T_LITSYM type and using = operator.David Robillard1-4/+10
2010-12-27Kill AType.David Robillard1-14/+15
2010-12-26Update headers.David Robillard1-1/+1
2010-12-25Simplify let to fn, rather than deal with it through to compilation.David Robillard1-9/+45
2010-12-10Simplify if into nested 2-branch (scheme style) ifs at simplify stage.David Robillard1-2/+31
2010-12-10Move simplification from lift stage to a new (post-typing) simplify stage.David Robillard1-0/+94