summaryrefslogtreecommitdiff
path: root/parse
AgeCommit message (Expand)Author
2018-06-11Fix type env assertion.Ori Bernstein
2018-06-09Consistently and corretly add Oundef.Ori Bernstein
2018-05-29Retroactively update the ABI version.Ori Bernstein
2018-04-18Merge remote-tracking branch 'ori/master' into HEADS. Gilles
2018-04-17Don't mutate the traits on builtin types.Ori Bernstein
2018-04-17Remove stray ',' from error message.Ori Bernstein
2018-04-17Merge trait specs if provided.Ori Bernstein
2018-04-08Add support for `-T` option to compile in test mode.Ori Bernstein
2018-03-25Make output buffers bigger.Ori Bernstein
2018-03-13Merge branch 'autoexpr' into libmathS. Gilles
2018-03-12Bump ABI retroactively.Ori Bernstein
2018-03-06Add ternary operator.Ori Bernstein
2018-02-18Resolve the impl() type.Ori Bernstein
2018-01-31Check that if we default to int, all necessary traits are there.Ori Bernstein
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
generated by cgit v1.1 at 2022-08-18 23:00:39 +0000