QPQ-AG/sophia
12
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Add comparable typevar constraints #881

Open
ghallak wants to merge 15 commits from ghallak/229 into master
pull from: ghallak/229
merge into: :master
Conversation 18 Commits 15 Files Changed 15
+522 -42
15 Commits
Author SHA1 Message Date
Gaith Hallak 21cc6f2b3e Add constrained_t to fold 2022-06-20 10:28:17 +04:00
Gaith HallakandRadosław Rowicki 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