aboutsummaryrefslogtreecommitdiff
path: root/docs/SPEC.md
Commit message (Expand)AuthorAgeFilesLines
* len: len on a char* is an error with typecheck off too (appendix b.2.14)Gravatar zinc 13 days1-2/+2
* prototypes: parameters may be unnamed, int f(int, int*); (appendix b.2.13)Gravatar zinc 13 days1-2/+2
* as: the type after as is read greedily in both compilers; x as int * y is a s...Gravatar zinc 13 days1-2/+2
* lexer: a block comment that is never closed is 'unterminated comment' (append...Gravatar zinc 13 days1-2/+2
* bool: a value stored into a bool is normalised to 0 or 1 (appendix b.2.6)Gravatar zinc 13 days1-2/+2
* enum: a member is defined as soon as it is declared, so later values can name...Gravatar zinc 13 days1-2/+2
* globals: an integer constant initializing a float or f32 global converts to f...Gravatar zinc 13 days1-1/+1
* zc0umd: no recast uses a visible u/m/d as its tag (spec 1.6.3); spec: the fix...Gravatar zinc 13 days1-16/+23
* bounds checking: constant loop bound proof works, plain-op fixed-array check,...Gravatar zinc 13 days1-5/+12
* line tables and backtraces: port agent/line-tables onto main, op 56 on the x8...Gravatar zinc 13 days1-5/+14
* Merge the defer statement; todo: tick it, add its follow-upsGravatar zinc 13 days1-0/+19
|\
| * zc: add the defer statementGravatar zinc 14 days1-0/+19
* | fix std hover, full capture terminator, bare static calls, void main in run-o...Gravatar zinc 14 days1-2/+2
|/
* docs: add SPEC.md, the first written specification of zcGravatar zinc 14 days1-0/+1093