summaryrefslogtreecommitdiff
path: root/parse/infer.c
AgeCommit message (Expand)Author
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
2017-07-09Style(9)-ify.Ori Bernstein
2017-07-08Remap type params according to bound scope.Ori Bernstein
2017-07-08Factor out genericness checks.Ori Bernstein
2017-07-06Fix unused name in error message.Ori Bernstein
2017-07-05Add some discipline to type bindings.Ori Bernstein
2017-07-03Specialize impl declarations on impl type in addition to decl typeMichael Forney
2017-07-03Add impl(type, name) to retrieve a particular implementation of a trait declMichael Forney
2017-07-03Resolve trait decl types before fixing themMichael Forney
2017-06-30TyposMichael Forney
2017-06-30Use switch statement in postcheckpassMichael Forney
2017-06-28Remove unused memb from Trait and rename funcs -> protoMichael Forney