|
f4b1e3195e
|
add repr inference
|
2023-10-01 15:08:29 +02:00 |
|
|
0c529d109c
|
introduce more base types
|
2023-10-01 13:53:21 +02:00 |
|
|
29f459fb2c
|
properly format EvEqSourceSpan
|
2023-09-26 15:27:43 +02:00 |
|
|
5f59c109be
|
cargo clippy
|
2023-09-26 15:22:47 +02:00 |
|
|
a904aaef15
|
put Expr into separate file
|
2023-09-26 14:20:35 +02:00 |
|
|
29cf140d27
|
+Subst trait
|
2023-09-26 14:17:24 +02:00 |
|
|
5e776b963d
|
put record stuff into separate file
|
2023-09-26 14:12:43 +02:00 |
|
|
363746b51b
|
add substitution support
|
2023-09-26 13:19:20 +02:00 |
|
|
52c4891c5b
|
properly fix Expr equality (which ignores SourceSpans)
|
2023-09-26 12:04:09 +02:00 |
|
|
d492ec4d00
|
small code reorg
|
2023-09-26 11:45:07 +02:00 |
|
|
38b8b54104
|
move pattern stuff into separate file
|
2023-09-26 11:40:05 +02:00 |
|
|
c63329d59d
|
more parts of the type checker
|
2023-09-26 00:12:50 +02:00 |
|
|
2d97fa6b20
|
implement basic type checking
|
2023-09-25 22:26:15 +02:00 |
|
|
2935baf77f
|
parse records inside patterns and add REUSE headers
|
2023-09-25 16:23:03 +02:00 |
|
|
23fcbb4e14
|
add example with proper error reporting
|
2023-09-25 15:56:06 +02:00 |
|
|
282fc0f358
|
fix let bindings
|
2023-09-25 15:08:48 +02:00 |
|
|
f11c3afa28
|
improve partial parse
|
2023-09-25 14:33:56 +02:00 |
|
|
abac5189a3
|
initial commit
|
2023-09-24 23:58:28 +02:00 |
|