summaryrefslogtreecommitdiff
path: root/parse/infer.c
AgeCommit message (Expand)Author
2018-01-14Fix binding of type env in traits.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-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-30Clean up some more dead code.Ori Bernstein
2017-11-28Remove impossible checks.Ori Bernstein
2017-11-28Allow local variables to shadow namespaces.Ori Bernstein
2017-11-05Accept the globalness of file.Ori Bernstein
2017-10-29Fix traits when exported cross-namespaces.Ori Bernstein
2017-10-19Push the env before specializing the proto type.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-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-08-23Check constraints correctly on typarams.Ori Bernstein
2017-08-23Resolve types in match rank.Ori Bernstein
2017-08-22Remove dead code/comments.Ori Bernstein
2017-08-21The indexes with should be numbers as well as intsfixtraitsOri Bernstein
2017-08-21Clean up dial+plan9.myrOri Bernstein
2017-08-20Fix a few bugs.Ori Bernstein
2017-08-20Fix trait shit.Ori Bernstein
2017-08-19File is already global.Ori Bernstein
2017-08-13If a trait is specialized over a generic, it's generic too.Ori Bernstein
2017-08-08Bring back enforced namespaces.Ori Bernstein
2017-08-02Disallow types of the form `type t = t`.Ori Bernstein
2017-07-31Move array size checking to verification.Ori Bernstein
2017-07-31Handle empty array sizes correctly.Ori Bernstein
2017-07-30Add hook into frontend for sizeof() folding.Ori Bernstein
2017-07-29Finally do a by-scope comparison of generic types.Ori Bernstein
2017-07-29Automatic variablesOri Bernstein
2017-07-28Fix error message for generics in non-generic decls.Ori Bernstein
2017-07-27std.change std.name std.lookup std.rules.Ori Bernstein
2017-07-26Whitespace fixes.Quentin Carbonneaux
2017-07-21This function is long dead.Ori Bernstein
2017-07-15Inline remapping function.Ori Bernstein
2017-07-15Use type hashing instead of string hasing in tyenv.Ori Bernstein
2017-07-15Type binding refactoring now compiles.Ori Bernstein
2017-07-10Clean up conditions in trait satisfaction.Ori Bernstein
2017-07-09Remove stupid comments.Ori Bernstein
2017-07-09Mark things as static.Ori Bernstein
2017-07-09Clean up some indentation.Ori Bernstein
2017-07-09Inferstate is global.Ori Bernstein
generated by cgit v1.1 at 2022-06-26 00:09:38 +0000