Gaith Hallak
|
21cc6f2b3e
|
Add constrained_t to fold
|
2022-06-20 10:28:17 +04:00 |
|
Gaith Hallak
|
e8da0a7cfe
|
Update docs/sophia_features.md
Co-authored-by: Radosław Rowicki <35342116+radrow@users.noreply.github.com>
|
2022-06-19 21:44:47 +04:00 |
|
Gaith Hallak
|
4562a7166c
|
Fix the tests after changing address to ord
|
2022-06-19 21:07:41 +04:00 |
|
Gaith Hallak
|
fc2875965e
|
Make address comparable by inequality
|
2022-06-19 20:54:58 +04:00 |
|
Gaith Hallak
|
9d296f04cb
|
Formatting fix
|
2022-06-19 19:19:15 +04:00 |
|
Gaith Hallak
|
ea98fc97bb
|
Add an example of address type to the docs
|
2022-06-19 19:18:10 +04:00 |
|
Gaith Hallak
|
46ac9bfa82
|
Update the docs
|
2022-06-14 22:19:35 +04:00 |
|
Gaith Hallak
|
75f2711148
|
Update CHANGELOG
|
2022-06-14 19:04:20 +04:00 |
|
Gaith Hallak
|
8e6c6d81ad
|
Add char type to the docs
|
2022-06-14 18:29:27 +04:00 |
|
Gaith Hallak
|
2d17ce3ee2
|
Add test for unknown tvar constraints
|
2022-06-14 18:29:27 +04:00 |
|
Gaith Hallak
|
fc08fe09a5
|
Add tests for calling constrained functions
|
2022-06-14 18:29:27 +04:00 |
|
Gaith Hallak
|
6c17e57a7c
|
Fix dialyzer warnings
|
2022-06-14 18:29:27 +04:00 |
|
Gaith Hallak
|
69713036d0
|
Add constraints to typechecker, fix old tests, add new ones
|
2022-06-14 18:29:26 +04:00 |
|
Gaith Hallak
|
f56eeb0b2b
|
Use id() for constraints instead of keywords
|
2022-06-14 18:26:22 +04:00 |
|
Gaith Hallak
|
3f177d363f
|
Add constraints to the syntax and parser
|
2022-06-14 18:25:21 +04:00 |
|