Richard Smith
|
0c33dead70
Remove the type field from semantics nodes that don't produce values of that type. (#3049)
|
před 2 roky |
Farzana Ahmed Siddique
|
6a81a3396e
Updated tests for tool chain to incorporate type blocks (#3008)
|
před 2 roky |
Farzana Ahmed Siddique
|
0594a1aac7
Integrates tuple to semantic analysis (#2992)
|
před 2 roky |
Jon Ross-Perkins
|
bc84f109fe
Rename semantics InvalidType to Error (#2975)
|
před 2 roky |
Jon Ross-Perkins
|
918c089e03
Add namespace support. (#2940)
|
před 2 roky |
Richard Smith
|
4b69264cb1
Add implied `return;` at end of non-value-returning functions. (#2942)
|
před 2 roky |
Richard Smith
|
1ea123cd94
Semantics IR building for `if` statements. (#2920)
|
před 2 roky |
Richard Smith
|
06ce3b0161
Parsing, semantic analysis, and lowering for `and`, `or`, `not`. (#2897)
|
před 2 roky |
Richard Smith
|
aa40e2b8a9
`true` and `false` support, and lowering for `bool` type. (#2896)
|
před 2 roky |
Richard Smith
|
202d3f5993
Semantic analysis for `if` expressions (#2893)
|
před 2 roky |
Jon Ross-Perkins
|
39f7aae98d
Sorting out how bindings are added to name lookup. (#2869)
|
před 2 roky |
Jon Ross-Perkins
|
dce67e4062
Rename semantics to semantics_ir (#2858)
|
před 2 roky |
Jon Ross-Perkins
|
1497e1333d
Switch types to a SemanticsTypeId. (#2854)
|
před 2 roky |
Jon Ross-Perkins
|
709412ca97
Remove the builtin empty tuple value (not type). (#2850)
|
před 2 roky |
Jon Ross-Perkins
|
76151d1fff
Stop special-casing empty structs. (#2849)
|
před 2 roky |
Jon Ross-Perkins
|
1d56e165ef
Start refactoring type handling to track which types are in-use. (#2848)
|
před 2 roky |
Jon Ross-Perkins
|
e73207429f
Adjust handling of values in calls and structs (#2824)
|
před 3 roky |
Jon Ross-Perkins
|
77385aa344
Refactor semantics logic into separate files. (#2819)
|
před 3 roky |
Jon Ross-Perkins
|
0732d5857d
Collapse StringifyNodeImpl (#2806)
|
před 3 roky |
Jon Ross-Perkins
|
32ea47f068
Make stringification non-recursive. (#2804)
|
před 3 roky |
Jon Ross-Perkins
|
706e611b6d
Support designator expressions on structs. (#2716)
|
před 3 roky |
Jon Ross-Perkins
|
2eef8c751b
Add semantics for struct type and value literals. (#2709)
|
před 3 roky |
Jon Ross-Perkins
|
7fc203c536
Refactor SemanticsNode factory functions into factory templates. (#2711)
|
před 3 roky |
Jon Ross-Perkins
|
c615d76196
Add stringification for nodes. (#2704)
|
před 3 roky |
Jon Ross-Perkins
|
4ca2e81877
Modify SemanticsIR printing to produce stable output on builtin changes. (#2702)
|
před 3 roky |
Jon Ross-Perkins
|
f7924aa93f
Implement calls in the toolchain. (#2582)
|
před 3 roky |
Jon Ross-Perkins
|
22d7cd19ed
Polish out support for reals and strings. (#2593)
|
před 3 roky |
Jon Ross-Perkins
|
b2c60b4f53
Change the builtin enum approach to enforce addition. (#2584)
|
před 3 roky |
Jon Ross-Perkins
|
6feed2ae33
Add tracking of function parameters (#2552)
|
před 3 roky |
Jon Ross-Perkins
|
6fde5cfab0
Switch Print to range-based for loops (#2549)
|
před 3 roky |