|
60beb163eb
|
implement rudimentary type_check
|
2023-09-26 14:58:42 +02:00 |
|
|
1a5be135e5
|
cargo fmt
|
2023-09-26 14:39:09 +02:00 |
|
|
2eb643347d
|
do proper type checking diverge error reporting
|
2023-09-26 14:38:50 +02:00 |
|
|
3840db5c9e
|
use record methods instead of re-rolling
|
2023-09-26 14:25:21 +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 |
|
|
bbebc9a518
|
implement pattern 'Eq properly again
|
2023-09-26 13:47:34 +02:00 |
|
|
363746b51b
|
add substitution support
|
2023-09-26 13:19:20 +02:00 |
|
|
2f5c4023c4
|
add 'foreach' interface to Pattern
|
2023-09-26 12:29:50 +02:00 |
|
|
52c4891c5b
|
properly fix Expr equality (which ignores SourceSpans)
|
2023-09-26 12:04:09 +02:00 |
|
|
f49ebe6a09
|
get rid of Pattern::TyRecord (it's fallible/unsound)
|
2023-09-26 11:48:29 +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 |
|
|
5a01cb4b63
|
fix lexing of whitespace after comments
|
2023-09-25 22:28:09 +02:00 |
|
|
2d97fa6b20
|
implement basic type checking
|
2023-09-25 22:26:15 +02:00 |
|
|
49e8db2b3f
|
make project REUSE compliant
|
2023-09-25 16:46:04 +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 |
|
|
995711578c
|
use single dollar for PatIgnore
|
2023-09-25 00:05:11 +02:00 |
|
|
abac5189a3
|
initial commit
|
2023-09-24 23:58:28 +02:00 |
|