Skip to content

[Bug Report] stackoverflow while type checking#22

Draft
iacore wants to merge 2 commits intoHigherOrderCO-archive:masterfrom
iacore:stackoverflow
Draft

[Bug Report] stackoverflow while type checking#22
iacore wants to merge 2 commits intoHigherOrderCO-archive:masterfrom
iacore:stackoverflow

Conversation

@iacore
Copy link

@iacore iacore commented Sep 22, 2024

use this PR branch

❯ cd book/
❯ kind2 check Dynamic

thread 'main' has overflowed its stack
fatal runtime error: stack overflow
fish: Job 1, 'kind2 check Dynamic' terminated by signal SIGABRT (Abort)

iacore added 2 commits September 22, 2024 02:07
tbh I have no idea what I'm doing. It just works
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant