Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
25 check-ins using file bs/compiler.cpp version 8dd1313377
|
2019-09-21
| ||
| 21:43 |
| |
|
2019-09-18
| ||
| 22:41 | When instancing template functions, parse their verification statements. check-in: a9930c3c49 user: achavasse tags: trunk | |
|
2019-09-17
| ||
| 22:34 | parser: fill in the unparsed verification statements in tfunctype. check-in: 035c904764 user: achavasse tags: trunk | |
| 20:08 |
| |
|
2019-09-16
| ||
| 21:38 |
| |
|
2019-09-15
| ||
| 22:23 |
| |
|
2019-09-09
| ||
| 16:38 | Func types now store a pre assertion expression and a post assertion expression. check-in: 7c69a33283 user: achavasse tags: trunk | |
| 16:00 | llr: added the assert verification instruction. check-in: 3e6bd22335 user: achavasse tags: trunk | |
|
2019-09-07
| ||
| 17:10 | ir: got rid of the code to merge and to match two tries, which isn't used and is unlikely to be needed at this point. check-in: e9ee5d4728 user: achavasse tags: trunk | |
| 16:53 | ir: rewrote the super inefficient "term versus trie" matching function. This speeds up everything significantly: compiling the mandelbrot sample is no longer embarrassingly slower than compiling an equivalent c++ version with clang. check-in: 0db33d7cb4 user: achavasse tags: trunk | |
|
2019-08-31
| ||
| 14:57 |
| |
|
2019-08-30
| ||
| 01:07 | The tuple assignment and compound assignment operators now first collect the results into temporary variables, and then perform the assignments. This allows things such as a,b = b,a to work. check-in: 982d26433b user: achavasse tags: trunk | |
|
2019-08-29
| ||
| 20:50 | Implemented an unification rule for tuples. It is now possible to put multiple variable declarations in a tuple and initialize them using another tuple. check-in: aee9a8fb25 user: achavasse tags: trunk | |
| 20:12 | Params are now encoded distinctly from normal values, to allow for more generic unification rules for things suchs as BigInt versus Integer. check-in: 6e598fe891 user: achavasse tags: trunk | |
|
2019-08-28
| ||
| 00:01 |
| |
|
2019-08-27
| ||
| 21:40 | Extended the comma operator to be able to handle the concatenation of, and prepending values to open tuples. check-in: 537ae5ab51 user: achavasse tags: trunk | |
| 21:10 | When parsing a decl that immediately precedes a paren block (ie a function decl), use a lower precedence than the comma operator, to allow a non-parenthesized tuple to be used as the return type. check-in: 0052ff08b3 user: achavasse tags: trunk | |
| 20:27 | Tuples containing only types or other tuples of types are now considered types. check-in: 533d2ce579 user: achavasse tags: trunk | |
| 19:46 | Live values are now identified by an unique id to avoid using a fragile, non future proof way to extend the lifetime of local variables beyond their containing statements. check-in: 39cabb3447 user: achavasse tags: trunk | |
|
2019-08-26
| ||
| 00:18 | Implemented local variable destruction (through the DestroyValue() extension point), and setup proper visibility and lifetime rules for variables declared inside of statements. check-in: c2b2425c0c user: achavasse tags: trunk | |
|
2019-08-25
| ||
| 02:15 | Small cleanups and re-enable llvm optimizations when compiling. check-in: dc199732f8 user: achavasse tags: trunk | |
| 01:54 |
| |
|
2019-08-24
| ||
| 22:05 | Added a sample program that renders an ascii art mandelbrot. check-in: 05234fc5f0 user: achavasse tags: trunk | |
| 20:41 | Make cast() eagerly evaluated once again, it was removed by mistake. check-in: 7fa6ff1937 user: achavasse tags: trunk | |
| 19:33 | More cleanup around which builtin functions should be intrinsics/eager/non eager. check-in: fece958df9 user: achavasse tags: trunk | |