diff --git a/transcripts/share-apis/definition-diffs/mismatched-term-diff.json b/transcripts/share-apis/definition-diffs/mismatched-term-diff.json new file mode 100644 index 0000000..86fdd51 --- /dev/null +++ b/transcripts/share-apis/definition-diffs/mismatched-term-diff.json @@ -0,0 +1,153 @@ +{ + "body": { + "diffKind": "mismatched", + "newBranchRef": "after", + "newTerm": { + "bestTermName": "newBug", + "defnTermTag": "Plain", + "signature": [ + { + "annotation": { + "contents": "##Text", + "tag": "TypeReference" + }, + "segment": "Text" + } + ], + "termDefinition": { + "contents": [ + { + "annotation": { + "contents": "newBug", + "tag": "HashQualifier" + }, + "segment": "newBug" + }, + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Text", + "tag": "TypeReference" + }, + "segment": "Text" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": { + "contents": "newBug", + "tag": "HashQualifier" + }, + "segment": "newBug" + }, + { + "annotation": { + "tag": "BindingEquals" + }, + "segment": " =" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TextLiteral" + }, + "segment": "\"No longer a builtin\"" + } + ], + "tag": "UserObject" + }, + "termDocs": [], + "termNames": [ + "newBug" + ] + }, + "oldBranchRef": "before", + "oldTerm": { + "bestTermName": "bug", + "defnTermTag": "Plain", + "signature": [ + { + "annotation": { + "tag": "Var" + }, + "segment": "a" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "b" + } + ], + "termDefinition": { + "contents": [ + { + "annotation": { + "tag": "Var" + }, + "segment": "a" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "b" + } + ], + "tag": "BuiltinObject" + }, + "termDocs": [], + "termNames": [ + "builtin.bug" + ] + }, + "project": "@transcripts/definition-diff" + }, + "status": [ + { + "status_code": 200 + } + ] +} diff --git a/transcripts/share-apis/definition-diffs/mismatched-type-diff.json b/transcripts/share-apis/definition-diffs/mismatched-type-diff.json new file mode 100644 index 0000000..75d7cc3 --- /dev/null +++ b/transcripts/share-apis/definition-diffs/mismatched-type-diff.json @@ -0,0 +1,71 @@ +{ + "body": { + "diffKind": "mismatched", + "newBranchRef": "after", + "newType": { + "bestTypeName": "NewIO", + "defnTypeTag": "Data", + "typeDefinition": { + "contents": [ + { + "annotation": { + "tag": "DataTypeKeyword" + }, + "segment": "type" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "NewIO", + "tag": "HashQualifier" + }, + "segment": "NewIO" + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": " = " + }, + { + "annotation": { + "contents": "#sa4ptibggqmbifhfj37gj2lq487q5ucfuojjcblfaas9bunlthhkvhstsrj20fvlpqakb8e9mqds4p32lnh8ohmf1s5omvdhc23jibg#d0", + "tag": "TermReference" + }, + "segment": "NewIO" + } + ], + "tag": "UserObject" + }, + "typeDocs": [], + "typeNames": [ + "NewIO" + ] + }, + "oldBranchRef": "before", + "oldType": { + "bestTypeName": "##IO", + "defnTypeTag": "Ability", + "typeDefinition": { + "contents": [ + { + "annotation": null, + "segment": "##IO" + } + ], + "tag": "BuiltinObject" + }, + "typeDocs": [], + "typeNames": [] + }, + "project": "@transcripts/definition-diff" + }, + "status": [ + { + "status_code": 200 + } + ] +} diff --git a/transcripts/share-apis/definition-diffs/run.zsh b/transcripts/share-apis/definition-diffs/run.zsh old mode 100644 new mode 100755 diff --git a/transcripts/share-apis/definition-diffs/standard-ability-diff.json b/transcripts/share-apis/definition-diffs/standard-ability-diff.json new file mode 100644 index 0000000..c6359a0 --- /dev/null +++ b/transcripts/share-apis/definition-diffs/standard-ability-diff.json @@ -0,0 +1,410 @@ +{ + "body": { + "diff": { + "contents": [ + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "DataTypeKeyword" + }, + "segment": "ability" + }, + { + "annotation": null, + "segment": " " + } + ] + }, + { + "diffTag": "old", + "elements": [ + { + "annotation": { + "contents": "BeforeAbility", + "tag": "HashQualifier" + }, + "segment": "BeforeAbility" + } + ] + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": { + "contents": "AfterAbility", + "tag": "HashQualifier" + }, + "segment": "AfterAbility" + } + ] + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "ControlKeyword" + }, + "segment": " where" + }, + { + "annotation": null, + "segment": " " + } + ] + }, + { + "diffTag": "old", + "elements": [ + { + "annotation": { + "contents": "#ebotvibo97n9s8ggp2n32jf6splp86102tjh70q395gmmdsfi45pvrvtkpot5e97ugg6t4j602ol001i3p28t62c8iga2rlma0ckfs0#a0", + "tag": "TermReference" + }, + "segment": "beforeAbility" + } + ] + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": { + "contents": "#i1i6tae2gi8jp12lukns1e027i98ekbqhh6p5b944i44l6otiltjphbnmt2r844e2ukr2kppob3c5gvdpegc6ej54h9eg2j9gkc6ifg#a0", + "tag": "TermReference" + }, + "segment": "afterAbility" + } + ] + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + } + ] + }, + { + "diffTag": "old", + "elements": [ + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + } + ] + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": { + "contents": "##Int", + "tag": "TypeReference" + }, + "segment": "Int" + } + ] + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": { + "tag": "AbilityBraces" + }, + "segment": "{" + } + ] + }, + { + "diffTag": "old", + "elements": [ + { + "annotation": { + "contents": "#ebotvibo97n9s8ggp2n32jf6splp86102tjh70q395gmmdsfi45pvrvtkpot5e97ugg6t4j602ol001i3p28t62c8iga2rlma0ckfs0", + "tag": "TypeReference" + }, + "segment": "BeforeAbility" + } + ] + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": { + "contents": "#i1i6tae2gi8jp12lukns1e027i98ekbqhh6p5b944i44l6otiltjphbnmt2r844e2ukr2kppob3c5gvdpegc6ej54h9eg2j9gkc6ifg", + "tag": "TypeReference" + }, + "segment": "AfterAbility" + } + ] + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "AbilityBraces" + }, + "segment": "}" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Text", + "tag": "TypeReference" + }, + "segment": "Text" + } + ] + } + ], + "tag": "UserObject" + }, + "diffKind": "diff", + "newBranchRef": "after", + "newType": { + "bestTypeName": "AfterAbility", + "defnTypeTag": "Ability", + "typeDefinition": { + "contents": [ + { + "annotation": { + "tag": "DataTypeKeyword" + }, + "segment": "ability" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "AfterAbility", + "tag": "HashQualifier" + }, + "segment": "AfterAbility" + }, + { + "annotation": { + "tag": "ControlKeyword" + }, + "segment": " where" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "#i1i6tae2gi8jp12lukns1e027i98ekbqhh6p5b944i44l6otiltjphbnmt2r844e2ukr2kppob3c5gvdpegc6ej54h9eg2j9gkc6ifg#a0", + "tag": "TermReference" + }, + "segment": "afterAbility" + }, + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Int", + "tag": "TypeReference" + }, + "segment": "Int" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": { + "tag": "AbilityBraces" + }, + "segment": "{" + }, + { + "annotation": { + "contents": "#i1i6tae2gi8jp12lukns1e027i98ekbqhh6p5b944i44l6otiltjphbnmt2r844e2ukr2kppob3c5gvdpegc6ej54h9eg2j9gkc6ifg", + "tag": "TypeReference" + }, + "segment": "AfterAbility" + }, + { + "annotation": { + "tag": "AbilityBraces" + }, + "segment": "}" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Text", + "tag": "TypeReference" + }, + "segment": "Text" + } + ], + "tag": "UserObject" + }, + "typeDocs": [], + "typeNames": [ + "AfterAbility" + ] + }, + "oldBranchRef": "before", + "oldType": { + "bestTypeName": "BeforeAbility", + "defnTypeTag": "Ability", + "typeDefinition": { + "contents": [ + { + "annotation": { + "tag": "DataTypeKeyword" + }, + "segment": "ability" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "BeforeAbility", + "tag": "HashQualifier" + }, + "segment": "BeforeAbility" + }, + { + "annotation": { + "tag": "ControlKeyword" + }, + "segment": " where" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "#ebotvibo97n9s8ggp2n32jf6splp86102tjh70q395gmmdsfi45pvrvtkpot5e97ugg6t4j602ol001i3p28t62c8iga2rlma0ckfs0#a0", + "tag": "TermReference" + }, + "segment": "beforeAbility" + }, + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": { + "tag": "AbilityBraces" + }, + "segment": "{" + }, + { + "annotation": { + "contents": "#ebotvibo97n9s8ggp2n32jf6splp86102tjh70q395gmmdsfi45pvrvtkpot5e97ugg6t4j602ol001i3p28t62c8iga2rlma0ckfs0", + "tag": "TypeReference" + }, + "segment": "BeforeAbility" + }, + { + "annotation": { + "tag": "AbilityBraces" + }, + "segment": "}" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Text", + "tag": "TypeReference" + }, + "segment": "Text" + } + ], + "tag": "UserObject" + }, + "typeDocs": [], + "typeNames": [ + "BeforeAbility" + ] + }, + "project": "@transcripts/definition-diff" + }, + "status": [ + { + "status_code": 200 + } + ] +} diff --git a/transcripts/share-apis/definition-diffs/standard-term-diff.json b/transcripts/share-apis/definition-diffs/standard-term-diff.json new file mode 100644 index 0000000..21b6249 --- /dev/null +++ b/transcripts/share-apis/definition-diffs/standard-term-diff.json @@ -0,0 +1,1420 @@ +{ + "body": { + "diff": { + "contents": [ + { + "diffTag": "old", + "elements": [ + { + "annotation": { + "contents": "beforeTerm", + "tag": "HashQualifier" + }, + "segment": "beforeTerm" + } + ] + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": { + "contents": "afterTerm", + "tag": "HashQualifier" + }, + "segment": "afterTerm" + } + ] + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + } + ] + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + } + ] + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "DelayForceChar" + }, + "segment": "'" + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": "\n" + } + ] + }, + { + "diffTag": "old", + "elements": [ + { + "annotation": { + "contents": "beforeTerm", + "tag": "HashQualifier" + }, + "segment": "beforeTerm" + } + ] + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": { + "contents": "afterTerm", + "tag": "HashQualifier" + }, + "segment": "afterTerm" + } + ] + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "x" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "y" + } + ] + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "z" + } + ] + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "BindingEquals" + }, + "segment": " =" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "ControlKeyword" + }, + "segment": "do" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "UseKeyword" + }, + "segment": "use " + }, + { + "annotation": { + "tag": "UsePrefix" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "UseSuffix" + }, + "segment": "+" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "myList", + "tag": "HashQualifier" + }, + "segment": "myList" + }, + { + "annotation": { + "tag": "BindingEquals" + }, + "segment": " =" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": "[" + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "x" + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": ", " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "y" + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": ", " + } + ] + }, + { + "diffTag": "annotationChange", + "fromAnnotation": { + "contents": "#gmjjuqjosr81oqnm9ck6atmve2tnnuu4c5nk89apmg79nsu5djpl6av0os0ekqil0gekdjoianh1rrem7lddsq2i26itq40tbkfgon0", + "tag": "TermReference" + }, + "segment": "valueChangesButNameStaysSame", + "toAnnotation": { + "contents": "#gjmq673r1vrurfotlnirv7vutdhm6sa3s02em5g22kk606mv6duvv8be402dv79312i4a0onepq5bo7citsodvq2g720nttj0ee9p0g", + "tag": "TermReference" + } + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": ", " + } + ] + }, + { + "annotation": { + "contents": "#pi25gcdv0oq0no6k2ahe6t849u7ht4lopeg5fve58ga5t17a49f1dkbmdm6dn063bn3tsd4adijr4ltf7ad6do8u71oa72i27oack2o", + "tag": "TermReference" + }, + "diffTag": "segmentChange", + "fromSegment": "nameChangesButValueStaysSame", + "toSegment": "changedNameWithSameValue" + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": "]" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "myList2", + "tag": "HashQualifier" + }, + "segment": "myList2" + }, + { + "annotation": { + "tag": "BindingEquals" + }, + "segment": " =" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "#6frvp5jfjtt7odi9769i0p5phuuuij1fi1d9l5ncpelh416ab3vceaphhaijh0ct0v9n793j7e4h78687oij6ai97085u63m264gj5o", + "tag": "TermReference" + }, + "segment": "List.map" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Parenthesis" + }, + "segment": "(" + }, + { + "annotation": null, + "segment": "x" + }, + { + "annotation": { + "tag": "ControlKeyword" + }, + "segment": " ->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "x" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat.+", + "tag": "TermReference" + }, + "segment": "+" + }, + { + "annotation": null, + "segment": " " + } + ] + }, + { + "diffTag": "old", + "elements": [ + { + "annotation": { + "tag": "NumericLiteral" + }, + "segment": "1" + } + ] + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": { + "tag": "Var" + }, + "segment": "z" + } + ] + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "Parenthesis" + }, + "segment": ")" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "myList" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##List.size", + "tag": "TermReference" + }, + "segment": "List.size" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "myList2" + } + ] + } + ], + "tag": "UserObject" + }, + "diffKind": "diff", + "newBranchRef": "after", + "newTerm": { + "bestTermName": "afterTerm", + "defnTermTag": "Plain", + "signature": [ + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "DelayForceChar" + }, + "segment": "'" + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + } + ], + "termDefinition": { + "contents": [ + { + "annotation": { + "contents": "afterTerm", + "tag": "HashQualifier" + }, + "segment": "afterTerm" + }, + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "DelayForceChar" + }, + "segment": "'" + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": { + "contents": "afterTerm", + "tag": "HashQualifier" + }, + "segment": "afterTerm" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "x" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "y" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "z" + }, + { + "annotation": { + "tag": "BindingEquals" + }, + "segment": " =" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "ControlKeyword" + }, + "segment": "do" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "UseKeyword" + }, + "segment": "use " + }, + { + "annotation": { + "tag": "UsePrefix" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "UseSuffix" + }, + "segment": "+" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "myList", + "tag": "HashQualifier" + }, + "segment": "myList" + }, + { + "annotation": { + "tag": "BindingEquals" + }, + "segment": " =" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": "[" + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "x" + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": ", " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "y" + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": ", " + }, + { + "annotation": { + "contents": "#gjmq673r1vrurfotlnirv7vutdhm6sa3s02em5g22kk606mv6duvv8be402dv79312i4a0onepq5bo7citsodvq2g720nttj0ee9p0g", + "tag": "TermReference" + }, + "segment": "valueChangesButNameStaysSame" + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": ", " + }, + { + "annotation": { + "contents": "#pi25gcdv0oq0no6k2ahe6t849u7ht4lopeg5fve58ga5t17a49f1dkbmdm6dn063bn3tsd4adijr4ltf7ad6do8u71oa72i27oack2o", + "tag": "TermReference" + }, + "segment": "changedNameWithSameValue" + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": "]" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "myList2", + "tag": "HashQualifier" + }, + "segment": "myList2" + }, + { + "annotation": { + "tag": "BindingEquals" + }, + "segment": " =" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "#6frvp5jfjtt7odi9769i0p5phuuuij1fi1d9l5ncpelh416ab3vceaphhaijh0ct0v9n793j7e4h78687oij6ai97085u63m264gj5o", + "tag": "TermReference" + }, + "segment": "List.map" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Parenthesis" + }, + "segment": "(" + }, + { + "annotation": null, + "segment": "x" + }, + { + "annotation": { + "tag": "ControlKeyword" + }, + "segment": " ->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "x" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat.+", + "tag": "TermReference" + }, + "segment": "+" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "z" + }, + { + "annotation": { + "tag": "Parenthesis" + }, + "segment": ")" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "myList" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##List.size", + "tag": "TermReference" + }, + "segment": "List.size" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "myList2" + } + ], + "tag": "UserObject" + }, + "termDocs": [], + "termNames": [ + "afterTerm" + ] + }, + "oldBranchRef": "before", + "oldTerm": { + "bestTermName": "beforeTerm", + "defnTermTag": "Plain", + "signature": [ + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "DelayForceChar" + }, + "segment": "'" + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + } + ], + "termDefinition": { + "contents": [ + { + "annotation": { + "contents": "beforeTerm", + "tag": "HashQualifier" + }, + "segment": "beforeTerm" + }, + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "TypeOperator" + }, + "segment": "->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "DelayForceChar" + }, + "segment": "'" + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": { + "contents": "beforeTerm", + "tag": "HashQualifier" + }, + "segment": "beforeTerm" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "x" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "y" + }, + { + "annotation": { + "tag": "BindingEquals" + }, + "segment": " =" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "ControlKeyword" + }, + "segment": "do" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "UseKeyword" + }, + "segment": "use " + }, + { + "annotation": { + "tag": "UsePrefix" + }, + "segment": "Nat" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "UseSuffix" + }, + "segment": "+" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "myList", + "tag": "HashQualifier" + }, + "segment": "myList" + }, + { + "annotation": { + "tag": "BindingEquals" + }, + "segment": " =" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": "[" + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "x" + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": ", " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "y" + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": ", " + }, + { + "annotation": { + "contents": "#gmjjuqjosr81oqnm9ck6atmve2tnnuu4c5nk89apmg79nsu5djpl6av0os0ekqil0gekdjoianh1rrem7lddsq2i26itq40tbkfgon0", + "tag": "TermReference" + }, + "segment": "valueChangesButNameStaysSame" + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": ", " + }, + { + "annotation": { + "contents": "#pi25gcdv0oq0no6k2ahe6t849u7ht4lopeg5fve58ga5t17a49f1dkbmdm6dn063bn3tsd4adijr4ltf7ad6do8u71oa72i27oack2o", + "tag": "TermReference" + }, + "segment": "nameChangesButValueStaysSame" + }, + { + "annotation": { + "contents": "##Sequence", + "tag": "TypeReference" + }, + "segment": "]" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "myList2", + "tag": "HashQualifier" + }, + "segment": "myList2" + }, + { + "annotation": { + "tag": "BindingEquals" + }, + "segment": " =" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "#6frvp5jfjtt7odi9769i0p5phuuuij1fi1d9l5ncpelh416ab3vceaphhaijh0ct0v9n793j7e4h78687oij6ai97085u63m264gj5o", + "tag": "TermReference" + }, + "segment": "List.map" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Parenthesis" + }, + "segment": "(" + }, + { + "annotation": null, + "segment": "x" + }, + { + "annotation": { + "tag": "ControlKeyword" + }, + "segment": " ->" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "x" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat.+", + "tag": "TermReference" + }, + "segment": "+" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "NumericLiteral" + }, + "segment": "1" + }, + { + "annotation": { + "tag": "Parenthesis" + }, + "segment": ")" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "myList" + }, + { + "annotation": null, + "segment": "\n" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##List.size", + "tag": "TermReference" + }, + "segment": "List.size" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "tag": "Var" + }, + "segment": "myList2" + } + ], + "tag": "UserObject" + }, + "termDocs": [], + "termNames": [ + "beforeTerm" + ] + }, + "project": "@transcripts/definition-diff" + }, + "status": [ + { + "status_code": 200 + } + ] +} diff --git a/transcripts/share-apis/definition-diffs/standard-type-diff.json b/transcripts/share-apis/definition-diffs/standard-type-diff.json new file mode 100644 index 0000000..d2ebc14 --- /dev/null +++ b/transcripts/share-apis/definition-diffs/standard-type-diff.json @@ -0,0 +1,333 @@ +{ + "body": { + "diff": { + "contents": [ + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "DataTypeKeyword" + }, + "segment": "type" + }, + { + "annotation": null, + "segment": " " + } + ] + }, + { + "diffTag": "old", + "elements": [ + { + "annotation": { + "contents": "BeforeType", + "tag": "HashQualifier" + }, + "segment": "BeforeType" + } + ] + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": { + "contents": "AfterType", + "tag": "HashQualifier" + }, + "segment": "AfterType" + } + ] + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": " = " + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": "{ " + } + ] + }, + { + "diffTag": "annotationChange", + "fromAnnotation": { + "contents": "#jjpne828dfnvlhiij4i567rd9v2guhbu0qt1eanjrf5oon2djjhod5ej85lp14e3iu24db9kgp1rjqh94vtrei7p3k69b7scfoqlup8", + "tag": "TypeReference" + }, + "segment": "fieldOne", + "toAnnotation": { + "contents": "#kumofu6ae22blpbip9rl33nvbkqfho86mohivuum8uabph37i4po78fi0120hmka4blrabancldnp93o75s35cc18vi8o9hdu3qrku8", + "tag": "TypeReference" + } + }, + { + "diffTag": "both", + "elements": [ + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + } + ] + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "diffTag": "segmentChange", + "fromSegment": " }", + "toSegment": "," + }, + { + "diffTag": "new", + "elements": [ + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "#kumofu6ae22blpbip9rl33nvbkqfho86mohivuum8uabph37i4po78fi0120hmka4blrabancldnp93o75s35cc18vi8o9hdu3qrku8", + "tag": "TypeReference" + }, + "segment": "fieldTwo" + }, + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Text", + "tag": "TypeReference" + }, + "segment": "Text" + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": " }" + } + ] + } + ], + "tag": "UserObject" + }, + "diffKind": "diff", + "newBranchRef": "after", + "newType": { + "bestTypeName": "AfterType", + "defnTypeTag": "Data", + "typeDefinition": { + "contents": [ + { + "annotation": { + "tag": "DataTypeKeyword" + }, + "segment": "type" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "AfterType", + "tag": "HashQualifier" + }, + "segment": "AfterType" + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": " = " + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": "{ " + }, + { + "annotation": { + "contents": "#kumofu6ae22blpbip9rl33nvbkqfho86mohivuum8uabph37i4po78fi0120hmka4blrabancldnp93o75s35cc18vi8o9hdu3qrku8", + "tag": "TypeReference" + }, + "segment": "fieldOne" + }, + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": "," + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "#kumofu6ae22blpbip9rl33nvbkqfho86mohivuum8uabph37i4po78fi0120hmka4blrabancldnp93o75s35cc18vi8o9hdu3qrku8", + "tag": "TypeReference" + }, + "segment": "fieldTwo" + }, + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Text", + "tag": "TypeReference" + }, + "segment": "Text" + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": " }" + } + ], + "tag": "UserObject" + }, + "typeDocs": [], + "typeNames": [ + "AfterType" + ] + }, + "oldBranchRef": "before", + "oldType": { + "bestTypeName": "BeforeType", + "defnTypeTag": "Data", + "typeDefinition": { + "contents": [ + { + "annotation": { + "tag": "DataTypeKeyword" + }, + "segment": "type" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "BeforeType", + "tag": "HashQualifier" + }, + "segment": "BeforeType" + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": " = " + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": "{ " + }, + { + "annotation": { + "contents": "#jjpne828dfnvlhiij4i567rd9v2guhbu0qt1eanjrf5oon2djjhod5ej85lp14e3iu24db9kgp1rjqh94vtrei7p3k69b7scfoqlup8", + "tag": "TypeReference" + }, + "segment": "fieldOne" + }, + { + "annotation": { + "tag": "TypeAscriptionColon" + }, + "segment": " :" + }, + { + "annotation": null, + "segment": " " + }, + { + "annotation": { + "contents": "##Nat", + "tag": "TypeReference" + }, + "segment": "Nat" + }, + { + "annotation": { + "tag": "DelimiterChar" + }, + "segment": " }" + } + ], + "tag": "UserObject" + }, + "typeDocs": [], + "typeNames": [ + "BeforeType" + ] + }, + "project": "@transcripts/definition-diff" + }, + "status": [ + { + "status_code": 200 + } + ] +}