Koka compiler hangs when optimizations are enabled #608
Description
The Koka compiler hangs when I try to compile this code with optimizations:
https://github.com/Caid11/independent-study-fall-24/tree/optimizer-hang
It seems to enter an infinite loop at anything above -O0, and eventually exhausts the memory on my system. Interestingly, switching from vectors to lists in https://github.com/Caid11/independent-study-fall-24/blob/optimizer-hang/lib/map/champBacked.kk avoids the issue. (See Caid11/koka-hamt-champ-maps@0a768b8 for a diff with the change).
My configuration's details:
- OS: Windows 11
- Compiler: clang version 18.1.8
- Koka version: source build at dev commit 70f5609