src/Curry/Frontend/Modules.hs · d5c0b1a39ab70b9badcb6a3439ab5261895d8126 · curry / curry-frontend · GitLab

Mar 17, 2025
d5c0b1a3
Move case mode check after syntax check · d5c0b1a3
Fredrik Wieczerkowski authored Mar 17, 2025
```
This fixes a constructor disambiguation that caused a test to fail.
```
d5c0b1a3
Move case mode check after syntax check
Fredrik Wieczerkowski authored Mar 17, 2025
```
This fixes a constructor disambiguation that caused a test to fail.
```