No title

Anonymous Coward 2018-04-16 10:42:41.502044 UTC

1 error:
2Couldn't match typeState m0’ with ‘State m’
3 Expected type: TChan ServiceRequest
4 -> TChan Frame
5 -> State m Idle
6 -> Either StateMachineException (State m Offered)
7 Actual type: TChan ServiceRequest
8 -> TChan Frame
9 -> State m0 Idle
10 -> Either StateMachineException (State m0 Offered)
11 NB:State’ is a type function, and may not be injective
12 The type variable ‘m0’ is ambiguous
13In the ambiguity check for ‘offerServiceNegotiation’
14 To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
15 In the type signature:
16 offerServiceNegotiation :: (ConnectionSetup m, MonadIO m) =>
17 TChan ServiceRequest
18 -> TChan Frame
19 -> State m Idle
20 -> Either StateMachineException (State m Offered)