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
I found this while trying to reduce my reproducer for #500. It's very similar, and could be related or a duplicate.
When I try to compile my code, I see this error:
parse : .../bb.kk
check : bb
bb(1, 1): internal error: Map.!: given key is not an element in the map
CallStack (from HasCallStack):
error, called at libraries\containers\containers\src\Data\Map\Internal.hs:617:17 in containers-0.6.7:Data.Map.Internal
Failed to compile bb.kk
Similar to #500, passing --rebuild avoids the failure. I found that removing the bleh : duration member of the server struct and updating its constructor calls fixes the issue.
I managed to reproduce this error. It is tricky to minify and often instead runs into the linked #500 instead (eg. not being able to look up world/gameWorld). On linux, you can reproduce this using my stub implementation of socket.kk and raylib.kk.
The bug occurs since modmapRead is passed a module with name nameNil:
bb(1, 1): internal error: modmapRead: empty modname
CallStack (from HasCallStack):
error, called at src/Compile/Build.hs:218:32 in koka-3.1.2-7SWN83ElxwDEblvTDAD6Nq:Compile.Build
modmapRead, called at src/Compile/Build.hs:347:25 in koka-3.1.2-7SWN83ElxwDEblvTDAD6Nq:Compile.Build
moduleWaitForImports, called at src/Compile/Build.hs:307:19 in koka-3.1.2-7SWN83ElxwDEblvTDAD6Nq:Compile.Build
moduleCodeGen, called at src/Compile/Build.hs:262:18 in koka-3.1.2-7SWN83ElxwDEblvTDAD6Nq:Compile.Build
moduleCompile, called at src/Compile/Build.hs:107:25 in koka-3.1.2-7SWN83ElxwDEblvTDAD6Nq:Compile.Build
I found this while trying to reduce my reproducer for #500. It's very similar, and could be related or a duplicate.
When I try to compile my code, I see this error:
Similar to #500, passing
--rebuild
avoids the failure. I found that removing thebleh : duration
member of theserver
struct and updating its constructor calls fixes the issue.Notes:
Failing code is here: https://github.com/Caid11/Functional-Program-Studio/tree/internal-compile-error-map/blockbuilder
The text was updated successfully, but these errors were encountered: