Closed matheus23 closed 3 years ago
At the moment you have to define both these ports:
port webnativeRequest : Webnative.Request -> Cmd msg port wnfsRequest : Webnative.Request -> Cmd msg
Since they share the same type, you can mix them up. Doing so will lead to a runtime error.
Proposed change: Wrap the Webnative.Request type with another custom type / add a field to it to indicate what the intended action is.
Webnative.Request
Implemented in v2
At the moment you have to define both these ports:
Since they share the same type, you can mix them up. Doing so will lead to a runtime error.
Proposed change: Wrap the
Webnative.Request
type with another custom type / add a field to it to indicate what the intended action is.