Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/topic/bbannier/non-public'
Browse files Browse the repository at this point in the history
  • Loading branch information
bbannier committed May 16, 2024
2 parents b61bb74 + 549ca8c commit 48ce0b7
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions analyzer/analyzer.spicy
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ public type Requests = unit {
: Request[];
};

public type Request = unit {
type Request = unit {
request: RequestLine;
message: Message(False, True);
};
Expand All @@ -38,7 +38,7 @@ public type Replies = unit {
: Reply[];
};

public type Reply = unit {
type Reply = unit {
reply: ReplyLine;
message: Message(reply_code_needs_body(self.reply.status), False);
};
Expand Down Expand Up @@ -185,7 +185,7 @@ type Body = unit(inout msg: Message, delivery_mode: DeliveryMode, is_request: bo
}
};

public type Content = unit(msg: Message) {
type Content = unit(msg: Message) {
data: bytes &chunked &eod {
if ( |self.data| > 0 ) {
self.have_content = True;
Expand Down

0 comments on commit 48ce0b7

Please sign in to comment.