GitLab

The following example did not work anymore after my last update. In the chat function nu updates of the chatting partner is happening anymore, in any direction..

chat1 :: Task (Note,Note)
chat1 = chat
	    

:: Situation	= AllIsFine | Fire | WaterProblem | TrafficAccident | OtherIssue Note
:: Reaction		= NoActionProposed | SendFireBrigate | SendPolice | SendSpecialForces | OtherProposal Note

derive class iTask Situation, Reaction

// chat: one worker can provide information of arbitrary type a which can be inspected by someone else
// while the other can show its work of arbitrary type b

chat :: Task (a,b) | iTask a & iTask b
chat =							selectCoWorker "with whom do you want to work ? "
		>>= \(me,colleague) ->	withShared defaultValue 
			(\workOfMe ->		withShared defaultValue
			(\workOfColleague ->((me,"chat") @: updateAndView (me,workOfMe) (colleague,workOfColleague))
								-&&-
								((colleague,"chat") @: updateAndView (colleague,workOfColleague) (me,workOfMe))
			))