AgeCommit message (Collapse)Author
2013-06-08Add support for compiling struct literals.struct-litOri Bernstein
2013-06-08Fix type inference for struct literals.Ori Bernstein
2013-06-08Add indexed initializer tree support.Ori Bernstein
Needed to support indexed initialization of sequence literals.
2013-06-07Fix the library link adding.Ori Bernstein
2013-06-07Merge branch 'struct-lit' of git+ssh:// into ↵Ori Bernstein
2013-06-07Parses struct elements, but doesn't compile them.Ori Bernstein
2013-06-05Improve the test program a tad.Ori Bernstein
2013-06-05Add code for a 'blat()' function.Ori Bernstein
2013-06-05Read far fewer dependencies over and over.Ori Bernstein
Check for freshness before scanning.
2013-06-05Escape quotes in assembler strings.Ori Bernstein
2013-06-05Remember to close the file when reading deps.Ori Bernstein
2013-06-05Parses struct elements, but doesn't compile them.Ori Bernstein
2013-05-31Enable struct-lit test.Ori Bernstein
2013-05-30Disable broken test.Ori Bernstein
2013-05-30Add test for properly scoped labels.Ori Bernstein
2013-05-30Keep logical-not operands in registers.Ori Bernstein
One of the operands of the test instruction needs to be in a register, which means that when testing a value against itslef, we need to load it into a reg.
2013-05-30unbreak union constructors.Ori Bernstein
We weren't reading the types and adding them to the namespace.
2013-05-29Merge branch 'master' of git+ssh:// Bernstein
Conflicts: parse/use.c
2013-05-28Add missing file.Ori Bernstein
2013-05-28Merge branch 'master' of git+ssh:// Bernstein
2013-05-28Add 'sleq' function to libstdOri Bernstein
2013-05-28Edit quotes in error message.Ori Bernstein
This makes it clearer to see what the label is, vs where the error message sis.
2013-05-28Edit quotes in error message.Ori Bernstein
This makes it clearer to see what the label is, vs where the error message sis.
2013-05-27Insert symbols into the right symbol table.Ori Bernstein
2013-05-27Fix cyclic type exports.Ori Bernstein
We really need a new usefile format. But for now, this works.
2013-05-26Tag exported types.Ori Bernstein
2013-05-02Write types after stabs.Ori Bernstein
We're modifying things so that all types are collected into identifiers before writing for serialization purposes.
2013-05-02Remove terminating 'Z' from usefile definition.Ori Bernstein
It's not useful. We have EOF to signal the end.
2013-05-02Remove useless exported functions.Ori Bernstein
2013-05-02Remove pickle.c, move it into use.cOri Bernstein
Because we'll be modifying how usefiles are written, it makes sense to merge these two files.
2013-05-01Allocate space for seqlit elements.Ori Bernstein
We forgot to allocate them.
2013-05-01Merge branch 'master' of git+ssh:// Bernstein
Conflicts: libstd/util.s
2013-04-12Add a test for exporting cyclic types from muse.Ori Bernstein
2013-04-11Fix types up properly.Ori Bernstein
We were leaving sizes in arrays uninferred in some cases. Calling tyfix() on types that are only exported and not used will fix this.
2013-04-10Renamings.Ori Bernstein
Rename members in the optctx struct.
2013-04-05Install union constructors when loading types.Ori Bernstein
Union constructors are parts of union types that need to appear in the global namespace. This change puts them there.
2013-04-05Don't double-name types in usefiles.Ori Bernstein
2013-04-04Fix mixed tabs and spaces.Ori Bernstein
2013-04-04Make sure we don't clobber cstring()'s ret val.Ori Bernstein
Because that would be bad.
2013-04-04Make it easier to iterate with option parsing.Ori Bernstein
2013-04-04Fix up option parsing code.Ori Bernstein
2013-04-04Shuffle and improve the command line option parser.Ori Bernstein
It's still incomplete and broken.
2013-04-04Add slice appending code.Ori Bernstein
2013-04-03Add functions for buffered formatting.Ori Bernstein
2013-04-03Add fatal() and fatalv() functions.Ori Bernstein
This means that we needed a putv() variant of put().
2013-04-02Error out on failing to respolve namespaces.Ori Bernstein
Don't segfault.
2013-04-02Remove some dead stores.Ori Bernstein
2013-04-02Add a delayed unification hash table.Ori Bernstein
Now, there is a mechanism to say "Try to unify with this if you haven't figured out a more specific type" within the inferencer. This is used only for union constructors, but it should get used for integer defaulting and similar soon.
2013-04-01Add a broken test for inferring named types.Ori Bernstein
Currently, we take the actual type of compound literals, and set that as their type. This is wrong, since it doesn't take into account named types. Instead, we should substitute the type with a type parameter, and do a post-unification pass checking the base type, similar to how we do a post pass to check integers. The test added should work to verify this.
2013-03-27Remove outdated line from help docs.Ori Bernstein