tocariimaa
|
db91cf09fc
|
sema: use ast field here, add assertion
|
2025-01-21 14:36:18 -03:00 |
|
tocariimaa
|
632fe260fe
|
sema: return proc return type instead of proc type itself
|
2025-01-21 14:35:47 -03:00 |
|
tocariimaa
|
319047ccea
|
add < and > operators to enviroment
|
2025-01-21 14:34:23 -03:00 |
|
tocariimaa
|
71fb88602f
|
move to nominal typing for some types
|
2025-01-20 19:30:22 -03:00 |
|
tocariimaa
|
6ff868a646
|
rename: attribute -> pragma in fields
|
2025-01-20 19:03:33 -03:00 |
|
tocariimaa
|
ea9e8b7d0d
|
rename: attribute -> pragma
|
2025-01-20 18:54:23 -03:00 |
|
tocariimaa
|
41589320de
|
preliminary variable decl type inference from expr
Start work on basic type inference, here for inferring the type of a
variable declaration from its assigned expression.
|
2025-01-15 13:47:59 -03:00 |
|
tocariimaa
|
001a06dd2d
|
pass correct location to return expression check
The `return` statement location was being used instead of the expression
location.
|
2025-01-15 13:07:17 -03:00 |
|
tocariimaa
|
f5230501a9
|
separate Location for identifier and type in AST
`AstIdentTypePair` AST node.
|
2025-01-12 23:15:03 -03:00 |
|
tocariimaa
|
bba597f7bf
|
Initial commit
|
2025-01-12 18:20:42 -03:00 |
|