summaryrefslogtreecommitdiff
path: root/parse
AgeCommit message (Expand)Author
2018-01-26New auto operator.Quentin Carbonneaux
2018-01-25Improve error message.Ori Bernstein
2018-01-21Cheap enums.Quentin Carbonneaux
2018-01-17Hack in seqaux.Ori Bernstein
2018-01-17Only set the base type on iter traits.Ori Bernstein
2018-01-17Infer after generating init functions.Ori Bernstein
2018-01-17Fix init funcion symtab linkingOri Bernstein
2018-01-14Remove a global-global.Ori Bernstein
2018-01-14Pass in the context node to our error printing..Ori Bernstein
2018-01-14Fix binding of type env in traits.Ori Bernstein
2018-01-14Update language spec for new trait syntax.Ori Bernstein
2018-01-14Fix serializing trait specs in usefiles.Ori Bernstein
2018-01-14Unify with the existing iterator.Ori Bernstein
2018-01-13Add code to fix up iterators.Ori Bernstein
2018-01-13Clean up iterator unification.Ori Bernstein
2018-01-11Unify subst specs fully.Ori Bernstein
2018-01-11Get closer to typechecking generic args correctly.Ori Bernstein
2018-01-11Fix how we bind types.Ori Bernstein
2018-01-11Try harder to specialize. Still some bugs.Ori Bernstein
2018-01-11Move to new trait syntax.Ori Bernstein
2017-12-31Fix up grammar.Ori Bernstein
2017-12-30Clean up some more dead code.Ori Bernstein
2017-12-05Be able to split long lines in commasLucas Gabriel Vuotto
2017-11-28Remove impossible checks.Ori Bernstein
2017-11-28Allow local variables to shadow namespaces.Ori Bernstein
2017-11-14Rename comparable => equatableOri Bernstein
2017-11-05Accept the globalness of file.Ori Bernstein
2017-10-31Loop uniformly in export.Ori Bernstein
2017-10-29Cosmetic tweakOri Bernstein
2017-10-29Fix traits when exported cross-namespaces.Ori Bernstein
2017-10-23Remove debug printf.Ori Bernstein
2017-10-23Propagate hiddenness properly across usefile merges.Ori Bernstein
2017-10-21Set the ns on impl decls to match the impl ns.Ori Bernstein
2017-10-21Don't bungle trait merging and exporting.Ori Bernstein
2017-10-19Push the env before specializing the proto type.Ori Bernstein
2017-10-19If we haven't installed the proto, use the one we have.Ori Bernstein
2017-10-18Look up the proto before attaching the gimpls.Ori Bernstein
2017-10-06Don't spuriously constrain types.Ori Bernstein
2017-10-05tysearch before checking for freshen requirement.Ori Bernstein
2017-09-23Remove obsolete assert.Ori Bernstein
2017-09-22Fix trait lookup for nested pointers.Ori Bernstein
2017-09-22Remove 'in' token.Ori Bernstein
2017-09-16Fix occurs check.Ori Bernstein
2017-09-05Fix traits on named types.Ori Bernstein
2017-09-02Fix export tagging of traits.Ori Bernstein
2017-09-02Unjank trait resolution.Ori Bernstein
2017-09-02'in' is now a warning.Ori Bernstein
2017-08-26Make internal functions static.Ori Bernstein
2017-08-26...The line that fixes things should probably get committed.Ori Bernstein
2017-08-26It's not an lvalue.Ori Bernstein