summaryrefslogtreecommitdiff
path: root/parse
AgeCommit message (Expand)Author
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
2017-06-19Functions are functions, even if you specialize them.Ori Bernstein
2017-06-18For consistency, lfree should be paired with lappend.Ori Bernstein
2017-06-18Track typefix and traitfix in single arraysMichael Forney
2017-06-18Only need to free typefixdest onceMichael Forney
2017-06-18Prevent traitfixtype from getting out of syncMichael Forney
2017-06-17Misc 9front fixes.Ori Bernstein
2017-05-14Tag declaration initializers in generics.Ori Bernstein
2017-04-21Clean up export tagging code.Ori Bernstein
2017-04-21Dedup conflicting use statements.Ori Bernstein
2017-03-10Fix labels in nested functions.Ori Bernstein
2017-03-09Put ucons into the right namespace.Ori Bernstein
2017-02-17Search for usefiles relative to the output.Ori Bernstein
2017-02-17Set loc when parsing decllistMichael Forney
2017-02-14Fold Oudata.Ori Bernstein
2017-02-14Fold Utags on union literals.Ori Bernstein
2017-02-14Remove unused token type.Ori Bernstein
2017-02-13Clean up warnings about ambiguous grammar.Ori Bernstein