@@ -60,6 +60,6 @@ combineAnnotations = go
61 Port (RecvDefinition name' expr) : rest | name == name' ->
61 Port (RecvDefinition name' expr) : rest | name == name' ->
62 do expr' <- Expr.crawl Def.combineAnnotations expr
62 do expr' <- Expr.crawl Def.combineAnnotations expr
63− (:) (Port (Send name expr' tipe)) <$> go rest
63+ (:) (Port (Recv name expr' tipe)) <$> go rest
65 _ -> Left (msg name)
65 _ -> Left (msg name)