Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

websockets-rpc-0.6.0 has numerous build failures when built against websockets-simple-0.1.0 #2

Open
DanBurton opened this issue Mar 9, 2018 · 0 comments

Comments

@DanBurton
Copy link

Seen on the Stackage build server, reproduced locally. Numerous errors mostly following the format of these:

/Users/dan/scratch/websockets-rpc-0.6.0/src/Network/WebSockets/RPC.hs:366:53: error:
    • Expecting one fewer arguments to ‘Either
                                          (Reply rep) (Complete com)’
      Expected kind ‘* -> *’,
        but ‘Either (Reply rep) (Complete com)’ has kind ‘*’
    • In the first argument of ‘WebSocketsApp’, namely
        ‘(Either (Reply rep) (Complete com))’
      In the first argument of ‘m’, namely
        ‘(WebSocketsApp (Either (Reply rep) (Complete com)) (Either (Subscribe sub) (Supply sup)) m)’
      In the type signature:
        execWebSocketServerRPCTSimple :: (MonadBaseControl IO m) =>
                                         WebSocketsApp (Either (Reply rep) (Complete com)) (Either (Subscribe sub) (Supply sup)) (WebSocketServerRPCT sub sup m)
                                         -> m (WebSocketsApp (Either (Reply rep) (Complete com)) (Either (Subscribe sub) (Supply sup)) m)
    |
366 |                                -> m (WebSocketsApp (Either (Reply rep) (Complete com)) (Either (Subscribe sub) (Supply sup)) m)
    |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

/Users/dan/scratch/websockets-rpc-0.6.0/src/Network/WebSockets/RPC.hs:366:126: error:
    • Expecting one more argument to ‘m’
      Expected a type, but ‘m’ has kind ‘* -> *’
    • In the third argument of ‘WebSocketsApp’, namely ‘m’
      In the first argument of ‘m’, namely
        ‘(WebSocketsApp (Either (Reply rep) (Complete com)) (Either (Subscribe sub) (Supply sup)) m)’
      In the type signature:
        execWebSocketServerRPCTSimple :: (MonadBaseControl IO m) =>
                                         WebSocketsApp (Either (Reply rep) (Complete com)) (Either (Subscribe sub) (Supply sup)) (WebSocketServerRPCT sub sup m)
                                         -> m (WebSocketsApp (Either (Reply rep) (Complete com)) (Either (Subscribe sub) (Supply sup)) m)
    |
366 |                                -> m (WebSocketsApp (Either (Reply rep) (Complete com)) (Either (Subscribe sub) (Supply sup)) m)
    |                                                                                                                              ^

Here's how I reproduced:

$ stack unpack websockets-rpc-0.6.0 && cd websockets-rpc-0.6.0
$ edit stack.yaml # add the following stack.yaml
$ stack build
# stack.yaml
resolver: nightly-2018-03-07
extra-deps:
- websockets-simple-0.1.0
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

No branches or pull requests

1 participant