Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-07-18 | Fix typos in spec (thanks, Mike) | Ori Bernstein | |
2019-01-12 | Improve manpages (thanks BurnZeZ) | Ori Bernstein | |
2019-01-07 | Update the muse manpage. | Ori Bernstein | |
Some bugs are fixed. | |||
2019-01-07 | Change indexed array literal syntax. | Ori Bernstein | |
2018-07-19 | Add documentation for tuple access expressions | Quentin Carbonneaux | |
I updated the language spec to mention the feature my previous patch introduces. I also fixed some cross-references en passant. | |||
2018-07-14 | Push down named unions types into union tags | Ori Bernstein | |
Currently, union tags are given the type of their enclosing union, by default: type u = union `Foo ;; var x = `Foo will currently infer the variable 'x' as having type 'union `Foo ;;'. To make the type of 'x' infer as 'foo', the code needs to force 'x' to unify with something that is explicitly declared as a 'u'. This change makes it so that union tags declared in the manner above will default to type 'u', instead. This is a special case, but it makes the behavior less surprising. | |||
2018-04-08 | Add support for `-T` option to compile in test mode. | Ori Bernstein | |
Tests can now access hidden declarations. | |||
2018-01-14 | Update language spec for new trait syntax. | Ori Bernstein | |
2017-08-02 | Fixed typos (thanks rurban). | Ori Bernstein | |
2017-07-25 | Update lang spec for new for syntax. | Ori Bernstein | |
2017-07-03 | Specialize impl declarations on impl type in addition to decl type | Michael Forney | |
This allows multiple specializations of a declarations with a concrete type, which can be selected with the new impl expression if it can't be deduced by its type alone. For example trait hasname @t = Name: byte[:] ;; impl hasname void = Name = "somename" ;; impl hasname bool = Name = "othername" ;; const boolname = impl(Name, void) To do this, pass the param type through to genericname and specializedcl. Since we now need the type parameter to look up trait decls, make sure n->expr.param gets the necessary treatment in typesub, specializenode, pickle, and unpickle. We also need to tag the param types for export. | |||
2017-07-03 | Add impl(type, name) to retrieve a particular implementation of a trait decl | Michael Forney | |
This avoids having to create a temporary variable when you know what implementation your want for a generic constant or function with generic return value. Re-use the impl keyword for this expression to avoid invalidating existing programs. | |||
2017-06-30 | Typos | Michael Forney | |
2017-06-24 | Miscellaneous typo/formatting fixes | Michael Forney | |
2017-03-06 | You can declare things without attributes. | Ori Bernstein | |
2017-03-03 | Fix grammar mistakes. | Ori Bernstein | |
Missing quotes, unionbody, structbody. | |||
2017-03-02 | The muse manpage is no longer full of lies. | Ori Bernstein | |
2017-02-18 | Improve documentation in response to feedback. | Ori Bernstein | |
Thanks, Ayaka. | |||
2017-02-18 | Composite types is a shitty name. | Ori Bernstein | |
Constructed types is not a shitty name. | |||
2017-02-17 | Update the mc manpage. | Ori Bernstein | |
2017-02-17 | Update compiler manpage. | Ori Bernstein | |
2017-02-13 | Specify default types. | Ori Bernstein | |
2017-02-13 | Clarify comment rules. | Ori Bernstein | |
2017-02-13 | Clarify the EBNF description. | Ori Bernstein | |
2017-02-13 | Clarify whitespace handling. | Ori Bernstein | |
2017-02-13 | Simplify the abstract. | Ori Bernstein | |
2017-02-13 | Disambiguate args for comparisons in spec. | Ori Bernstein | |
2017-02-12 | Update spec to make ucons a normal prefix operator. | Ori Bernstein | |
2017-02-04 | Ucons are now prefix expressions. | Ori Bernstein | |
It's just what it looks like. This cleans up taking the address of union literals. | |||
2017-02-03 | Fix some looseness in the spec. | Ori Bernstein | |
2017-02-03 | Fix mixed tabs and spaces in doc. | Ori Bernstein | |
2017-02-01 | remove pseudo-operators. | Ori Bernstein | |
2017-02-01 | Apply fixes thanks to tridactyla on IRC. | Ori Bernstein | |
2017-02-01 | Update the grammar. | Ori Bernstein | |
2017-02-01 | Copy paste error. Boolean => void | Ori Bernstein | |
2017-02-01 | Not worth the work of finishing or maintaining the compiler doc. | Ori Bernstein | |
2017-01-31 | Explain type inference and builtin traits better. | Ori Bernstein | |
2017-01-30 | Specify bounds checking. | Ori Bernstein | |
2017-01-29 | Add specification of accessing pointers via casts. | Ori Bernstein | |
2017-01-29 | Clarify and improve explanation of pattern matching. | Ori Bernstein | |
2017-01-28 | Describe lvalues and rvalues. | Ori Bernstein | |
2017-01-26 | Fix comment descriptions. | Ori Bernstein | |
2017-01-22 | Fix up type inference section a bit. | Ori Bernstein | |
2017-01-22 | Update explanation of traits and impls. | Ori Bernstein | |
2017-01-21 | Make grammar item namings clearer. | Ori Bernstein | |
2017-01-21 | Fill in a bit more on the type system. | Ori Bernstein | |
2017-01-21 | Rearrange things to match the TOC. | Ori Bernstein | |
2017-01-21 | Shuffle around documentation for leaf types. | Ori Bernstein | |
2017-01-21 | Specify operators. | Ori Bernstein | |
2017-01-19 | Rearrange topics and start documenting operators. | Ori Bernstein | |