path: root/parse
AgeCommit message (Expand)Author
2016-02-25Fix forward labels in nested blocks.Ori Bernstein
2016-02-24Move bitset.c to util dir.Ori Bernstein
2016-02-23Fix delayed check ordering.Ori Bernstein
2016-02-22Add missing file.Ori Bernstein
2016-02-22Move more stuff around in util code.Ori Bernstein
2016-02-22Extract util functions into separate dir from parse/Ori Bernstein
2016-02-08Fix trivial leak.Ori Bernstein
2016-02-08Fix mistake in folding.Ori Bernstein
2016-02-07Don't double init generic impls.Ori Bernstein
2016-02-07Generic iterators now seem to work.Ori Bernstein
2016-02-06Don't use a null pointer when printing error.Ori Bernstein
2016-02-06Work towards generic iterables.Ori Bernstein
2016-02-06Type matches for named types are on the args.Ori Bernstein
2016-02-04Find the first type that has a base type.Ori Bernstein
2016-02-04Only look up base types if there's no seqbase trait.Ori Bernstein
2016-02-01Copy traits over for Tyname when specializing.Ori Bernstein
2016-02-01Don't duplicate type variables.Ori Bernstein
2016-02-01Fix type array typedef indexing.Ori Bernstein
2016-01-31Fix typos.Ori Bernstein
2016-01-31Check array sizes in type goodness evaluation.Ori Bernstein
2016-01-31Add support for generic impls.Ori Bernstein
2016-01-31Make tysearch error-free.Ori Bernstein
2016-01-31Fix missing tysearch()Ori Bernstein
2016-01-30Error on unmatchable types.Ori Bernstein
2016-01-30Give better errors on infinite types.Ori Bernstein
2016-01-30Fix recursive types. Again.Ori Bernstein
2016-01-29Comment to explain why eager unification is safe.Ori Bernstein
2016-01-29Unify more eagerly.Ori Bernstein
2016-01-29Use a stack of substitution maps.Ori Bernstein
2016-01-29Clean up type inference a bit.Ori Bernstein
2016-01-26Fix operator printing in ctxstring.Ori Bernstein
2016-01-26Remove the '$' shorthand for end of array.Ori Bernstein
2016-01-25Fix typoOri Bernstein
2016-01-24A pointer isn't an unsigned int...Ori Bernstein
2016-01-24Fix an error in context strings.Ori Bernstein
2016-01-24Just fully replace the type in the specialization.Ori Bernstein
2016-01-24Fix recursive types nested inside generics.Ori Bernstein
2016-01-23Make '.use' suffix on usefiles optional.Ori Bernstein
2016-01-23Print search path on failing to load usefile.Ori Bernstein
2016-01-23Improve error message if we fail to open a usefile.Ori Bernstein
2016-01-23Fix possibly uninitialized 'tr'Ori Bernstein
2016-01-21Add labels before linking them up.Ori Bernstein
2016-01-20Fix up some formatting.Ori Bernstein
2016-01-20Add a distinction between label values and names.Ori Bernstein
2016-01-20Put labels into scopes.Ori Bernstein
2016-01-20fix decl for with no cond and add more testsandrewc
2016-01-19fix #51, loops without cond stmtsandrewc
2016-01-13Require '->' to have an argumentandrewc
2016-01-12Fix copy-paste error in stab.cOri Bernstein
2016-01-11Silence a clang check error.Ori Bernstein