equal
deleted
inserted
replaced
113 modifyRoom _ [] = error "changeRoomConfig: no such room" |
113 modifyRoom _ [] = error "changeRoomConfig: no such room" |
114 modifyRoom room (rm:rms) = |
114 modifyRoom room (rm:rms) = |
115 if name room == name rm then |
115 if name room == name rm then |
116 room : rms |
116 room : rms |
117 else |
117 else |
118 room : modifyRoom room rms |
118 rm : modifyRoom room rms |
119 |
119 |
120 modifyTeam :: RoomInfo -> TeamInfo -> RoomInfo |
120 modifyTeam :: RoomInfo -> TeamInfo -> RoomInfo |
121 modifyTeam room team = room{teams = replaceTeam team $ teams room} |
121 modifyTeam room team = room{teams = replaceTeam team $ teams room} |
122 where |
122 where |
123 replaceTeam _ [] = error "modifyTeam: no such team" |
123 replaceTeam _ [] = error "modifyTeam: no such team" |