summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2012-08-19Add to the manpages.Ori Bernstein
2012-08-19More stubbing in of information.Ori Bernstein
2012-08-19Remove unused header.Ori Bernstein
2012-08-19Don't use string functions with unchecked length.Ori Bernstein
Sure, it's safe if we calculate, but it's better if we don't use them at all. And OpenBSD is happier if we don't use them.
2012-08-19Add a stubbed in manpage.Ori Bernstein
2012-08-18Write a bit about flattening.Ori Bernstein
2012-08-18Rephrase the usefile descriptionOri Bernstein
2012-08-18More docs.Ori Bernstein
2012-08-18Stub in table of contents.Ori Bernstein
2012-08-18Add start of compiler internals documentation.Ori Bernstein
2012-08-18Change 'cons' to 'ucon', add uget.Ori Bernstein
Makes it clearer what operators act on unions.
2012-08-16We declare the variables in pattern matches now.Ori Bernstein
We used to just error on unbound variables. Now we recognize that we need to match them, and declare a variable for them. We just don't actually assign it what we should...
2012-08-15Actually create the typaram.Ori Bernstein
2012-08-15Add syntax and tests for multiple constraintsOri Bernstein
We need to be able to specify all integer-like constraints on a type in order to compare it to an int. Make that work.
2012-08-15Merge branch 'master' of git+ssh://mimir.eigenstate.org/git/ori/mc2Ori Bernstein
Conflicts: parse/infer.c
2012-08-15Look up values in the correct namespace.Ori Bernstein
2012-08-15Renamings.Ori Bernstein
2012-08-15Fix bug in text value.Ori Bernstein
Tests work better if they produce the right answer...
2012-08-15We don't need the load instruction.Ori Bernstein
2012-08-15Make nested structs work.Ori Bernstein
2012-08-15Add another broken test for nested structs.Ori Bernstein
2012-08-15Stabs named 'ns' are returned when we look up 'ns'.Ori Bernstein
If a symbol table is named 'ns', it should be returned when we try to find a symbol tabled named 'ns' within it. This allows us to search up namespaced names properly.
2012-08-15tylike becomes mktylike.Ori Bernstein
2012-08-15More comments.Ori Bernstein
2012-08-15More comments.Ori Bernstein
2012-08-14Use ':' instead of ',' in slice types.Ori Bernstein
2012-08-14Use ':' instead of ',' in slice ranges.Ori Bernstein
It's clearer notation, IMO.
2012-08-14Allow implicit bounds on slices.Ori Bernstein
2012-08-14Remove stupid comment.Ori Bernstein
2012-08-14More comments and some code rearrangements.Ori Bernstein
2012-08-14Add comments.Ori Bernstein
2012-08-12Don't overflow the stackOri Bernstein
When we had logical nots, we just kept swappign the labels and passing down the same expression, instead of it's first arg.
2012-08-12Merge branch 'master' of git+ssh://mimir.eigenstate.org/git/ori/mc2Ori Bernstein
2012-08-12Fix stray refactoring issues.Ori Bernstein
Missed the removal of a Tendln, and left 'block' where 'body' should have been.
2012-08-12Put match values into temporary.Ori Bernstein
We don't need to constantly recompute it.
2012-08-12Improve boolean simplification.Ori Bernstein
Now we don't generate gobs of labels and temporary stores. We just goto wherever we need to go.
2012-08-12Start on style guide.Ori Bernstein
2012-08-12Some clarification on tyvars.Ori Bernstein
2012-08-12Explain the interchanability of ';' and \nOri Bernstein
2012-08-12Clarify the way that string literals work.Ori Bernstein
2012-08-12Add standard library sectionOri Bernstein
Does it belong in the language doc?
2012-08-12Improve formatting of 'examples' sections of docs.Ori Bernstein
2012-08-12Remove dead section number.Ori Bernstein
2012-08-12Document match statements:Ori Bernstein
2012-08-11A bit more grammar refactoring.Ori Bernstein
2012-08-11Test condensed version of syntax.Ori Bernstein
We don't need as many newlines any more.
2012-08-11Refactor the grammar.Ori Bernstein
2012-08-11Rearrange sections.Ori Bernstein
2012-08-09Add more docs.Ori Bernstein
2012-08-09Merge branch 'master' of git+ssh://mimir.eigenstate.org/git/ori/mc2Ori Bernstein