Jan Mas Rovira
|
85601c6332
|
[scoper] properly handle qualified constructors in patterns
|
2022-02-18 00:58:41 +01:00 |
|
Jan Mas Rovira
|
393f907a51
|
[scoper] add error for unused operator syntax definitions
|
2022-02-17 22:00:58 +01:00 |
|
Jan Mas Rovira
|
e55680bfec
|
[scoper] add module not in scope error
|
2022-02-17 13:40:19 +01:00 |
|
Jan Mas Rovira
|
4ffc7f368d
|
[wip] incorporate singletons-th
|
2022-02-16 20:15:14 +01:00 |
|
Jan Mas Rovira
|
add1b6e689
|
[tests] add more errors and their tests
|
2022-02-16 15:18:08 +01:00 |
|
Jan Mas Rovira
|
ee1ed2d385
|
[pretty] cool error for import cycles
|
2022-02-16 11:53:58 +01:00 |
|
Jan Mas Rovira
|
0856327658
|
[errors] add not in scope error
|
2022-02-14 13:39:54 +01:00 |
|
Jan Mas Rovira
|
d2e07b9c43
|
[errors] add more errors and tests
|
2022-02-14 11:54:18 +01:00 |
|
Jan Mas Rovira
|
cbc9a409ca
|
[tests] add two negative tests to check new errors
|
2022-02-14 09:06:11 +01:00 |
|