summaryrefslogtreecommitdiff
path: root/parse
AgeCommit message (Expand)Author
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-29Don't use tyhash for scoping.Ori Bernstein
2017-07-29Eliminate the deduptab.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-26Be stricter about declarations in function types.Ori Bernstein
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