summaryrefslogtreecommitdiff
path: root/parse
AgeCommit message (Expand)Author
2017-07-26Whitespace fixes.Quentin Carbonneaux
2017-07-25Remove spandrels.Ori Bernstein
2017-07-21This function is long dead.Ori Bernstein
2017-07-19Only use the filename itself for __init__Ori Bernstein
2017-07-17Start migrating code to use `for x : iterable`.Ori Bernstein
2017-07-15Wrap overlong line.Ori Bernstein
2017-07-15Remove unused extern var.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-12Add support for -O in 6m.Ori Bernstein
2017-07-10Remove unused enum.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-09Don't allow hidden decls to clobber each other.Ori Bernstein
2017-07-08Remap type params according to bound scope.Ori Bernstein
2017-07-08Factor out genericness checks.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-06Fix unused name in error message.Ori Bernstein
2017-07-06Remove double recursion.Ori Bernstein
2017-07-05Add some discipline to type bindings.Ori Bernstein
2017-07-03Function args should go into the block stab.Ori Bernstein
2017-07-03Actually mark void arg lists as void.Ori Bernstein
2017-07-03Errors are conventionally lowercase.Ori Bernstein
2017-07-03Clean up formatting of error reporting.Ori Bernstein
2017-07-03Clean up indentation of comments.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-07-03Write trait IDs instead of indices in typickleMichael Forney
2017-07-03Fix indentationMichael Forney
2017-06-30TyposMichael Forney
2017-06-30Use switch statement in postcheckpassMichael Forney
2017-06-30Remove unused traitlist from Type structMichael Forney
2017-06-28Update ABI version.Ori Bernstein
2017-06-28Remove unused memb from Trait and rename funcs -> protoMichael Forney
2017-06-28Remove unused trait structure in NodeMichael Forney
2017-06-25Fix some actual type bugs.Ori Bernstein
2017-06-25Check for type name equality.Ori Bernstein
2017-06-24Clean up source marking a bit.Ori Bernstein
2017-06-24Start marking sources of type errors.Ori Bernstein
2017-06-24Clean up infer state structure and comments.Ori Bernstein
2017-06-24Fix occurs check.Ori Bernstein
2017-06-24Miscellaneous typo/formatting fixesMichael Forney
2017-06-20Generics get specialized. No capture.Ori Bernstein