Open rosacris opened 7 years ago
Hi,
I've been trying to experiment with the library but I'm stuck with an issue that it can be easily spotted in the documentation:
# Create the computation. computation = MessageApp.greet "Fred" # Perform the computation. MessageInterpreter.Console.handle(computation)
The typespec of computation is MessageEffect.t, however the typespec of MessageInterpreter.Console.handle/1 is MessageEffect.Say.e
computation
MessageEffect.t
MessageInterpreter.Console.handle/1
MessageEffect.Say.e
When I try to run a minimal example it fails exactly for this reason.
Hi,
I've been trying to experiment with the library but I'm stuck with an issue that it can be easily spotted in the documentation:
The typespec of
computation
isMessageEffect.t
, however the typespec ofMessageInterpreter.Console.handle/1
isMessageEffect.Say.e
When I try to run a minimal example it fails exactly for this reason.