Skip to content

Commit

Permalink
Re-run transcripts
Browse files Browse the repository at this point in the history
  • Loading branch information
@ChrisPenner
ChrisPenner committed Nov 19, 2024
1 parent 5d11b23 commit d39e1a0
Showing 1 changed file with 124 additions and 131 deletions.
255 changes: 124 additions & 131 deletions unison-src/transcripts/definition-diff-api.output.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -228,12 +228,26 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=te
]
},
{
"annotation": {
"tag": "TextLiteral"
},
"diffTag": "segmentChange",
"fromSegment": "\"Here's some text\"",
"toSegment": "\"Here's some different text\""
"diffTag": "old",
"elements": [
{
"annotation": {
"tag": "TextLiteral"
},
"segment": "\"Here's some text\""
}
]
},
{
"diffTag": "new",
"elements": [
{
"annotation": {
"tag": "TextLiteral"
},
"segment": "\"Here's some different text\""
}
]
},
{
"diffTag": "both",
Expand Down Expand Up @@ -270,12 +284,26 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=te
]
},
{
"annotation": {
"tag": "NumericLiteral"
},
"diffTag": "segmentChange",
"fromSegment": "1",
"toSegment": "2"
"diffTag": "old",
"elements": [
{
"annotation": {
"tag": "NumericLiteral"
},
"segment": "1"
}
]
},
{
"diffTag": "new",
"elements": [
{
"annotation": {
"tag": "NumericLiteral"
},
"segment": "2"
}
]
}
],
"tag": "UserObject"
Expand Down Expand Up @@ -1019,47 +1047,53 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=ta
"tag": "ControlKeyword"
},
"segment": " then"
},
{
"annotation": null,
"segment": "\n"
},
{
"annotation": null,
"segment": " "
},
{
"annotation": null,
"segment": " "
},
{
"annotation": null,
"segment": " "
},
{
"annotation": null,
"segment": " "
}
]
},
{
"diffTag": "new",
"diffTag": "both",
"elements": [
{
"annotation": {
"contents": "#b035k0tpdv9jbs80ig29hujmv9kpkubda6or4320o5g7aj7edsudislnp2uovntgu5b0e6a18p0p7j8r2hcpr20blls7am8nll6t2ro#a0",
"tag": "TermReference"
},
"segment": "emit"
}
]
},
{
"annotation": null,
"diffTag": "segmentChange",
"fromSegment": "\n",
"toSegment": " "
},
{
"diffTag": "new",
"elements": [
},
{
"annotation": null,
"segment": " "
},
{
"annotation": {
"tag": "Var"
},
"segment": "a"
}
]
},
{
"annotation": null,
"diffTag": "segmentChange",
"fromSegment": " ",
"toSegment": "\n"
},
{
"diffTag": "both",
"elements": [
},
{
"annotation": null,
"segment": "\n"
},
{
"annotation": null,
"segment": " "
Expand All @@ -1078,11 +1112,8 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=ta
"diffTag": "old",
"elements": [
{
"annotation": {
"contents": "#b035k0tpdv9jbs80ig29hujmv9kpkubda6or4320o5g7aj7edsudislnp2uovntgu5b0e6a18p0p7j8r2hcpr20blls7am8nll6t2ro#a0",
"tag": "TermReference"
},
"segment": "emit"
"annotation": null,
"segment": " "
}
]
},
Expand All @@ -1094,66 +1125,32 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=ta
"tag": "ControlKeyword"
},
"segment": "if"
}
]
},
{
"diffTag": "both",
"elements": [
},
{
"annotation": null,
"segment": " "
}
]
},
{
"annotation": {
"tag": "Var"
},
"diffTag": "segmentChange",
"fromSegment": "a",
"toSegment": "n"
},
{
"annotation": null,
"diffTag": "segmentChange",
"fromSegment": "\n",
"toSegment": " "
},
{
"diffTag": "old",
"elements": [
},
{
"annotation": null,
"segment": " "
"annotation": {
"tag": "Var"
},
"segment": "n"
},
{
"annotation": null,
"segment": " "
}
]
},
{
"diffTag": "new",
"elements": [
"segment": " "
},
{
"annotation": {
"contents": "##Nat.>",
"tag": "TermReference"
},
"segment": ">"
}
]
},
{
"annotation": null,
"diffTag": "segmentChange",
"fromSegment": " ",
"toSegment": " "
},
{
"diffTag": "new",
"elements": [
},
{
"annotation": null,
"segment": " "
},
{
"annotation": {
"tag": "NumericLiteral"
Expand All @@ -1165,15 +1162,13 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=ta
"tag": "ControlKeyword"
},
"segment": " then"
},
{
"annotation": null,
"segment": " "
}
]
},
{
"annotation": null,
"diffTag": "segmentChange",
"fromSegment": " ",
"toSegment": " "
},
{
"diffTag": "both",
"elements": [
Expand Down Expand Up @@ -1264,15 +1259,13 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=ta
}
]
},
{
"annotation": null,
"diffTag": "segmentChange",
"fromSegment": "\n",
"toSegment": " "
},
{
"diffTag": "old",
"elements": [
{
"annotation": null,
"segment": "\n"
},
{
"annotation": null,
"segment": " "
Expand All @@ -1287,6 +1280,15 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=ta
}
]
},
{
"diffTag": "new",
"elements": [
{
"annotation": null,
"segment": " "
}
]
},
{
"diffTag": "both",
"elements": [
Expand Down Expand Up @@ -1387,33 +1389,24 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=ta
]
},
{
"annotation": {
"tag": "ControlKeyword"
},
"diffTag": "segmentChange",
"fromSegment": "handle",
"toSegment": "if"
},
{
"diffTag": "both",
"diffTag": "new",
"elements": [
{
"annotation": {
"tag": "ControlKeyword"
},
"segment": "if"
},
{
"annotation": null,
"segment": " "
}
]
},
{
"annotation": {
"tag": "Var"
},
"diffTag": "segmentChange",
"fromSegment": "s",
"toSegment": "n"
},
{
"diffTag": "new",
"elements": [
},
{
"annotation": {
"tag": "Var"
},
"segment": "n"
},
{
"annotation": null,
"segment": " "
Expand Down Expand Up @@ -1444,7 +1437,12 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=ta
{
"annotation": null,
"segment": " "
},
}
]
},
{
"diffTag": "both",
"elements": [
{
"annotation": {
"tag": "ControlKeyword"
Expand All @@ -1460,12 +1458,7 @@ GET /api/projects/diffs/diff/terms?oldBranchRef=main&newBranchRef=new&oldTerm=ta
"tag": "Var"
},
"segment": "s"
}
]
},
{
"diffTag": "both",
"elements": [
},
{
"annotation": {
"tag": "Unit"
Expand Down

0 comments on commit d39e1a0

Please sign in to comment.