QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Solve constraints together and in the order they are added #851

Merged
ghallak merged 6 commits from ghallak/358 into master 2021-12-16 20:54:07 +09:00
Conversation 5 Commits 6 Files Changed 3 +200 -224

6 Commits

Author SHA1 Message Date
Gaith Hallak
7ac5e9dd5b Remove unused function 2021-12-16 13:36:25 +02:00
Gaith Hallak
5d0a0eea85 Add comment on solve_known_record_types 2021-12-16 13:36:25 +02:00
Gaith Hallak
2ed9b1102a Fix dialyzer warnings 2021-12-16 13:36:25 +02:00
Gaith Hallak
fee2c574aa Solve constraints together and in order 2021-12-16 13:36:25 +02:00
Gaith Hallak
c61e10a2b9 Revert "Solve named argument constraints when record type dereferencing fails" 
This reverts commit ca38a171a9eefdddbc3f6a41f8a268c42662cd7a.
 2021-12-16 13:36:25 +02:00
Gaith Hallak
6d7a1f9fe2 Solve named argument constraints when record type dereferencing fails 2021-12-16 13:36:25 +02:00