You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
parse : .../bb.kk
check : bb
bb(1, 1): internal error: Core.Parc.getDataDefInfo: cannot find type: std/time/timestamp/timespan
CallStack (from HasCallStack):
error, called at src\Common\Failure.hs:46:12 in koka-3.1.1-4KWDIhobz6XJ1Dhpw9I5uN:Common.Failure
raise, called at src\Common\Failure.hs:32:5 in koka-3.1.1-4KWDIhobz6XJ1Dhpw9I5uN:Common.Failure
failure, called at src\Backend\C\Parc.hs:988:34 in koka-3.1.1-4KWDIhobz6XJ1Dhpw9I5uN:Backend.C.Parc
Failed to compile bb.kk
Some notes:
I'm using Koka v3.1.1 on Windows
My C compiler is MSVC 19.34.31937
The build succeeds if I pass --rebuild
Even when the build succeeds, re-running the build command produces the error.
I see this error when I try to compile my code:
Some notes:
--rebuild
The failing code is here: https://github.com/Caid11/Functional-Program-Studio/tree/internal-error-cannot-find-type/blockbuilder
It only compiles on Windows and is a large reproducer, but I'm not sure how to meaningfully reduce it (suggestions are welcome).
The text was updated successfully, but these errors were encountered: