Skip to content

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

Open
@cdsmith

Description

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

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