Skip to content

ghcjs-dom 0.9.4 somehow causes websocket failure in CodeWorld #97

@cdsmith

Description

@cdsmith

I apologize in advance for a terrible bug report, but I wanted to document what I know about this so far. Building codeworld-api with GHCJS and ghcjs-dom 0.9.4 causes use of websockets to fail as described in google/codeworld#1382. The same does not occur when building against ghcjs-dom 0.9.2 (the previous version on hackage).

The weird thing is that codeworld-api isn't using ghcjs-dom for websockets. It's using the JavaScript.Web.WebSocket module from ghcjs-base, which doesn't depend on ghcjs-dom at all. So I don't understand the mechanism behind the failure. Yet the bug definitely correlates with that ghcjs-dom version.

I can try to construct a smaller test case this weekend. Until then, the relevant code is in https://github.com/google/codeworld/blob/master/codeworld-api/src/CodeWorld/Driver.hs

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions