summaryrefslogtreecommitdiff
path: root/parse/type.c
AgeCommit message (Expand)Author
2019-04-28Fix float conversions in casts.Ori Bernstein
2019-04-28Revert "Add a missing tysearch."Ori Bernstein
2019-03-03Give traits the necessary env.Ori Bernstein
2019-02-16Clean up redundant code.Ori Bernstein
2019-02-10Pass the type envs through properly in delayed unification.Ori Bernstein
2019-02-09Work towards removing the streq check.Ori Bernstein
2019-02-06Fix indentation.Ori Bernstein
2019-02-05Add a missing tysearch.Ori Bernstein
2018-10-18Remove bogus assert.Ori Bernstein
2018-06-11Fix type env assertion.Ori Bernstein
2018-01-21Cheap enums.Quentin Carbonneaux
2018-01-14Remove a global-global.Ori Bernstein
2018-01-11Fix how we bind types.Ori Bernstein
2018-01-11Move to new trait syntax.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
2017-08-26Add monotonically increasing equality check.Ori Bernstein
2017-08-23Check constraints correctly on typarams.Ori Bernstein
2017-08-23Resolve types in match rank.Ori Bernstein
2017-08-20Fix trait shit.Ori Bernstein
2017-08-13Remove dead debug code.Ori Bernstein
2017-08-13Types are also equal with flipflopping.Ori Bernstein
2017-07-29Automatic variablesOri Bernstein
2017-07-28Fix error message for generics in non-generic decls.Ori Bernstein
2017-07-15Type binding refactoring now compiles.Ori Bernstein
2017-07-09Style(9)-ify.Ori Bernstein
2017-07-06Cleaner/correcter version of the termination condition.Ori Bernstein
2017-07-06Fix up the type equality checking.Ori Bernstein
2017-07-06Remove double recursion.Ori Bernstein
2017-06-30Remove unused traitlist from Type structMichael Forney
2017-06-28Remove unused memb from Trait and rename funcs -> protoMichael Forney
2016-08-11Error if we duplicate struct members.Ori Bernstein
2016-06-21Don't accidentally duck type unions.Ori Bernstein
2016-05-10Remove values from the visited set.Ori Bernstein
2016-05-09Avoid infinite recursion when priting bad types.Ori Bernstein
2016-04-12Fix typo.Ori Bernstein
2016-02-28Don't recompute 'hasparams' over and over.Ori Bernstein
2016-02-27Fix up type generation a bit.Ori Bernstein
2016-02-27Add ability to deduplicate types.Ori Bernstein
2016-02-22Extract util functions into separate dir from parse/Ori Bernstein
2016-02-07Generic iterators now seem to work.Ori Bernstein
2016-01-31Add support for generic impls.Ori Bernstein
2016-01-31Fix missing tysearch()Ori Bernstein
2016-01-30Give better errors on infinite types.Ori Bernstein
2016-01-29Clean up type inference a bit.Ori Bernstein
2016-01-24A pointer isn't an unsigned int...Ori Bernstein
2016-01-02Correctly check for decls without initializers.Ori Bernstein
2016-01-03fix debug cruftOri Bernstein
2016-01-01Fix style.Ori Bernstein