summaryrefslogtreecommitdiff
path: root/parse
AgeCommit message (Expand)Author
2014-02-10Do some sanitization on traits.Ori Bernstein
2014-02-10Split types and traits.Ori Bernstein
2014-02-07Uniqify the builtin atomic types.Ori Bernstein
2014-02-07Empty traits now work for named types.Ori Bernstein
2014-02-02Remove 'trait' node.Ori Bernstein
2014-02-01Insert the trait/impl nodes into the node list.Ori Bernstein
2014-02-01Stub in more code for trait/impl.Ori Bernstein
2014-01-31Nomenclature change: cstr -> traitOri Bernstein
2014-01-25Allow ucons to be arguments of uconsOri Bernstein
2014-01-23Allow more foldable, constant expressions in patterns.Ori Bernstein
2014-01-22Add single digit division, and make bigint output use it.Ori Bernstein
2014-01-20Correctly handle signed/unsigned comparisons.Ori Bernstein
2014-01-20Remove redundant endlnsOri Bernstein
2014-01-16Install ucons for nested unions.Ori Bernstein
2014-01-15Fix writing constant struct literalsOri Bernstein
2014-01-14Add support for break/continue in loops.Ori Bernstein
2014-01-13Work towards parsing traits definitions.Ori Bernstein
2014-01-13Allow arbitrary expressions in pattern matching.Ori Bernstein
2014-01-08Check namespaces in inferexpr, instead of infersubOri Bernstein
2014-01-08Remove a number of redundant 'tf' calls.Ori Bernstein
2014-01-08Reduce redundant infers of expressions.Ori Bernstein
2014-01-07Compress unification chains.Ori Bernstein
2014-01-07Fix test for small inlinable constants.Ori Bernstein
2014-01-07Search structs correctly for members in initializers.Ori Bernstein
2014-01-07Allocate the error strings, to avoid a segfault.Ori Bernstein
2014-01-02Add ipv4 resolution.Ori Bernstein
2014-01-02Error on missing generic initializers.Ori Bernstein
2013-12-30Merge branch 'master' of git+ssh://git.eigenstate.org/git/ori/mcOri Bernstein
2013-12-30Fix unification of sequence types.Ori Bernstein
2013-12-29More principled FP support started.Ori Bernstein
2013-12-28Fix type inference.Ori Bernstein
2013-12-28Add initial working 'for x in y' loopOri Bernstein
2013-12-28Make for _ in _ loops use pattern matches.Ori Bernstein
2013-12-28Add parsing support for iter loopsOri Bernstein
2013-12-28Fix hex escape sequences.Ori Bernstein
2013-12-27Handle link order.Ori Bernstein
2013-12-27Support a terminating ',' at the end of arrays.Ori Bernstein
2013-12-27Add support for \u{...} escape sequences.Ori Bernstein
2013-12-27Remove a few FIXMEs from libstdOri Bernstein
2013-12-27Allow for hidden exports to happen automatically.Ori Bernstein
2013-12-27Move towards automatically creating hidden exports.Ori Bernstein
2013-12-26Fix escape characters for strings.Ori Bernstein
2013-12-25Improve type naming.Ori Bernstein
2013-12-25Don't make shadowed vars conflict.Ori Bernstein
2013-12-25Don't error on resolving specialized generics.Ori Bernstein
2013-12-25remove 'isgeneric()' property from type.Ori Bernstein
2013-12-25Rename isgeneric() to needfreshen()Ori Bernstein
2013-12-25Balance the bind()/unbind() calls.Ori Bernstein
2013-12-20Add support for constraints in types.Ori Bernstein
2013-12-20Evaluate patterns in their block's scope.Ori Bernstein