Open osa1 opened 9 years ago
Currently it has this type:
runCancelT :: ParMonad p => CancelT p e s a -> p e s a
From the type it seems like CancelT computation should always return an a, but that's not the case, for example:
CancelT
a
runCancelT (cancelMe >> return a)
This shouldn't return anything. (I haven't tested it yet, so I don't know what's happening when this expression run using current version)
Currently it has this type:
From the type it seems like
CancelTcomputation should always return ana, but that's not the case, for example:This shouldn't return anything. (I haven't tested it yet, so I don't know what's happening when this expression run using current version)