diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 7c0b9655..a1a4e22f 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -330,7 +330,7 @@ jobs: # Install ucm mkdir ucm - curl -L https://github.com/unisonweb/unison/releases/download/release%2F0.5.47/ucm-linux-x64.tar.gz | tar -xz -C ucm + curl -L https://github.com/unisonweb/unison/releases/download/release%2F1.0.0/ucm-linux-x64.tar.gz | tar -xz -C ucm export PATH=$PWD/ucm:$PATH # Start share and it's dependencies in the background diff --git a/Makefile b/Makefile index 3d24555c..5611cea7 100644 --- a/Makefile +++ b/Makefile @@ -4,9 +4,8 @@ SHARE_PROJECT_ROOT := $(dir $(abspath $(lastword $(MAKEFILE_LIST)))) export SHARE_PROJECT_ROOT UNAME := $(shell uname) STACK_FLAGS := "--fast" -dist_dir := $(shell stack path | awk '/^dist-dir/{print $$2}') exe_name := share-api -exe := $(dist_dir)/build/$(exe_name)/$(exe_name) +exe := $(shell stack exec -- which $(exe_name)) target_dir := docker/tmp installed_share := $(target_dir)/$(exe_name) unison := $(shell command -v unison) @@ -27,10 +26,9 @@ endif $(target_dir): mkdir $@ -$(exe): $(shell find . unison -type f -name '*.hs') $(shell find . unison -type f -name '*.yaml') - @echo $(exe) - @echo $@ - stack build $(STACK_FLAGS) +$(exe): $(shell fd '' . unison --type file -e hs 2>/dev/null || find . unison -type f -name '*.hs') $(shell fd '' . unison --type file -e yaml 2>/dev/null || find . unison -type f -name '*.yaml') + @echo Building $(exe_name) + stack build $(STACK_FLAGS) $(exe_name) $(installed_share): $(exe) $(target_dir) cp $(exe) $(installed_share) diff --git a/share-api/src/Share/Web/UCM/Sync/Impl.hs b/share-api/src/Share/Web/UCM/Sync/Impl.hs index 1fd33680..e214134c 100644 --- a/share-api/src/Share/Web/UCM/Sync/Impl.hs +++ b/share-api/src/Share/Web/UCM/Sync/Impl.hs @@ -52,6 +52,7 @@ import Share.Web.Errors import Share.Web.UCM.Sync.HashJWT qualified as HashJWT import Share.Web.UCM.Sync.Types (EntityBunch (..), RepoInfoKind (..), entityKind) import U.Codebase.Causal qualified as Causal +import U.Codebase.Sqlite.HashHandle qualified as HH import U.Codebase.Sqlite.Orphans () import Unison.Codebase.Path qualified as Path import Unison.Hash32 (Hash32) @@ -259,11 +260,11 @@ insertEntitiesToCodebase codebase entities = do mayErrs <- PG.transactionUnsafeIO $ batchValidateEntities maxParallelismPerUploadRequest isComponentHashMismatchAllowedIO isCausalHashMismatchAllowedIO unsavedEntities case mayErrs of Nothing -> pure () - Just (err :| _errs) -> throwError err - -- case err of - -- Right e -> throwError e - -- Left () -> - -- throwError $ Sync.InvalidByteEncoding (Hash32.fromHash hash) Sync.TermComponentType "Incomplete element ordering in term components" + Just (err :| _errs) -> + case err of + Right e -> throwError e + Left (HH.IncompleteElementOrderingError (ComponentHash hash)) -> + throwError $ Sync.InvalidByteEncoding (Hash32.fromHash hash) Sync.TermComponentType "Incomplete element ordering in term components" SyncQ.saveTempEntities codebase unsavedEntities let hashesNowInTemp = Set.fromList (fst <$> Foldable.toList unsavedEntities) <> (Set.fromList . Foldable.toList $ hashesAlreadyInTemp) pure hashesNowInTemp @@ -397,7 +398,7 @@ batchValidateEntities :: (ComponentHash -> ComponentHash -> IO Bool) -> (CausalHash -> CausalHash -> IO Bool) -> f (Hash32, Sync.Entity Text Hash32 Hash32) -> - IO (Maybe (NonEmpty Sync.EntityValidationError)) + IO (Maybe (NonEmpty (Either HH.HashingFailure Sync.EntityValidationError))) batchValidateEntities maxParallelism checkIfComponentHashMismatchIsAllowed checkIfCausalHashMismatchIsAllowed entities = do errs <- UnliftIO.pooledForConcurrentlyN maxParallelism entities \(hash, entity) -> validateEntity checkIfComponentHashMismatchIsAllowed checkIfCausalHashMismatchIsAllowed hash entity @@ -409,16 +410,16 @@ validateEntity :: (CausalHash -> CausalHash -> m Bool) -> Hash32 -> Share.Entity Text Hash32 Hash32 -> - m (Maybe Sync.EntityValidationError) + m (Maybe (Either HH.HashingFailure Sync.EntityValidationError)) validateEntity checkIfComponentHashMismatchIsAllowed checkIfCausalHashMismatchIsAllowed hash entity = do case (Sync.validateEntity hash entity) of - Just (err@(Sync.EntityHashMismatch Sync.TermComponentType (Sync.HashMismatchForEntity {supplied = expectedHash, computed = actualHash}))) -> + Just (Right (err@(Sync.EntityHashMismatch Sync.TermComponentType (Sync.HashMismatchForEntity {supplied = expectedHash, computed = actualHash})))) -> checkIfComponentHashMismatchIsAllowed (ComponentHash . Hash32.toHash $ expectedHash) (ComponentHash . Hash32.toHash $ actualHash) >>= \case - False -> pure (Just err) + False -> pure (Just $ Right err) True -> pure Nothing - Just (err@(Sync.EntityHashMismatch Sync.CausalType (Sync.HashMismatchForEntity {supplied = expectedHash, computed = actualHash}))) -> + Just (Right (err@(Sync.EntityHashMismatch Sync.CausalType (Sync.HashMismatchForEntity {supplied = expectedHash, computed = actualHash})))) -> checkIfCausalHashMismatchIsAllowed (CausalHash . Hash32.toHash $ expectedHash) (CausalHash . Hash32.toHash $ actualHash) >>= \case - False -> pure (Just err) + False -> pure (Just $ Right err) True -> pure Nothing Just err -> -- This shouldn't happen unless the ucm client is buggy or malicious diff --git a/share-task-runner/src/Share/Tasks/AmbiguousComponentCheck.hs b/share-task-runner/src/Share/Tasks/AmbiguousComponentCheck.hs index d5886560..8d701272 100644 --- a/share-task-runner/src/Share/Tasks/AmbiguousComponentCheck.hs +++ b/share-task-runner/src/Share/Tasks/AmbiguousComponentCheck.hs @@ -8,6 +8,7 @@ import Share.Postgres.Cursors qualified as PG import Share.Prelude import Share.Utils.Logging (Loggable (..)) import Share.Utils.Logging qualified as Logging +import U.Codebase.Sqlite.HashHandle qualified as HH import U.Codebase.Sqlite.TempEntity import Unison.Hash32 import Unison.Sync.EntityValidation qualified as EV @@ -17,7 +18,7 @@ import Unison.Util.Servant.CBOR qualified as CBOR data AmbiguousComponentCheckError = TaskAmbiguousComponentCheckError Hash32 - | TaskEntityValidationError Hash32 (Sync.EntityValidationError) + | TaskEntityValidationError Hash32 (Either HH.HashingFailure Sync.EntityValidationError) | TaskEntityDecodingError Hash32 CBOR.DeserialiseFailure deriving (Show, Eq) diff --git a/transcripts/run-transcripts.zsh b/transcripts/run-transcripts.zsh index f1999c60..62ea6991 100755 --- a/transcripts/run-transcripts.zsh +++ b/transcripts/run-transcripts.zsh @@ -12,7 +12,9 @@ done; source "$(realpath "$(dirname "$0")")/transcript_helpers.sh" -# Base directory containing all transcripts +echo "UCM Version: $(transcript_ucm --version)" + +# Base directory containing share-api transcripts transcripts_location="transcripts/share-apis" # Find all directories within transcripts_location diff --git a/transcripts/share-apis/branch-browse/branch-find.json b/transcripts/share-apis/branch-browse/branch-find.json index a17d08f8..09de988c 100644 --- a/transcripts/share-apis/branch-browse/branch-find.json +++ b/transcripts/share-apis/branch-browse/branch-find.json @@ -136,6 +136,7 @@ { "annotation": { "contents": "#r7hq9rqc3hebqailf77f656vbgice0716c6f0j7bj06muhj5ac1pq103gdh5974f14fcbmvp44fai5in1ajp5j3ejckfp6bffd3fpoo", + "fqn": "Remote", "tag": "TypeReference" }, "segment": "Remote" diff --git a/transcripts/share-apis/code-browse/codebase-definition-by-hash-constructor.json b/transcripts/share-apis/code-browse/codebase-definition-by-hash-constructor.json index 1e1bd352..a6ad566e 100644 --- a/transcripts/share-apis/code-browse/codebase-definition-by-hash-constructor.json +++ b/transcripts/share-apis/code-browse/codebase-definition-by-hash-constructor.json @@ -44,6 +44,7 @@ { "annotation": { "contents": "#6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d0", + "fqn": "names.Thing.This", "tag": "TermReference" }, "segment": "This" @@ -57,6 +58,7 @@ { "annotation": { "contents": "#6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0#d1", + "fqn": "names.Thing.That", "tag": "TermReference" }, "segment": "That" diff --git a/transcripts/share-apis/code-browse/codebase-definition-by-hash-term.json b/transcripts/share-apis/code-browse/codebase-definition-by-hash-term.json index 412a8b5e..e8529b3c 100644 --- a/transcripts/share-apis/code-browse/codebase-definition-by-hash-term.json +++ b/transcripts/share-apis/code-browse/codebase-definition-by-hash-term.json @@ -9,6 +9,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -36,6 +37,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/code-browse/codebase-definition-by-name-encoded.json b/transcripts/share-apis/code-browse/codebase-definition-by-name-encoded.json index 0d5ce530..fd777610 100644 --- a/transcripts/share-apis/code-browse/codebase-definition-by-name-encoded.json +++ b/transcripts/share-apis/code-browse/codebase-definition-by-name-encoded.json @@ -49,6 +49,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -128,6 +129,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/code-browse/codebase-definition-by-name-should-minimally-suffix-again.json b/transcripts/share-apis/code-browse/codebase-definition-by-name-should-minimally-suffix-again.json index 7946df55..398f166b 100644 --- a/transcripts/share-apis/code-browse/codebase-definition-by-name-should-minimally-suffix-again.json +++ b/transcripts/share-apis/code-browse/codebase-definition-by-name-should-minimally-suffix-again.json @@ -9,6 +9,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -36,6 +37,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/code-browse/codebase-definition-by-name-should-minimally-suffix.json b/transcripts/share-apis/code-browse/codebase-definition-by-name-should-minimally-suffix.json index 916767f5..2356d33c 100644 --- a/transcripts/share-apis/code-browse/codebase-definition-by-name-should-minimally-suffix.json +++ b/transcripts/share-apis/code-browse/codebase-definition-by-name-should-minimally-suffix.json @@ -9,6 +9,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -36,6 +37,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/code-browse/codebase-definition-by-name-should-pretty-print-external-names-if-no-local-name.json b/transcripts/share-apis/code-browse/codebase-definition-by-name-should-pretty-print-external-names-if-no-local-name.json index ba3d5fb8..09cc013b 100644 --- a/transcripts/share-apis/code-browse/codebase-definition-by-name-should-pretty-print-external-names-if-no-local-name.json +++ b/transcripts/share-apis/code-browse/codebase-definition-by-name-should-pretty-print-external-names-if-no-local-name.json @@ -9,6 +9,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -36,6 +37,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -108,6 +110,7 @@ { "annotation": { "contents": "##Nat.+", + "fqn": "builtin.Nat.+", "tag": "TermReference" }, "segment": "+" @@ -119,6 +122,7 @@ { "annotation": { "contents": "#dcgdua2lj6upd1ah5v0qp09gjsej0d77d87fu6qn8e2qrssnlnmuinoio46hiu53magr7qn8vnqke8ndt0v76700o5u8gcvo7st28jg", + "fqn": "names.apples.two", "tag": "TermReference" }, "segment": "two" @@ -130,6 +134,7 @@ { "annotation": { "contents": "##Nat.+", + "fqn": "builtin.Nat.+", "tag": "TermReference" }, "segment": "+" @@ -141,6 +146,7 @@ { "annotation": { "contents": "#dcgdua2lj6upd1ah5v0qp09gjsej0d77d87fu6qn8e2qrssnlnmuinoio46hiu53magr7qn8vnqke8ndt0v76700o5u8gcvo7st28jg", + "fqn": "names.apples.two", "tag": "TermReference" }, "segment": "two" diff --git a/transcripts/share-apis/code-browse/codebase-definition-by-name-should-work-with-empty-perspective.json b/transcripts/share-apis/code-browse/codebase-definition-by-name-should-work-with-empty-perspective.json index 916767f5..2356d33c 100644 --- a/transcripts/share-apis/code-browse/codebase-definition-by-name-should-work-with-empty-perspective.json +++ b/transcripts/share-apis/code-browse/codebase-definition-by-name-should-work-with-empty-perspective.json @@ -9,6 +9,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -36,6 +37,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/code-browse/codebase-definition-by-name.json b/transcripts/share-apis/code-browse/codebase-definition-by-name.json index ac16466b..d5e1669d 100644 --- a/transcripts/share-apis/code-browse/codebase-definition-by-name.json +++ b/transcripts/share-apis/code-browse/codebase-definition-by-name.json @@ -9,6 +9,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -36,6 +37,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -108,6 +110,7 @@ { "annotation": { "contents": "##Nat.+", + "fqn": "builtin.Nat.+", "tag": "TermReference" }, "segment": "+" @@ -119,6 +122,7 @@ { "annotation": { "contents": "#dcgdua2lj6upd1ah5v0qp09gjsej0d77d87fu6qn8e2qrssnlnmuinoio46hiu53magr7qn8vnqke8ndt0v76700o5u8gcvo7st28jg", + "fqn": "names.apples.two", "tag": "TermReference" }, "segment": "two" diff --git a/transcripts/share-apis/code-browse/codebase-find.json b/transcripts/share-apis/code-browse/codebase-find.json index 4bdf20a4..38e3c93a 100644 --- a/transcripts/share-apis/code-browse/codebase-find.json +++ b/transcripts/share-apis/code-browse/codebase-find.json @@ -39,6 +39,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/code-browse/codebase-lib-term-definition-from-lib-perspective.json b/transcripts/share-apis/code-browse/codebase-lib-term-definition-from-lib-perspective.json index e7e1f885..0b408a10 100644 --- a/transcripts/share-apis/code-browse/codebase-lib-term-definition-from-lib-perspective.json +++ b/transcripts/share-apis/code-browse/codebase-lib-term-definition-from-lib-perspective.json @@ -9,6 +9,7 @@ { "annotation": { "contents": "#2lg4ah6ir6t129m33d7gssnigacral39qdamo20mn6r2vefliubpeqnjhejai9ekjckv0qnu9mlu3k9nbpfhl2schec4dohn7rjhjt8", + "fqn": "lib.data.Tuple", "tag": "TypeReference" }, "segment": "Tuple" @@ -76,6 +77,7 @@ { "annotation": { "contents": "#2lg4ah6ir6t129m33d7gssnigacral39qdamo20mn6r2vefliubpeqnjhejai9ekjckv0qnu9mlu3k9nbpfhl2schec4dohn7rjhjt8", + "fqn": "lib.data.Tuple", "tag": "TypeReference" }, "segment": "Tuple" @@ -154,6 +156,7 @@ { "annotation": { "contents": "#2lg4ah6ir6t129m33d7gssnigacral39qdamo20mn6r2vefliubpeqnjhejai9ekjckv0qnu9mlu3k9nbpfhl2schec4dohn7rjhjt8#d0", + "fqn": "lib.data.Tuple.Tuple", "tag": "TermReference" }, "segment": "Tuple" diff --git a/transcripts/share-apis/code-browse/codebase-lib-type-definition-from-lib-perspective.json b/transcripts/share-apis/code-browse/codebase-lib-type-definition-from-lib-perspective.json index 7a7e4798..e4187958 100644 --- a/transcripts/share-apis/code-browse/codebase-lib-type-definition-from-lib-perspective.json +++ b/transcripts/share-apis/code-browse/codebase-lib-type-definition-from-lib-perspective.json @@ -64,6 +64,7 @@ { "annotation": { "contents": "#2lg4ah6ir6t129m33d7gssnigacral39qdamo20mn6r2vefliubpeqnjhejai9ekjckv0qnu9mlu3k9nbpfhl2schec4dohn7rjhjt8#d0", + "fqn": "lib.data.Tuple.Tuple", "tag": "TermReference" }, "segment": "Tuple" diff --git a/transcripts/share-apis/code-browse/codebase-namespace-by-name-root.json b/transcripts/share-apis/code-browse/codebase-namespace-by-name-root.json index fc7ef740..a1afa7d1 100644 --- a/transcripts/share-apis/code-browse/codebase-namespace-by-name-root.json +++ b/transcripts/share-apis/code-browse/codebase-namespace-by-name-root.json @@ -1,7 +1,7 @@ { "body": { "fqn": "", - "hash": "#69sktmjiq1tc5tkvfs42676goeqbrlfq5edldkivupc0ene9qldekcm82njkfq1sfnjlqjcnrm8s93fr2l1rviqqospgv7clm4s7j0o", + "hash": "#00i5tm0i0v41f379hmhk06sktu1ifrtaaftsbe3qcpsef6b8p1rrpir1ac88v3m6pp5q8m4on28i87tftnsrs41eb4h7tq1e6lbd48g", "readme": null }, "status": [ diff --git a/transcripts/share-apis/code-browse/codebase-term-dependencies-by-hash.json b/transcripts/share-apis/code-browse/codebase-term-dependencies-by-hash.json index bf8772e8..f3621d81 100644 --- a/transcripts/share-apis/code-browse/codebase-term-dependencies-by-hash.json +++ b/transcripts/share-apis/code-browse/codebase-term-dependencies-by-hash.json @@ -11,6 +11,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -32,6 +33,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -53,6 +55,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -76,6 +79,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/code-browse/codebase-term-dependencies-by-name.json b/transcripts/share-apis/code-browse/codebase-term-dependencies-by-name.json index bf8772e8..f3621d81 100644 --- a/transcripts/share-apis/code-browse/codebase-term-dependencies-by-name.json +++ b/transcripts/share-apis/code-browse/codebase-term-dependencies-by-name.json @@ -11,6 +11,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -32,6 +33,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -53,6 +55,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -76,6 +79,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/code-browse/codebase-term-dependents-by-hash.json b/transcripts/share-apis/code-browse/codebase-term-dependents-by-hash.json index 7e52c765..f32bd107 100644 --- a/transcripts/share-apis/code-browse/codebase-term-dependents-by-hash.json +++ b/transcripts/share-apis/code-browse/codebase-term-dependents-by-hash.json @@ -11,6 +11,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -34,6 +35,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/code-browse/codebase-term-dependents-by-name.json b/transcripts/share-apis/code-browse/codebase-term-dependents-by-name.json index 7e52c765..f32bd107 100644 --- a/transcripts/share-apis/code-browse/codebase-term-dependents-by-name.json +++ b/transcripts/share-apis/code-browse/codebase-term-dependents-by-name.json @@ -11,6 +11,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -34,6 +35,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/contribution-diffs/contribution-diff.json b/transcripts/share-apis/contribution-diffs/contribution-diff.json index c26f1f71..0c412702 100644 --- a/transcripts/share-apis/contribution-diffs/contribution-diff.json +++ b/transcripts/share-apis/contribution-diffs/contribution-diff.json @@ -43,6 +43,7 @@ { "annotation": { "contents": "#keu02n8is0irijd65cvuos41kukj3f4ni18mmnudrbll2epo6ftd03nt9l0vqc4fvg98198tefgoupco4o0d0gvnigqgr1bmo2neo88#d0", + "fqn": "ATypeAlias.B", "tag": "TermReference" }, "segment": "B" @@ -109,6 +110,7 @@ { "annotation": { "contents": "#u9m3jehjj8mtrhh4i4fuk545k3pdged9r0egph91irldf4lc0rsmtma9eoakvv9hoeesciebuqd7kfm0vdnk48gi7q3s7edn5omb65o#a0", + "fqn": "AbilityAlias.abilityAliasMe", "tag": "TermReference" }, "segment": "abilityAliasMe" @@ -132,6 +134,7 @@ { "annotation": { "contents": "#u9m3jehjj8mtrhh4i4fuk545k3pdged9r0egph91irldf4lc0rsmtma9eoakvv9hoeesciebuqd7kfm0vdnk48gi7q3s7edn5omb65o", + "fqn": "AbilityAlias", "tag": "TypeReference" }, "segment": "AbilityAlias" @@ -149,6 +152,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -211,6 +215,7 @@ { "annotation": { "contents": "#i201btc2422jlmnric78btv3kl1palljsgc55mvm6rb9ofdos9u8mh2jd70uev381oiun4todb8vhkvvpteieshbfsot4slo9cgrjcg#a0", + "fqn": "AbilityDeleteMe.abilityDeleteMe", "tag": "TermReference" }, "segment": "abilityDeleteMe" @@ -234,6 +239,7 @@ { "annotation": { "contents": "#i201btc2422jlmnric78btv3kl1palljsgc55mvm6rb9ofdos9u8mh2jd70uev381oiun4todb8vhkvvpteieshbfsot4slo9cgrjcg", + "fqn": "AbilityDeleteMe", "tag": "TypeReference" }, "segment": "AbilityDeleteMe" @@ -251,6 +257,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -313,6 +320,7 @@ { "annotation": { "contents": "#0jhggeqhm54kgt6fmcftpesmdac7a6d7cp3fko413innr5kc8q9jmn6fm1mj9gdtr0iqh75ior1sh6fl0h3h930kph4meeelndlreb8#a0", + "fqn": "AbilityNew.abilityNew", "tag": "TermReference" }, "segment": "abilityNew" @@ -336,6 +344,7 @@ { "annotation": { "contents": "#0jhggeqhm54kgt6fmcftpesmdac7a6d7cp3fko413innr5kc8q9jmn6fm1mj9gdtr0iqh75ior1sh6fl0h3h930kph4meeelndlreb8", + "fqn": "AbilityNew", "tag": "TypeReference" }, "segment": "AbilityNew" @@ -353,6 +362,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -419,6 +429,7 @@ { "annotation": { "contents": "#lh3ufh51cghv5sn14ckq9f2urei00i6adqj3d0vovc51c6f18bhauqfjhkm34227ediga6mc5dp58inn4j714rhenig2jsps9ima7do#a0", + "fqn": "AbilityRenamed.abilityRenameMe", "tag": "TermReference" }, "segment": "abilityRenameMe" @@ -442,6 +453,7 @@ { "annotation": { "contents": "#lh3ufh51cghv5sn14ckq9f2urei00i6adqj3d0vovc51c6f18bhauqfjhkm34227ediga6mc5dp58inn4j714rhenig2jsps9ima7do", + "fqn": "AbilityRenamed", "tag": "TypeReference" }, "segment": "AbilityRenamed" @@ -459,6 +471,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -533,11 +546,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" }, "segment": "abilityUpdateMe", "toAnnotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" } }, @@ -566,11 +581,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" }, "segment": "AbilityUpdateMe", "toAnnotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" } }, @@ -595,6 +612,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -654,11 +672,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" }, "segment": "abilityUpdateMe", "toAnnotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" } }, @@ -687,11 +707,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" }, "segment": "AbilityUpdateMe", "toAnnotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" } }, @@ -716,6 +738,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -769,6 +792,7 @@ { "annotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" }, "segment": "abilityUpdateMe" @@ -792,6 +816,7 @@ { "annotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" }, "segment": "AbilityUpdateMe" @@ -809,6 +834,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -860,6 +886,7 @@ { "annotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" }, "segment": "abilityUpdateMe" @@ -883,6 +910,7 @@ { "annotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" }, "segment": "AbilityUpdateMe" @@ -900,6 +928,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -960,6 +989,7 @@ { "annotation": { "contents": "#fhc8jn2bhvfdnfr89dv2jf7tekuesna7gvje4ck6lfheh9rb184q4ddd29vm9mvfm6u1a98kpgditn8vb09durtel67rpof1c62535o#d0", + "fqn": "DataDeleteMe.C", "tag": "TermReference" }, "segment": "C" @@ -1023,6 +1053,7 @@ { "annotation": { "contents": "#a2bvb3g2l1mkijg24ogg0t23h51pnfepnngk6e3bqfijf4l9ms292t006e8faquo66ctn1ho35vtps13m6evbl6bos2guer5j6jcs1o#d0", + "fqn": "DataUpdateMe.D", "tag": "TermReference" }, "segment": "D" @@ -1070,6 +1101,7 @@ { "annotation": { "contents": "#6t7t8lem3bmu3j7bsid4omn8gej2gl57ffmkp0ef6qndhndh2q3q6dd1j9akl653r3vtifsunovvbmbjh0iqc7n6rhp4imnsghhe6go#d0", + "fqn": "DataUpdateMe.D2", "tag": "TermReference" }, "segment": "D2" @@ -1081,6 +1113,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1126,6 +1159,7 @@ { "annotation": { "contents": "#a2bvb3g2l1mkijg24ogg0t23h51pnfepnngk6e3bqfijf4l9ms292t006e8faquo66ctn1ho35vtps13m6evbl6bos2guer5j6jcs1o#d0", + "fqn": "DataUpdateMe.D", "tag": "TermReference" }, "segment": "D" @@ -1169,6 +1203,7 @@ { "annotation": { "contents": "#6t7t8lem3bmu3j7bsid4omn8gej2gl57ffmkp0ef6qndhndh2q3q6dd1j9akl653r3vtifsunovvbmbjh0iqc7n6rhp4imnsghhe6go#d0", + "fqn": "DataUpdateMe.D2", "tag": "TermReference" }, "segment": "D2" @@ -1180,6 +1215,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1262,12 +1298,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "x", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -1287,6 +1325,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1370,12 +1409,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "x", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -1395,6 +1436,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1426,7 +1468,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope" @@ -1454,6 +1497,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -1480,7 +1524,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "y" @@ -1498,6 +1543,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -1559,7 +1605,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "x" @@ -1577,6 +1624,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1631,7 +1679,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "x" @@ -1649,6 +1698,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1665,7 +1715,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope" @@ -1687,6 +1738,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -1703,7 +1755,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "y" @@ -1721,6 +1774,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -1741,9 +1795,9 @@ } }, "fullName": "MyType", - "newHash": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "newHash": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", "newTag": "Data", - "oldHash": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "oldHash": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", "oldTag": "Data", "shortName": "MyType" }, @@ -1787,6 +1841,7 @@ { "annotation": { "contents": "#kr4b5jvq4jd5ju6vajlgivsifbrmlbf300vqh4mokm6n56mm799i4c7jc748ih1m9cai72acf2jfhprranv7bsbgkv6ksg84n63dih0#d0", + "fqn": "NewType.X", "tag": "TermReference" }, "segment": "X" @@ -1845,6 +1900,7 @@ { "annotation": { "contents": "#hb2ubbk0c6347s5eqic78f26truhgro1ueh7r8invme3hnalmnv880tgpafpeo5kaaihonoph8o7pmhad8mr2e25m0hhor9lr34skhg#d0", + "fqn": "RenamedType.E", "tag": "TermReference" }, "segment": "E" @@ -1874,6 +1930,7 @@ { "annotation": { "contents": "#ej86si0ur1lsjade71dojr25phk9bbom9rdks6dltolos5tjivakujcriqe02npba53n9gd7tkh8bmv08ttjb9t35lq2ch5heshqcs0", + "fqn": "builtin.Doc2", "tag": "TypeReference" }, "segment": "Doc2" @@ -1901,6 +1958,7 @@ { "annotation": { "contents": "#ej86si0ur1lsjade71dojr25phk9bbom9rdks6dltolos5tjivakujcriqe02npba53n9gd7tkh8bmv08ttjb9t35lq2ch5heshqcs0", + "fqn": "builtin.Doc2", "tag": "TypeReference" }, "segment": "Doc2" @@ -1988,6 +2046,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2015,6 +2074,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2078,6 +2138,7 @@ { "annotation": { "contents": "#aql7qk3iud6vs4cvu43aimopoosgk0fnipibdkc3so13adencmibgfn0u5c01r0adei55nkl3ttsjhl8gbj7tr4gnpj63g64ftbq6s0", + "fqn": "builtin.Test.Result", "tag": "TypeReference" }, "segment": "Result" @@ -2117,6 +2178,7 @@ { "annotation": { "contents": "#aql7qk3iud6vs4cvu43aimopoosgk0fnipibdkc3so13adencmibgfn0u5c01r0adei55nkl3ttsjhl8gbj7tr4gnpj63g64ftbq6s0", + "fqn": "builtin.Test.Result", "tag": "TypeReference" }, "segment": "Result" @@ -2151,6 +2213,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "[" @@ -2158,6 +2221,7 @@ { "annotation": { "contents": "#aql7qk3iud6vs4cvu43aimopoosgk0fnipibdkc3so13adencmibgfn0u5c01r0adei55nkl3ttsjhl8gbj7tr4gnpj63g64ftbq6s0#d1", + "fqn": "builtin.Test.Result.Ok", "tag": "TermReference" }, "segment": "Ok" @@ -2175,6 +2239,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "]" @@ -2205,6 +2270,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2232,6 +2298,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2293,6 +2360,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2320,6 +2388,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2376,6 +2445,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2403,6 +2473,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2482,6 +2553,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2556,6 +2628,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2615,6 +2688,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2642,6 +2716,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2688,6 +2763,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2715,6 +2791,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2775,14 +2852,15 @@ "contents": { "contents": { "fullName": "MyType.newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope", - "hash": "#kdqeud3unjfahfo9ekf8aec1rbure56ud279ug6nfra5t9j31kb711gdj1hoai2rkgar6dpkokhjoija6a37bmkf73221vp65c78h08", + "hash": "#d5kqoer0u0h6hvngbqeuim0e418pe3rgdvoduivree026ntkudkidhom7r4hu7d22painb424p65gt52di8vrn9tlvvig9kpempvv5g", "rendered": { "bestTermName": "newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope", "defnTermTag": "Plain", "signature": [ { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -2804,6 +2882,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2834,7 +2913,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -2856,6 +2936,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2897,7 +2978,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -3034,12 +3116,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -3063,6 +3147,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3109,12 +3194,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -3185,12 +3272,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -3214,6 +3303,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3260,12 +3350,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -3348,7 +3440,8 @@ "signature": [ { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3370,6 +3463,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3396,7 +3490,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3418,6 +3513,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3455,7 +3551,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -3504,7 +3601,8 @@ "signature": [ { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3526,6 +3624,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3552,7 +3651,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3574,6 +3674,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3611,7 +3712,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -3676,9 +3778,9 @@ } }, "fullName": "MyType.x", - "newHash": "#9036g0gfr80583q4hulfhhk44m90509j8tut6l7qo6ive28c1o433aj08c6s02pfnusqoe1das3akgnpve9o7cvoeq7crduapupbspg", + "newHash": "#6m69tfu2qpu29q55k3dgofrmfdm40arru3h35i9sl2h0dqt4bln0n6ld0fgmqfiifn035iclucoioanu6kf9vgr4m01r574p1hg9lp0", "newTag": "Plain", - "oldHash": "#rc1o1cgmlkcl543nn2a3s22ben5a5h49v95ssm34gkdg2oeo3skqbjdfmldlpbo472fmhnbml28ltb5juas6dth9vgb4uqn2irccj8g", + "oldHash": "#1b01pvs4keha7v7s2q0oa2nokvh22st8e6f6880htnh98vnjsufm0hbvmhfmji172t8qupgn8j4d0aq35htjd40lcqh3v58c2msavdo", "oldTag": "Plain", "shortName": "x" }, @@ -3690,14 +3792,15 @@ "contents": { "contents": { "fullName": "MyType.y", - "hash": "#qor46g9u2rh3mafcua7t1inoafubj0jfud442k525685a08ec1g77cgknjaakaf0vqcl3mh9u8vo1siqavufgvroepl4a9cdk4ls7c8", + "hash": "#t5j5ac7adsmb132o40daa576517p32gaml4qb0ggs201t1kjvrpnaedodd3r0qn3rm9phb4lvm49as25vuimoakuvdmp4n6ev0geg7g", "rendered": { "bestTermName": "y", "defnTermTag": "Plain", "signature": [ { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3719,6 +3822,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -3745,7 +3849,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3767,6 +3872,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -3804,7 +3910,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -3882,7 +3989,7 @@ "contents": { "contents": { "fullName": "MyType.newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope.modify", - "hash": "#9c6indpuvklhvtplm0oq0v6kqktivqk8bc4k4fr43o5rn1ns16go7i65bbgik038v5qunmd8ceuoohf61rcmuc5phm5tq58l641bdlg", + "hash": "#q7clb6aj3m5ovir9b6p5h3sa03ov90s455ne9qnsl3budnb39h08rfrlrkhe1p6rl0ospcpjg3qpqhqn2pp4gn98eed0cbj6epbc4j0", "rendered": { "bestTermName": "newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope.modify", "defnTermTag": "Plain", @@ -3894,6 +4001,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -3933,6 +4041,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -3957,7 +4066,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3996,7 +4106,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4032,6 +4143,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -4071,6 +4183,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -4095,7 +4208,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4134,7 +4248,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4190,7 +4305,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -4273,7 +4389,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -4400,7 +4517,7 @@ "contents": { "contents": { "fullName": "MyType.newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope.set", - "hash": "#ljgu8un7rticqak1000jiflb1llcb5nb9cs6tdria4c26llree29u6gf0t3had9uv3rdj7gbkhaguc62uqsatpf1vd0oi5575rg6020", + "hash": "#u8smr8ali0qv2d9t72lnfrf2fqcv6dvq059rqrvnitu3pil8e6rps05agjjs4eh1rrnfb89jtjpnvkuuvi0v5i52db8n70gpiprsig0", "rendered": { "bestTermName": "newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope.set", "defnTermTag": "Plain", @@ -4408,6 +4525,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -4428,7 +4546,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4449,7 +4568,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4481,6 +4601,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -4501,7 +4622,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4522,7 +4644,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4578,7 +4701,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -4637,7 +4761,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -4768,6 +4893,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -4807,6 +4933,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -4834,12 +4961,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -4883,12 +5012,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } } @@ -4947,12 +5078,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -4998,12 +5131,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -5107,6 +5242,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5146,6 +5282,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5173,12 +5310,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -5222,12 +5361,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } } @@ -5291,12 +5432,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } } @@ -5413,12 +5556,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } } @@ -5552,6 +5697,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5591,6 +5737,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5615,7 +5762,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -5654,7 +5802,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -5686,6 +5835,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5725,6 +5875,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5749,7 +5900,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -5788,7 +5940,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -5836,7 +5989,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -5867,7 +6021,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -5923,6 +6078,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5962,6 +6118,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5986,7 +6143,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -6025,7 +6183,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -6057,6 +6216,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -6096,6 +6256,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -6120,7 +6281,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -6159,7 +6321,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -6211,7 +6374,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -6294,7 +6458,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -6397,9 +6562,9 @@ } }, "fullName": "MyType.x.modify", - "newHash": "#n3fkmakq0rue9fvi1k5q6j01i820n42mnbqav99uqirmsebcfcfmr7a920lulelbc6tp32sb0sg2pk8po1oo20fnes053shvfedl6i0", + "newHash": "#2nfabc16om2um8ns86nepm11lted805ie55e8id6jmh6hl4oib0pf5dmlah9a7kq9p4i5oho7q9b29phmashihipu77rdjnbrs689og", "newTag": "Plain", - "oldHash": "#fikqb7eq4gjltgbu675ij2fjeh43avl42t5th1l6ak6r0le1mr258ubjv27op2hl7dp4tvqfe567eglbmrddj18dl0qtq9705iu9ob0", + "oldHash": "#6tcb9qjrgn85nn254qcd8vbsvi8j3r665s013dqp5tn5agopkqhjv6viummocdj6628p6auhvit33f4d78kcrtbdn8uof8jv9f2r12o", "oldTag": "Plain", "shortName": "modify" }, @@ -6441,6 +6606,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -6464,12 +6630,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -6495,12 +6663,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } } @@ -6559,12 +6729,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -6610,12 +6782,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -6693,6 +6867,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -6716,12 +6891,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -6747,12 +6924,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } } @@ -6816,12 +6995,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } } @@ -6938,12 +7119,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } } @@ -7051,6 +7234,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -7071,7 +7255,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7092,7 +7277,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7120,6 +7306,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -7140,7 +7327,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7161,7 +7349,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7209,7 +7398,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -7240,7 +7430,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -7270,6 +7461,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -7290,7 +7482,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7311,7 +7504,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7339,6 +7533,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -7359,7 +7554,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7380,7 +7576,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7432,7 +7629,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -7515,7 +7713,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -7596,9 +7795,9 @@ } }, "fullName": "MyType.x.set", - "newHash": "#eupucl46999h691f4eni7vjj96pgrimgvb2blt43vjqcd71fif1k6a5mfqjls3mvdo759fjc0a4ve9vhi900ag6bjtkr7l3ulh71tg8", + "newHash": "#7h31r6ruaasf4d44237a0qr09do46cmu3jpmggr81tchq4ckgoduk99floprd59jeuh2e7p6apijgper9dvr3jcn63uauf3qi162uk8", "newTag": "Plain", - "oldHash": "#in6l5tjdtjmgf4t7s7kqbch5sk8mbq2vho8obf450uql0jrukcrrfrt93vuit578vpb5t3pfk0v5ualkf3sv0qhgrsupnbdmmarsn8g", + "oldHash": "#e6solai2ekb8eb9fgtubutlpn7ljpu6svu43at6du6nanqn7567gdd1vuunkn3p4tnvgc8f3pdc3jtq1o5tvn2q9nuu1v4ccim75hgg", "oldTag": "Plain", "shortName": "set" }, @@ -7618,7 +7817,7 @@ "contents": { "contents": { "fullName": "MyType.y.modify", - "hash": "#0bqkrjg60g6oa1g4g31cs6a9m3d0fnun22p6ll18avvhjqsc5tos1gtifrqhtejtb0t1uv39mfr96ghca2u7u3ip0lel1t8tg6g87ho", + "hash": "#k9gkq832k9sv5d7mdri0uecrk2vt6hpnjgfqcnag703kifkato6qnqtt7jfj4l170dpp56sc6b5qs9rpu4u4d4rssku03v7c997g43o", "rendered": { "bestTermName": "y.modify", "defnTermTag": "Plain", @@ -7630,6 +7829,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -7669,6 +7869,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -7693,7 +7894,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7732,7 +7934,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7764,6 +7967,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -7803,6 +8007,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -7827,7 +8032,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7866,7 +8072,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7918,7 +8125,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -8001,7 +8209,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -8112,7 +8321,7 @@ "contents": { "contents": { "fullName": "MyType.y.set", - "hash": "#2ufrude63hjuaj1uvdmicni8uja0kgchjp4cdkdt7pcd7bqlgp86n99cf40tpku2bi7c7re4cumpsisujogkv6cu3h27k1uuuras6c8", + "hash": "#qosgajmnq7n98k1oqb772m7dnbeo8r33tcp5lfeibr3i3ie7d9dnsrnsidfjp5v18di4shu51sta3976l2ao1etpste7s2fl9mgj2t8", "rendered": { "bestTermName": "y.set", "defnTermTag": "Plain", @@ -8120,6 +8329,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -8140,7 +8350,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -8161,7 +8372,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -8189,6 +8401,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -8209,7 +8422,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -8230,7 +8444,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -8282,7 +8497,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -8365,7 +8581,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -8478,6 +8695,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8505,6 +8723,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8562,6 +8781,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8589,6 +8809,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8654,6 +8875,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8681,6 +8903,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8741,9 +8964,9 @@ "tag": "ok" }, "newRef": "diff-end", - "newRefHash": "#dq03sc0bt10nmmrjv1ff16sbvldnlk22id878fbtvd122ep0gcb808f76q8japdj8h99tnc5m1ihhecpiap01hll1eanr8hc7bfrgpg", + "newRefHash": "#ftf626em106d5kc99j1g6r5u9kpo0d9mln7u1f968rv7t83p0fomoqb7a05ig2fdsehr8seejvpkdv7pjpva93cgq5tsnaaaube1fd0", "oldRef": "diff-start", - "oldRefHash": "#0ce6s0hcj5bijhdjr7v3s0pp1vt545bq6vmtl2mq9mi0r47fh17cce05bbcj5sgrt8di1oo4a0lvt57j7n9bug3iq4eh4bqn077ess8", + "oldRefHash": "#vkms68pgk50a0p5rmel9eq5euoi072a1qbbtf0oosd4kel0hgf7kivss3rh6v9e8b6g4kn8bhtl2tosch4g12kuhn2gq7d0o4lck258", "project": "@transcripts/contribution-diff", "tag": "done" }, diff --git a/transcripts/share-apis/contribution-diffs/namespace-diff.json b/transcripts/share-apis/contribution-diffs/namespace-diff.json index c26f1f71..0c412702 100644 --- a/transcripts/share-apis/contribution-diffs/namespace-diff.json +++ b/transcripts/share-apis/contribution-diffs/namespace-diff.json @@ -43,6 +43,7 @@ { "annotation": { "contents": "#keu02n8is0irijd65cvuos41kukj3f4ni18mmnudrbll2epo6ftd03nt9l0vqc4fvg98198tefgoupco4o0d0gvnigqgr1bmo2neo88#d0", + "fqn": "ATypeAlias.B", "tag": "TermReference" }, "segment": "B" @@ -109,6 +110,7 @@ { "annotation": { "contents": "#u9m3jehjj8mtrhh4i4fuk545k3pdged9r0egph91irldf4lc0rsmtma9eoakvv9hoeesciebuqd7kfm0vdnk48gi7q3s7edn5omb65o#a0", + "fqn": "AbilityAlias.abilityAliasMe", "tag": "TermReference" }, "segment": "abilityAliasMe" @@ -132,6 +134,7 @@ { "annotation": { "contents": "#u9m3jehjj8mtrhh4i4fuk545k3pdged9r0egph91irldf4lc0rsmtma9eoakvv9hoeesciebuqd7kfm0vdnk48gi7q3s7edn5omb65o", + "fqn": "AbilityAlias", "tag": "TypeReference" }, "segment": "AbilityAlias" @@ -149,6 +152,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -211,6 +215,7 @@ { "annotation": { "contents": "#i201btc2422jlmnric78btv3kl1palljsgc55mvm6rb9ofdos9u8mh2jd70uev381oiun4todb8vhkvvpteieshbfsot4slo9cgrjcg#a0", + "fqn": "AbilityDeleteMe.abilityDeleteMe", "tag": "TermReference" }, "segment": "abilityDeleteMe" @@ -234,6 +239,7 @@ { "annotation": { "contents": "#i201btc2422jlmnric78btv3kl1palljsgc55mvm6rb9ofdos9u8mh2jd70uev381oiun4todb8vhkvvpteieshbfsot4slo9cgrjcg", + "fqn": "AbilityDeleteMe", "tag": "TypeReference" }, "segment": "AbilityDeleteMe" @@ -251,6 +257,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -313,6 +320,7 @@ { "annotation": { "contents": "#0jhggeqhm54kgt6fmcftpesmdac7a6d7cp3fko413innr5kc8q9jmn6fm1mj9gdtr0iqh75ior1sh6fl0h3h930kph4meeelndlreb8#a0", + "fqn": "AbilityNew.abilityNew", "tag": "TermReference" }, "segment": "abilityNew" @@ -336,6 +344,7 @@ { "annotation": { "contents": "#0jhggeqhm54kgt6fmcftpesmdac7a6d7cp3fko413innr5kc8q9jmn6fm1mj9gdtr0iqh75ior1sh6fl0h3h930kph4meeelndlreb8", + "fqn": "AbilityNew", "tag": "TypeReference" }, "segment": "AbilityNew" @@ -353,6 +362,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -419,6 +429,7 @@ { "annotation": { "contents": "#lh3ufh51cghv5sn14ckq9f2urei00i6adqj3d0vovc51c6f18bhauqfjhkm34227ediga6mc5dp58inn4j714rhenig2jsps9ima7do#a0", + "fqn": "AbilityRenamed.abilityRenameMe", "tag": "TermReference" }, "segment": "abilityRenameMe" @@ -442,6 +453,7 @@ { "annotation": { "contents": "#lh3ufh51cghv5sn14ckq9f2urei00i6adqj3d0vovc51c6f18bhauqfjhkm34227ediga6mc5dp58inn4j714rhenig2jsps9ima7do", + "fqn": "AbilityRenamed", "tag": "TypeReference" }, "segment": "AbilityRenamed" @@ -459,6 +471,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -533,11 +546,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" }, "segment": "abilityUpdateMe", "toAnnotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" } }, @@ -566,11 +581,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" }, "segment": "AbilityUpdateMe", "toAnnotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" } }, @@ -595,6 +612,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -654,11 +672,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" }, "segment": "abilityUpdateMe", "toAnnotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" } }, @@ -687,11 +707,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" }, "segment": "AbilityUpdateMe", "toAnnotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" } }, @@ -716,6 +738,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -769,6 +792,7 @@ { "annotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" }, "segment": "abilityUpdateMe" @@ -792,6 +816,7 @@ { "annotation": { "contents": "#8u70g0vaddp9jm3egoq434qialp8hdnjfh8ah8mqjau0i5lmdikt9qbe491ss53i71976fftb2o90ii6gckvs0i2lhovs1n6h0huhb0", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" }, "segment": "AbilityUpdateMe" @@ -809,6 +834,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -860,6 +886,7 @@ { "annotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng#a0", + "fqn": "AbilityUpdateMe.abilityUpdateMe", "tag": "TermReference" }, "segment": "abilityUpdateMe" @@ -883,6 +910,7 @@ { "annotation": { "contents": "#nnulmopbjndcs4si1mop30dm01nlum2k7m6j4mmd1df2e63m09lchh2j1gkqd4gua3bl0g3j6hgn76rmc495au8cpr0t83oqoho0sng", + "fqn": "AbilityUpdateMe", "tag": "TypeReference" }, "segment": "AbilityUpdateMe" @@ -900,6 +928,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -960,6 +989,7 @@ { "annotation": { "contents": "#fhc8jn2bhvfdnfr89dv2jf7tekuesna7gvje4ck6lfheh9rb184q4ddd29vm9mvfm6u1a98kpgditn8vb09durtel67rpof1c62535o#d0", + "fqn": "DataDeleteMe.C", "tag": "TermReference" }, "segment": "C" @@ -1023,6 +1053,7 @@ { "annotation": { "contents": "#a2bvb3g2l1mkijg24ogg0t23h51pnfepnngk6e3bqfijf4l9ms292t006e8faquo66ctn1ho35vtps13m6evbl6bos2guer5j6jcs1o#d0", + "fqn": "DataUpdateMe.D", "tag": "TermReference" }, "segment": "D" @@ -1070,6 +1101,7 @@ { "annotation": { "contents": "#6t7t8lem3bmu3j7bsid4omn8gej2gl57ffmkp0ef6qndhndh2q3q6dd1j9akl653r3vtifsunovvbmbjh0iqc7n6rhp4imnsghhe6go#d0", + "fqn": "DataUpdateMe.D2", "tag": "TermReference" }, "segment": "D2" @@ -1081,6 +1113,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1126,6 +1159,7 @@ { "annotation": { "contents": "#a2bvb3g2l1mkijg24ogg0t23h51pnfepnngk6e3bqfijf4l9ms292t006e8faquo66ctn1ho35vtps13m6evbl6bos2guer5j6jcs1o#d0", + "fqn": "DataUpdateMe.D", "tag": "TermReference" }, "segment": "D" @@ -1169,6 +1203,7 @@ { "annotation": { "contents": "#6t7t8lem3bmu3j7bsid4omn8gej2gl57ffmkp0ef6qndhndh2q3q6dd1j9akl653r3vtifsunovvbmbjh0iqc7n6rhp4imnsghhe6go#d0", + "fqn": "DataUpdateMe.D2", "tag": "TermReference" }, "segment": "D2" @@ -1180,6 +1215,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1262,12 +1298,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "x", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -1287,6 +1325,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1370,12 +1409,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "x", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -1395,6 +1436,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1426,7 +1468,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope" @@ -1454,6 +1497,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -1480,7 +1524,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "y" @@ -1498,6 +1543,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -1559,7 +1605,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "x" @@ -1577,6 +1624,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1631,7 +1679,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "x" @@ -1649,6 +1698,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1665,7 +1715,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope" @@ -1687,6 +1738,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -1703,7 +1755,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "y" @@ -1721,6 +1774,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -1741,9 +1795,9 @@ } }, "fullName": "MyType", - "newHash": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "newHash": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", "newTag": "Data", - "oldHash": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "oldHash": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", "oldTag": "Data", "shortName": "MyType" }, @@ -1787,6 +1841,7 @@ { "annotation": { "contents": "#kr4b5jvq4jd5ju6vajlgivsifbrmlbf300vqh4mokm6n56mm799i4c7jc748ih1m9cai72acf2jfhprranv7bsbgkv6ksg84n63dih0#d0", + "fqn": "NewType.X", "tag": "TermReference" }, "segment": "X" @@ -1845,6 +1900,7 @@ { "annotation": { "contents": "#hb2ubbk0c6347s5eqic78f26truhgro1ueh7r8invme3hnalmnv880tgpafpeo5kaaihonoph8o7pmhad8mr2e25m0hhor9lr34skhg#d0", + "fqn": "RenamedType.E", "tag": "TermReference" }, "segment": "E" @@ -1874,6 +1930,7 @@ { "annotation": { "contents": "#ej86si0ur1lsjade71dojr25phk9bbom9rdks6dltolos5tjivakujcriqe02npba53n9gd7tkh8bmv08ttjb9t35lq2ch5heshqcs0", + "fqn": "builtin.Doc2", "tag": "TypeReference" }, "segment": "Doc2" @@ -1901,6 +1958,7 @@ { "annotation": { "contents": "#ej86si0ur1lsjade71dojr25phk9bbom9rdks6dltolos5tjivakujcriqe02npba53n9gd7tkh8bmv08ttjb9t35lq2ch5heshqcs0", + "fqn": "builtin.Doc2", "tag": "TypeReference" }, "segment": "Doc2" @@ -1988,6 +2046,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2015,6 +2074,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2078,6 +2138,7 @@ { "annotation": { "contents": "#aql7qk3iud6vs4cvu43aimopoosgk0fnipibdkc3so13adencmibgfn0u5c01r0adei55nkl3ttsjhl8gbj7tr4gnpj63g64ftbq6s0", + "fqn": "builtin.Test.Result", "tag": "TypeReference" }, "segment": "Result" @@ -2117,6 +2178,7 @@ { "annotation": { "contents": "#aql7qk3iud6vs4cvu43aimopoosgk0fnipibdkc3so13adencmibgfn0u5c01r0adei55nkl3ttsjhl8gbj7tr4gnpj63g64ftbq6s0", + "fqn": "builtin.Test.Result", "tag": "TypeReference" }, "segment": "Result" @@ -2151,6 +2213,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "[" @@ -2158,6 +2221,7 @@ { "annotation": { "contents": "#aql7qk3iud6vs4cvu43aimopoosgk0fnipibdkc3so13adencmibgfn0u5c01r0adei55nkl3ttsjhl8gbj7tr4gnpj63g64ftbq6s0#d1", + "fqn": "builtin.Test.Result.Ok", "tag": "TermReference" }, "segment": "Ok" @@ -2175,6 +2239,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "]" @@ -2205,6 +2270,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2232,6 +2298,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2293,6 +2360,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2320,6 +2388,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2376,6 +2445,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2403,6 +2473,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -2482,6 +2553,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2556,6 +2628,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2615,6 +2688,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2642,6 +2716,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2688,6 +2763,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2715,6 +2791,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2775,14 +2852,15 @@ "contents": { "contents": { "fullName": "MyType.newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope", - "hash": "#kdqeud3unjfahfo9ekf8aec1rbure56ud279ug6nfra5t9j31kb711gdj1hoai2rkgar6dpkokhjoija6a37bmkf73221vp65c78h08", + "hash": "#d5kqoer0u0h6hvngbqeuim0e418pe3rgdvoduivree026ntkudkidhom7r4hu7d22painb424p65gt52di8vrn9tlvvig9kpempvv5g", "rendered": { "bestTermName": "newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope", "defnTermTag": "Plain", "signature": [ { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -2804,6 +2882,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2834,7 +2913,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -2856,6 +2936,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -2897,7 +2978,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -3034,12 +3116,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -3063,6 +3147,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3109,12 +3194,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -3185,12 +3272,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -3214,6 +3303,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3260,12 +3350,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -3348,7 +3440,8 @@ "signature": [ { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3370,6 +3463,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3396,7 +3490,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3418,6 +3513,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3455,7 +3551,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -3504,7 +3601,8 @@ "signature": [ { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3526,6 +3624,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3552,7 +3651,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3574,6 +3674,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -3611,7 +3712,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -3676,9 +3778,9 @@ } }, "fullName": "MyType.x", - "newHash": "#9036g0gfr80583q4hulfhhk44m90509j8tut6l7qo6ive28c1o433aj08c6s02pfnusqoe1das3akgnpve9o7cvoeq7crduapupbspg", + "newHash": "#6m69tfu2qpu29q55k3dgofrmfdm40arru3h35i9sl2h0dqt4bln0n6ld0fgmqfiifn035iclucoioanu6kf9vgr4m01r574p1hg9lp0", "newTag": "Plain", - "oldHash": "#rc1o1cgmlkcl543nn2a3s22ben5a5h49v95ssm34gkdg2oeo3skqbjdfmldlpbo472fmhnbml28ltb5juas6dth9vgb4uqn2irccj8g", + "oldHash": "#1b01pvs4keha7v7s2q0oa2nokvh22st8e6f6880htnh98vnjsufm0hbvmhfmji172t8qupgn8j4d0aq35htjd40lcqh3v58c2msavdo", "oldTag": "Plain", "shortName": "x" }, @@ -3690,14 +3792,15 @@ "contents": { "contents": { "fullName": "MyType.y", - "hash": "#qor46g9u2rh3mafcua7t1inoafubj0jfud442k525685a08ec1g77cgknjaakaf0vqcl3mh9u8vo1siqavufgvroepl4a9cdk4ls7c8", + "hash": "#t5j5ac7adsmb132o40daa576517p32gaml4qb0ggs201t1kjvrpnaedodd3r0qn3rm9phb4lvm49as25vuimoakuvdmp4n6ev0geg7g", "rendered": { "bestTermName": "y", "defnTermTag": "Plain", "signature": [ { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3719,6 +3822,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -3745,7 +3849,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3767,6 +3872,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -3804,7 +3910,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -3882,7 +3989,7 @@ "contents": { "contents": { "fullName": "MyType.newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope.modify", - "hash": "#9c6indpuvklhvtplm0oq0v6kqktivqk8bc4k4fr43o5rn1ns16go7i65bbgik038v5qunmd8ceuoohf61rcmuc5phm5tq58l641bdlg", + "hash": "#q7clb6aj3m5ovir9b6p5h3sa03ov90s455ne9qnsl3budnb39h08rfrlrkhe1p6rl0ospcpjg3qpqhqn2pp4gn98eed0cbj6epbc4j0", "rendered": { "bestTermName": "newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope.modify", "defnTermTag": "Plain", @@ -3894,6 +4001,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -3933,6 +4041,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -3957,7 +4066,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -3996,7 +4106,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4032,6 +4143,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -4071,6 +4183,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -4095,7 +4208,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4134,7 +4248,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4190,7 +4305,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -4273,7 +4389,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -4400,7 +4517,7 @@ "contents": { "contents": { "fullName": "MyType.newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope.set", - "hash": "#ljgu8un7rticqak1000jiflb1llcb5nb9cs6tdria4c26llree29u6gf0t3had9uv3rdj7gbkhaguc62uqsatpf1vd0oi5575rg6020", + "hash": "#u8smr8ali0qv2d9t72lnfrf2fqcv6dvq059rqrvnitu3pil8e6rps05agjjs4eh1rrnfb89jtjpnvkuuvi0v5i52db8n70gpiprsig0", "rendered": { "bestTermName": "newFieldWithAReallyReallyReallyReallyReallyLongNameThatWillForceThePrettyPrinterToWrapItIHope.set", "defnTermTag": "Plain", @@ -4408,6 +4525,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -4428,7 +4546,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4449,7 +4568,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4481,6 +4601,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -4501,7 +4622,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4522,7 +4644,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -4578,7 +4701,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -4637,7 +4761,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -4768,6 +4893,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -4807,6 +4933,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -4834,12 +4961,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -4883,12 +5012,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } } @@ -4947,12 +5078,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -4998,12 +5131,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -5107,6 +5242,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5146,6 +5282,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5173,12 +5310,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -5222,12 +5361,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } } @@ -5291,12 +5432,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } } @@ -5413,12 +5556,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } } @@ -5552,6 +5697,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5591,6 +5737,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5615,7 +5762,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -5654,7 +5802,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -5686,6 +5835,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5725,6 +5875,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5749,7 +5900,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -5788,7 +5940,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -5836,7 +5989,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -5867,7 +6021,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -5923,6 +6078,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5962,6 +6118,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -5986,7 +6143,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -6025,7 +6183,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -6057,6 +6216,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -6096,6 +6256,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -6120,7 +6281,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -6159,7 +6321,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -6211,7 +6374,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -6294,7 +6458,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -6397,9 +6562,9 @@ } }, "fullName": "MyType.x.modify", - "newHash": "#n3fkmakq0rue9fvi1k5q6j01i820n42mnbqav99uqirmsebcfcfmr7a920lulelbc6tp32sb0sg2pk8po1oo20fnes053shvfedl6i0", + "newHash": "#2nfabc16om2um8ns86nepm11lted805ie55e8id6jmh6hl4oib0pf5dmlah9a7kq9p4i5oho7q9b29phmashihipu77rdjnbrs689og", "newTag": "Plain", - "oldHash": "#fikqb7eq4gjltgbu675ij2fjeh43avl42t5th1l6ak6r0le1mr258ubjv27op2hl7dp4tvqfe567eglbmrddj18dl0qtq9705iu9ob0", + "oldHash": "#6tcb9qjrgn85nn254qcd8vbsvi8j3r665s013dqp5tn5agopkqhjv6viummocdj6628p6auhvit33f4d78kcrtbdn8uof8jv9f2r12o", "oldTag": "Plain", "shortName": "modify" }, @@ -6441,6 +6606,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -6464,12 +6630,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -6495,12 +6663,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" } } @@ -6559,12 +6729,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -6610,12 +6782,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } }, @@ -6693,6 +6867,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -6716,12 +6891,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } }, @@ -6747,12 +6924,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" } } @@ -6816,12 +6995,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } } @@ -6938,12 +7119,14 @@ { "diffTag": "annotationChange", "fromAnnotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType", "toAnnotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" } } @@ -7051,6 +7234,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -7071,7 +7255,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7092,7 +7277,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7120,6 +7306,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -7140,7 +7327,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7161,7 +7349,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7209,7 +7398,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -7240,7 +7430,8 @@ }, { "annotation": { - "contents": "#0tc9e438eurvtevfa6k9pg04qvv66is75hs8iqejkuoaef140g8vvu92hc1ks4gamgc3i1ukgdn0blchp3038l43vffijpsbjh14igo#d0", + "contents": "#a598urnrgl2u0vnlf616shqjl8j9q8o587oingb2dju205r12s1hjum8h4vfbe6r3o5jta90s4424346chgcjamv1gult06cqd6s8dg#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -7270,6 +7461,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -7290,7 +7482,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7311,7 +7504,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7339,6 +7533,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -7359,7 +7554,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7380,7 +7576,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7432,7 +7629,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -7515,7 +7713,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -7596,9 +7795,9 @@ } }, "fullName": "MyType.x.set", - "newHash": "#eupucl46999h691f4eni7vjj96pgrimgvb2blt43vjqcd71fif1k6a5mfqjls3mvdo759fjc0a4ve9vhi900ag6bjtkr7l3ulh71tg8", + "newHash": "#7h31r6ruaasf4d44237a0qr09do46cmu3jpmggr81tchq4ckgoduk99floprd59jeuh2e7p6apijgper9dvr3jcn63uauf3qi162uk8", "newTag": "Plain", - "oldHash": "#in6l5tjdtjmgf4t7s7kqbch5sk8mbq2vho8obf450uql0jrukcrrfrt93vuit578vpb5t3pfk0v5ualkf3sv0qhgrsupnbdmmarsn8g", + "oldHash": "#e6solai2ekb8eb9fgtubutlpn7ljpu6svu43at6du6nanqn7567gdd1vuunkn3p4tnvgc8f3pdc3jtq1o5tvn2q9nuu1v4ccim75hgg", "oldTag": "Plain", "shortName": "set" }, @@ -7618,7 +7817,7 @@ "contents": { "contents": { "fullName": "MyType.y.modify", - "hash": "#0bqkrjg60g6oa1g4g31cs6a9m3d0fnun22p6ll18avvhjqsc5tos1gtifrqhtejtb0t1uv39mfr96ghca2u7u3ip0lel1t8tg6g87ho", + "hash": "#k9gkq832k9sv5d7mdri0uecrk2vt6hpnjgfqcnag703kifkato6qnqtt7jfj4l170dpp56sc6b5qs9rpu4u4d4rssku03v7c997g43o", "rendered": { "bestTermName": "y.modify", "defnTermTag": "Plain", @@ -7630,6 +7829,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -7669,6 +7869,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -7693,7 +7894,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7732,7 +7934,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7764,6 +7967,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -7803,6 +8007,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -7827,7 +8032,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7866,7 +8072,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -7918,7 +8125,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -8001,7 +8209,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -8112,7 +8321,7 @@ "contents": { "contents": { "fullName": "MyType.y.set", - "hash": "#2ufrude63hjuaj1uvdmicni8uja0kgchjp4cdkdt7pcd7bqlgp86n99cf40tpku2bi7c7re4cumpsisujogkv6cu3h27k1uuuras6c8", + "hash": "#qosgajmnq7n98k1oqb772m7dnbeo8r33tcp5lfeibr3i3ie7d9dnsrnsidfjp5v18di4shu51sta3976l2ao1etpste7s2fl9mgj2t8", "rendered": { "bestTermName": "y.set", "defnTermTag": "Plain", @@ -8120,6 +8329,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -8140,7 +8350,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -8161,7 +8372,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -8189,6 +8401,7 @@ { "annotation": { "contents": "##Boolean", + "fqn": "builtin.Boolean", "tag": "TypeReference" }, "segment": "Boolean" @@ -8209,7 +8422,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -8230,7 +8444,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350", + "fqn": "MyType", "tag": "TypeReference" }, "segment": "MyType" @@ -8282,7 +8497,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -8365,7 +8581,8 @@ }, { "annotation": { - "contents": "#0isu3aust47n76g5cev59evfim7tdq73pc6uuqf1lmg8f8hum3ltnb6s2ptpo5krv0k403bsjbjr6fmpcld3h1jckro47i0rjcjpo4g#d0", + "contents": "#57628ufvmdt0s85ff8tbk9tvlqj4uk8ld34mn15aqktjt46q7hg7fgqolhtg6j2rk9fmid16v1i5gcjqeti2d9djgsglrafdd3te350#d0", + "fqn": "MyType.MyType", "tag": "TermReference" }, "segment": "MyType" @@ -8478,6 +8695,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8505,6 +8723,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8562,6 +8781,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8589,6 +8809,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8654,6 +8875,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8681,6 +8903,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -8741,9 +8964,9 @@ "tag": "ok" }, "newRef": "diff-end", - "newRefHash": "#dq03sc0bt10nmmrjv1ff16sbvldnlk22id878fbtvd122ep0gcb808f76q8japdj8h99tnc5m1ihhecpiap01hll1eanr8hc7bfrgpg", + "newRefHash": "#ftf626em106d5kc99j1g6r5u9kpo0d9mln7u1f968rv7t83p0fomoqb7a05ig2fdsehr8seejvpkdv7pjpva93cgq5tsnaaaube1fd0", "oldRef": "diff-start", - "oldRefHash": "#0ce6s0hcj5bijhdjr7v3s0pp1vt545bq6vmtl2mq9mi0r47fh17cce05bbcj5sgrt8di1oo4a0lvt57j7n9bug3iq4eh4bqn077ess8", + "oldRefHash": "#vkms68pgk50a0p5rmel9eq5euoi072a1qbbtf0oosd4kel0hgf7kivss3rh6v9e8b6g4kn8bhtl2tosch4g12kuhn2gq7d0o4lck258", "project": "@transcripts/contribution-diff", "tag": "done" }, diff --git a/transcripts/share-apis/contribution-diffs/prelude.md b/transcripts/share-apis/contribution-diffs/prelude.md index a3da3c69..72d29cc6 100644 --- a/transcripts/share-apis/contribution-diffs/prelude.md +++ b/transcripts/share-apis/contribution-diffs/prelude.md @@ -59,11 +59,9 @@ contribution-diff/diff-end> delete.term termDeleteMe contribution-diff/diff-end> alias.type DataAliasMe ATypeAlias contribution-diff/diff-end> alias.term DataAliasMe.B ATypeAlias.B contribution-diff/diff-end> delete.type DataDeleteMe -contribution-diff/diff-end> delete.namespace DataDeleteMe contribution-diff/diff-end> alias.type AbilityAliasMe AbilityAlias contribution-diff/diff-end> alias.term AbilityAliasMe.abilityAliasMe AbilityAlias.abilityAliasMe contribution-diff/diff-end> delete.type AbilityDeleteMe -contribution-diff/diff-end> delete.namespace AbilityDeleteMe contribution-diff/diff-end> delete.term a.definition.at.path1 contribution-diff/diff-end> delete.term a.definition.at.path2 contribution-diff/diff-end> delete.term a.different.path diff --git a/transcripts/share-apis/contribution-diffs/standard-term-diff.json b/transcripts/share-apis/contribution-diffs/standard-term-diff.json index c105ce7a..7413451f 100644 --- a/transcripts/share-apis/contribution-diffs/standard-term-diff.json +++ b/transcripts/share-apis/contribution-diffs/standard-term-diff.json @@ -29,6 +29,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -103,6 +104,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -162,6 +164,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -189,6 +192,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -236,6 +240,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -263,6 +268,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" diff --git a/transcripts/share-apis/contribution-diffs/standard-type-diff.json b/transcripts/share-apis/contribution-diffs/standard-type-diff.json index 0a3b0139..c2d0c6d7 100644 --- a/transcripts/share-apis/contribution-diffs/standard-type-diff.json +++ b/transcripts/share-apis/contribution-diffs/standard-type-diff.json @@ -40,6 +40,7 @@ { "annotation": { "contents": "#a2bvb3g2l1mkijg24ogg0t23h51pnfepnngk6e3bqfijf4l9ms292t006e8faquo66ctn1ho35vtps13m6evbl6bos2guer5j6jcs1o#d0", + "fqn": "DataUpdateMe.D", "tag": "TermReference" }, "segment": "D" @@ -87,6 +88,7 @@ { "annotation": { "contents": "#6t7t8lem3bmu3j7bsid4omn8gej2gl57ffmkp0ef6qndhndh2q3q6dd1j9akl653r3vtifsunovvbmbjh0iqc7n6rhp4imnsghhe6go#d0", + "fqn": "DataUpdateMe.D2", "tag": "TermReference" }, "segment": "D2" @@ -98,6 +100,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -143,6 +146,7 @@ { "annotation": { "contents": "#6t7t8lem3bmu3j7bsid4omn8gej2gl57ffmkp0ef6qndhndh2q3q6dd1j9akl653r3vtifsunovvbmbjh0iqc7n6rhp4imnsghhe6go#d0", + "fqn": "DataUpdateMe.D2", "tag": "TermReference" }, "segment": "D2" @@ -154,6 +158,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -198,6 +203,7 @@ { "annotation": { "contents": "#a2bvb3g2l1mkijg24ogg0t23h51pnfepnngk6e3bqfijf4l9ms292t006e8faquo66ctn1ho35vtps13m6evbl6bos2guer5j6jcs1o#d0", + "fqn": "DataUpdateMe.D", "tag": "TermReference" }, "segment": "D" diff --git a/transcripts/share-apis/definition-diffs/mismatched-term-diff.json b/transcripts/share-apis/definition-diffs/mismatched-term-diff.json index 86fdd518..5e21cebe 100644 --- a/transcripts/share-apis/definition-diffs/mismatched-term-diff.json +++ b/transcripts/share-apis/definition-diffs/mismatched-term-diff.json @@ -9,6 +9,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -36,6 +37,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" diff --git a/transcripts/share-apis/definition-diffs/mismatched-type-diff.json b/transcripts/share-apis/definition-diffs/mismatched-type-diff.json index 75d7cc3e..d0c48dcb 100644 --- a/transcripts/share-apis/definition-diffs/mismatched-type-diff.json +++ b/transcripts/share-apis/definition-diffs/mismatched-type-diff.json @@ -33,6 +33,7 @@ { "annotation": { "contents": "#sa4ptibggqmbifhfj37gj2lq487q5ucfuojjcblfaas9bunlthhkvhstsrj20fvlpqakb8e9mqds4p32lnh8ohmf1s5omvdhc23jibg#d0", + "fqn": "NewIO.NewIO", "tag": "TermReference" }, "segment": "NewIO" diff --git a/transcripts/share-apis/definition-diffs/standard-ability-diff.json b/transcripts/share-apis/definition-diffs/standard-ability-diff.json index dacf1f3c..e4fe50c4 100644 --- a/transcripts/share-apis/definition-diffs/standard-ability-diff.json +++ b/transcripts/share-apis/definition-diffs/standard-ability-diff.json @@ -63,7 +63,8 @@ "elements": [ { "annotation": { - "contents": "#ebotvibo97n9s8ggp2n32jf6splp86102tjh70q395gmmdsfi45pvrvtkpot5e97ugg6t4j602ol001i3p28t62c8iga2rlma0ckfs0#a0", + "contents": "#2u79g532g9toj61nq7ul4en2s5n2of7uftunp4orlmfvbbju254292md5t83v4nhnpr4psnen0qjt9c9sr7289jsv93rh8hpk5qb3g8#a0", + "fqn": "BeforeAbility.beforeAbility", "tag": "TermReference" }, "segment": "beforeAbility" @@ -91,6 +92,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -123,7 +125,8 @@ "elements": [ { "annotation": { - "contents": "#ebotvibo97n9s8ggp2n32jf6splp86102tjh70q395gmmdsfi45pvrvtkpot5e97ugg6t4j602ol001i3p28t62c8iga2rlma0ckfs0", + "contents": "#2u79g532g9toj61nq7ul4en2s5n2of7uftunp4orlmfvbbju254292md5t83v4nhnpr4psnen0qjt9c9sr7289jsv93rh8hpk5qb3g8", + "fqn": "BeforeAbility", "tag": "TypeReference" }, "segment": "BeforeAbility" @@ -146,6 +149,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -216,7 +220,8 @@ "elements": [ { "annotation": { - "contents": "#i1i6tae2gi8jp12lukns1e027i98ekbqhh6p5b944i44l6otiltjphbnmt2r844e2ukr2kppob3c5gvdpegc6ej54h9eg2j9gkc6ifg#a0", + "contents": "#68fcao5k208mfob6ljihaivhaht6ra3trlpgmsodqrc72h0m6ksng5urbmtf0j91q2roljtjv25fi7gnt0ahc5tq76mr92g2fgv5jgg#a0", + "fqn": "AfterAbility.afterAbility", "tag": "TermReference" }, "segment": "afterAbility" @@ -244,6 +249,7 @@ { "annotation": { "contents": "##Int", + "fqn": "builtin.Int", "tag": "TypeReference" }, "segment": "Int" @@ -276,7 +282,8 @@ "elements": [ { "annotation": { - "contents": "#i1i6tae2gi8jp12lukns1e027i98ekbqhh6p5b944i44l6otiltjphbnmt2r844e2ukr2kppob3c5gvdpegc6ej54h9eg2j9gkc6ifg", + "contents": "#68fcao5k208mfob6ljihaivhaht6ra3trlpgmsodqrc72h0m6ksng5urbmtf0j91q2roljtjv25fi7gnt0ahc5tq76mr92g2fgv5jgg", + "fqn": "AfterAbility", "tag": "TypeReference" }, "segment": "AfterAbility" @@ -299,6 +306,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -351,7 +359,8 @@ }, { "annotation": { - "contents": "#i1i6tae2gi8jp12lukns1e027i98ekbqhh6p5b944i44l6otiltjphbnmt2r844e2ukr2kppob3c5gvdpegc6ej54h9eg2j9gkc6ifg#a0", + "contents": "#68fcao5k208mfob6ljihaivhaht6ra3trlpgmsodqrc72h0m6ksng5urbmtf0j91q2roljtjv25fi7gnt0ahc5tq76mr92g2fgv5jgg#a0", + "fqn": "AfterAbility.afterAbility", "tag": "TermReference" }, "segment": "afterAbility" @@ -369,6 +378,7 @@ { "annotation": { "contents": "##Int", + "fqn": "builtin.Int", "tag": "TypeReference" }, "segment": "Int" @@ -391,7 +401,8 @@ }, { "annotation": { - "contents": "#i1i6tae2gi8jp12lukns1e027i98ekbqhh6p5b944i44l6otiltjphbnmt2r844e2ukr2kppob3c5gvdpegc6ej54h9eg2j9gkc6ifg", + "contents": "#68fcao5k208mfob6ljihaivhaht6ra3trlpgmsodqrc72h0m6ksng5urbmtf0j91q2roljtjv25fi7gnt0ahc5tq76mr92g2fgv5jgg", + "fqn": "AfterAbility", "tag": "TypeReference" }, "segment": "AfterAbility" @@ -409,6 +420,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -460,7 +472,8 @@ }, { "annotation": { - "contents": "#ebotvibo97n9s8ggp2n32jf6splp86102tjh70q395gmmdsfi45pvrvtkpot5e97ugg6t4j602ol001i3p28t62c8iga2rlma0ckfs0#a0", + "contents": "#2u79g532g9toj61nq7ul4en2s5n2of7uftunp4orlmfvbbju254292md5t83v4nhnpr4psnen0qjt9c9sr7289jsv93rh8hpk5qb3g8#a0", + "fqn": "BeforeAbility.beforeAbility", "tag": "TermReference" }, "segment": "beforeAbility" @@ -478,6 +491,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -500,7 +514,8 @@ }, { "annotation": { - "contents": "#ebotvibo97n9s8ggp2n32jf6splp86102tjh70q395gmmdsfi45pvrvtkpot5e97ugg6t4j602ol001i3p28t62c8iga2rlma0ckfs0", + "contents": "#2u79g532g9toj61nq7ul4en2s5n2of7uftunp4orlmfvbbju254292md5t83v4nhnpr4psnen0qjt9c9sr7289jsv93rh8hpk5qb3g8", + "fqn": "BeforeAbility", "tag": "TypeReference" }, "segment": "BeforeAbility" @@ -518,6 +533,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" diff --git a/transcripts/share-apis/definition-diffs/standard-term-diff.json b/transcripts/share-apis/definition-diffs/standard-term-diff.json index e4a9ad8c..1c44ed45 100644 --- a/transcripts/share-apis/definition-diffs/standard-term-diff.json +++ b/transcripts/share-apis/definition-diffs/standard-term-diff.json @@ -34,6 +34,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -55,6 +56,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -82,6 +84,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -214,6 +217,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "[" @@ -227,6 +231,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -240,6 +245,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -250,11 +256,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#gmjjuqjosr81oqnm9ck6atmve2tnnuu4c5nk89apmg79nsu5djpl6av0os0ekqil0gekdjoianh1rrem7lddsq2i26itq40tbkfgon0", + "fqn": "valueChangesButNameStaysSame", "tag": "TermReference" }, "segment": "valueChangesButNameStaysSame", "toAnnotation": { "contents": "#gjmq673r1vrurfotlnirv7vutdhm6sa3s02em5g22kk606mv6duvv8be402dv79312i4a0onepq5bo7citsodvq2g720nttj0ee9p0g", + "fqn": "valueChangesButNameStaysSame", "tag": "TermReference" } }, @@ -264,6 +272,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -271,13 +280,17 @@ ] }, { - "annotation": { - "contents": "#pi25gcdv0oq0no6k2ahe6t849u7ht4lopeg5fve58ga5t17a49f1dkbmdm6dn063bn3tsd4adijr4ltf7ad6do8u71oa72i27oack2o", - "tag": "TermReference" - }, - "diffTag": "segmentChange", - "fromSegment": "nameChangesButValueStaysSame", - "toSegment": "changedNameWithSameValue" + "diffTag": "oneSided", + "elements": [ + { + "annotation": { + "contents": "#pi25gcdv0oq0no6k2ahe6t849u7ht4lopeg5fve58ga5t17a49f1dkbmdm6dn063bn3tsd4adijr4ltf7ad6do8u71oa72i27oack2o", + "fqn": "nameChangesButValueStaysSame", + "tag": "TermReference" + }, + "segment": "nameChangesButValueStaysSame" + } + ] }, { "diffTag": "both", @@ -285,6 +298,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "]" @@ -323,6 +337,7 @@ { "annotation": { "contents": "#6frvp5jfjtt7odi9769i0p5phuuuij1fi1d9l5ncpelh416ab3vceaphhaijh0ct0v9n793j7e4h78687oij6ai97085u63m264gj5o", + "fqn": "builtin.List.map", "tag": "TermReference" }, "segment": "List.map" @@ -364,6 +379,7 @@ { "annotation": { "contents": "##Nat.+", + "fqn": "builtin.Nat.+", "tag": "TermReference" }, "segment": "+" @@ -421,6 +437,7 @@ { "annotation": { "contents": "##List.size", + "fqn": "builtin.List.size", "tag": "TermReference" }, "segment": "List.size" @@ -472,6 +489,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -493,6 +511,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -519,6 +538,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -551,6 +571,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -703,6 +724,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "[" @@ -716,6 +738,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -729,6 +752,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -739,11 +763,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#gjmq673r1vrurfotlnirv7vutdhm6sa3s02em5g22kk606mv6duvv8be402dv79312i4a0onepq5bo7citsodvq2g720nttj0ee9p0g", + "fqn": "valueChangesButNameStaysSame", "tag": "TermReference" }, "segment": "valueChangesButNameStaysSame", "toAnnotation": { "contents": "#gmjjuqjosr81oqnm9ck6atmve2tnnuu4c5nk89apmg79nsu5djpl6av0os0ekqil0gekdjoianh1rrem7lddsq2i26itq40tbkfgon0", + "fqn": "valueChangesButNameStaysSame", "tag": "TermReference" } }, @@ -753,6 +779,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -760,13 +787,17 @@ ] }, { - "annotation": { - "contents": "#pi25gcdv0oq0no6k2ahe6t849u7ht4lopeg5fve58ga5t17a49f1dkbmdm6dn063bn3tsd4adijr4ltf7ad6do8u71oa72i27oack2o", - "tag": "TermReference" - }, - "diffTag": "segmentChange", - "fromSegment": "changedNameWithSameValue", - "toSegment": "nameChangesButValueStaysSame" + "diffTag": "oneSided", + "elements": [ + { + "annotation": { + "contents": "#pi25gcdv0oq0no6k2ahe6t849u7ht4lopeg5fve58ga5t17a49f1dkbmdm6dn063bn3tsd4adijr4ltf7ad6do8u71oa72i27oack2o", + "fqn": "changedNameWithSameValue", + "tag": "TermReference" + }, + "segment": "changedNameWithSameValue" + } + ] }, { "diffTag": "both", @@ -774,6 +805,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "]" @@ -812,6 +844,7 @@ { "annotation": { "contents": "#6frvp5jfjtt7odi9769i0p5phuuuij1fi1d9l5ncpelh416ab3vceaphhaijh0ct0v9n793j7e4h78687oij6ai97085u63m264gj5o", + "fqn": "builtin.List.map", "tag": "TermReference" }, "segment": "List.map" @@ -853,6 +886,7 @@ { "annotation": { "contents": "##Nat.+", + "fqn": "builtin.Nat.+", "tag": "TermReference" }, "segment": "+" @@ -910,6 +944,7 @@ { "annotation": { "contents": "##List.size", + "fqn": "builtin.List.size", "tag": "TermReference" }, "segment": "List.size" @@ -941,6 +976,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -962,6 +998,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -983,6 +1020,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1010,6 +1048,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1037,6 +1076,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1058,6 +1098,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1079,6 +1120,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1106,6 +1148,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1225,6 +1268,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "[" @@ -1238,6 +1282,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -1251,6 +1296,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -1258,6 +1304,7 @@ { "annotation": { "contents": "#gjmq673r1vrurfotlnirv7vutdhm6sa3s02em5g22kk606mv6duvv8be402dv79312i4a0onepq5bo7citsodvq2g720nttj0ee9p0g", + "fqn": "valueChangesButNameStaysSame", "tag": "TermReference" }, "segment": "valueChangesButNameStaysSame" @@ -1265,6 +1312,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -1272,6 +1320,7 @@ { "annotation": { "contents": "#pi25gcdv0oq0no6k2ahe6t849u7ht4lopeg5fve58ga5t17a49f1dkbmdm6dn063bn3tsd4adijr4ltf7ad6do8u71oa72i27oack2o", + "fqn": "changedNameWithSameValue", "tag": "TermReference" }, "segment": "changedNameWithSameValue" @@ -1279,6 +1328,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "]" @@ -1311,6 +1361,7 @@ { "annotation": { "contents": "#6frvp5jfjtt7odi9769i0p5phuuuij1fi1d9l5ncpelh416ab3vceaphhaijh0ct0v9n793j7e4h78687oij6ai97085u63m264gj5o", + "fqn": "builtin.List.map", "tag": "TermReference" }, "segment": "List.map" @@ -1352,6 +1403,7 @@ { "annotation": { "contents": "##Nat.+", + "fqn": "builtin.Nat.+", "tag": "TermReference" }, "segment": "+" @@ -1393,6 +1445,7 @@ { "annotation": { "contents": "##List.size", + "fqn": "builtin.List.size", "tag": "TermReference" }, "segment": "List.size" @@ -1423,6 +1476,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1444,6 +1498,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1471,6 +1526,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1498,6 +1554,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1519,6 +1576,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1546,6 +1604,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -1655,6 +1714,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "[" @@ -1668,6 +1728,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -1681,6 +1742,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -1688,6 +1750,7 @@ { "annotation": { "contents": "#gmjjuqjosr81oqnm9ck6atmve2tnnuu4c5nk89apmg79nsu5djpl6av0os0ekqil0gekdjoianh1rrem7lddsq2i26itq40tbkfgon0", + "fqn": "valueChangesButNameStaysSame", "tag": "TermReference" }, "segment": "valueChangesButNameStaysSame" @@ -1695,6 +1758,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": ", " @@ -1702,6 +1766,7 @@ { "annotation": { "contents": "#pi25gcdv0oq0no6k2ahe6t849u7ht4lopeg5fve58ga5t17a49f1dkbmdm6dn063bn3tsd4adijr4ltf7ad6do8u71oa72i27oack2o", + "fqn": "nameChangesButValueStaysSame", "tag": "TermReference" }, "segment": "nameChangesButValueStaysSame" @@ -1709,6 +1774,7 @@ { "annotation": { "contents": "##Sequence", + "fqn": "builtin.List", "tag": "TypeReference" }, "segment": "]" @@ -1741,6 +1807,7 @@ { "annotation": { "contents": "#6frvp5jfjtt7odi9769i0p5phuuuij1fi1d9l5ncpelh416ab3vceaphhaijh0ct0v9n793j7e4h78687oij6ai97085u63m264gj5o", + "fqn": "builtin.List.map", "tag": "TermReference" }, "segment": "List.map" @@ -1782,6 +1849,7 @@ { "annotation": { "contents": "##Nat.+", + "fqn": "builtin.Nat.+", "tag": "TermReference" }, "segment": "+" @@ -1823,6 +1891,7 @@ { "annotation": { "contents": "##List.size", + "fqn": "builtin.List.size", "tag": "TermReference" }, "segment": "List.size" diff --git a/transcripts/share-apis/definition-diffs/standard-type-diff.json b/transcripts/share-apis/definition-diffs/standard-type-diff.json index 2308b430..13e84744 100644 --- a/transcripts/share-apis/definition-diffs/standard-type-diff.json +++ b/transcripts/share-apis/definition-diffs/standard-type-diff.json @@ -54,11 +54,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#jjpne828dfnvlhiij4i567rd9v2guhbu0qt1eanjrf5oon2djjhod5ej85lp14e3iu24db9kgp1rjqh94vtrei7p3k69b7scfoqlup8", + "fqn": "BeforeType", "tag": "TypeReference" }, "segment": "fieldOne", "toAnnotation": { "contents": "#kumofu6ae22blpbip9rl33nvbkqfho86mohivuum8uabph37i4po78fi0120hmka4blrabancldnp93o75s35cc18vi8o9hdu3qrku8", + "fqn": "AfterType", "tag": "TypeReference" } }, @@ -78,6 +80,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -145,11 +148,13 @@ "diffTag": "annotationChange", "fromAnnotation": { "contents": "#kumofu6ae22blpbip9rl33nvbkqfho86mohivuum8uabph37i4po78fi0120hmka4blrabancldnp93o75s35cc18vi8o9hdu3qrku8", + "fqn": "AfterType", "tag": "TypeReference" }, "segment": "fieldOne", "toAnnotation": { "contents": "#jjpne828dfnvlhiij4i567rd9v2guhbu0qt1eanjrf5oon2djjhod5ej85lp14e3iu24db9kgp1rjqh94vtrei7p3k69b7scfoqlup8", + "fqn": "BeforeType", "tag": "TypeReference" } }, @@ -169,6 +174,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -191,6 +197,7 @@ { "annotation": { "contents": "#kumofu6ae22blpbip9rl33nvbkqfho86mohivuum8uabph37i4po78fi0120hmka4blrabancldnp93o75s35cc18vi8o9hdu3qrku8", + "fqn": "AfterType", "tag": "TypeReference" }, "segment": "fieldTwo" @@ -208,6 +215,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -270,6 +278,7 @@ { "annotation": { "contents": "#kumofu6ae22blpbip9rl33nvbkqfho86mohivuum8uabph37i4po78fi0120hmka4blrabancldnp93o75s35cc18vi8o9hdu3qrku8", + "fqn": "AfterType", "tag": "TypeReference" }, "segment": "fieldOne" @@ -287,6 +296,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -304,6 +314,7 @@ { "annotation": { "contents": "#kumofu6ae22blpbip9rl33nvbkqfho86mohivuum8uabph37i4po78fi0120hmka4blrabancldnp93o75s35cc18vi8o9hdu3qrku8", + "fqn": "AfterType", "tag": "TypeReference" }, "segment": "fieldTwo" @@ -321,6 +332,7 @@ { "annotation": { "contents": "##Text", + "fqn": "builtin.Text", "tag": "TypeReference" }, "segment": "Text" @@ -377,6 +389,7 @@ { "annotation": { "contents": "#jjpne828dfnvlhiij4i567rd9v2guhbu0qt1eanjrf5oon2djjhod5ej85lp14e3iu24db9kgp1rjqh94vtrei7p3k69b7scfoqlup8", + "fqn": "BeforeType", "tag": "TypeReference" }, "segment": "fieldOne" @@ -394,6 +407,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "builtin.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/projects-flow/project-browse-definition.json b/transcripts/share-apis/projects-flow/project-browse-definition.json index 3c20b116..ff91f397 100644 --- a/transcripts/share-apis/projects-flow/project-browse-definition.json +++ b/transcripts/share-apis/projects-flow/project-browse-definition.json @@ -64,6 +64,7 @@ { "annotation": { "contents": "#1apeg4vfn6t5jm65ldj9h8j4340u2uvqq62ih99fi80nqrrqj76vgb694fpcaci2c2t95bcupljq8b04m4vu70qq85mhr777i39i3jg", + "fqn": "lib.someLib.depNum", "tag": "TermReference" }, "segment": "depNum" diff --git a/transcripts/share-apis/projects-flow/project-readme.json b/transcripts/share-apis/projects-flow/project-readme.json index 9e6e5cf2..02cf1ce4 100644 --- a/transcripts/share-apis/projects-flow/project-readme.json +++ b/transcripts/share-apis/projects-flow/project-readme.json @@ -25,6 +25,7 @@ { "annotation": { "contents": "#3r86bb0g1gn0ugqcf1hcvchic4rmlkep93agjdni44rfpf8m8pn9n3rtfq0jo4kovhv1nus01eqiivgdk2b20snsarln4n57dbk88m0", + "fqn": "someTerm", "tag": "TermReference" }, "segment": "someTerm" diff --git a/transcripts/share-apis/search/complex-type-mention-search.json b/transcripts/share-apis/search/complex-type-mention-search.json index 1044293c..4a86d549 100644 --- a/transcripts/share-apis/search/complex-type-mention-search.json +++ b/transcripts/share-apis/search/complex-type-mention-search.json @@ -77,6 +77,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" @@ -126,6 +127,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" diff --git a/transcripts/share-apis/search/defn-search-fuzzy.json b/transcripts/share-apis/search/defn-search-fuzzy.json index 792b76c2..b03f3daa 100644 --- a/transcripts/share-apis/search/defn-search-fuzzy.json +++ b/transcripts/share-apis/search/defn-search-fuzzy.json @@ -31,6 +31,7 @@ { "annotation": { "contents": "##Text", + "fqn": "data.Text", "tag": "TypeReference" }, "segment": "Text" @@ -52,6 +53,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "data.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -75,6 +77,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "data.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -96,6 +99,7 @@ { "annotation": { "contents": "##Text", + "fqn": "data.Text", "tag": "TypeReference" }, "segment": "Text" diff --git a/transcripts/share-apis/search/defn-search-project-filter-happy.json b/transcripts/share-apis/search/defn-search-project-filter-happy.json index 1044293c..4a86d549 100644 --- a/transcripts/share-apis/search/defn-search-project-filter-happy.json +++ b/transcripts/share-apis/search/defn-search-project-filter-happy.json @@ -77,6 +77,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" @@ -126,6 +127,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" diff --git a/transcripts/share-apis/search/defn-search-release-filter-happy.json b/transcripts/share-apis/search/defn-search-release-filter-happy.json index 1044293c..4a86d549 100644 --- a/transcripts/share-apis/search/defn-search-release-filter-happy.json +++ b/transcripts/share-apis/search/defn-search-release-filter-happy.json @@ -77,6 +77,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" @@ -126,6 +127,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" diff --git a/transcripts/share-apis/search/defn-search-user-filter-happy.json b/transcripts/share-apis/search/defn-search-user-filter-happy.json index 1044293c..4a86d549 100644 --- a/transcripts/share-apis/search/defn-search-user-filter-happy.json +++ b/transcripts/share-apis/search/defn-search-user-filter-happy.json @@ -77,6 +77,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" @@ -126,6 +127,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" diff --git a/transcripts/share-apis/search/return-type-sorting-1.json b/transcripts/share-apis/search/return-type-sorting-1.json index c521f3b1..90f17052 100644 --- a/transcripts/share-apis/search/return-type-sorting-1.json +++ b/transcripts/share-apis/search/return-type-sorting-1.json @@ -11,6 +11,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "data.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -32,6 +33,7 @@ { "annotation": { "contents": "##Text", + "fqn": "data.Text", "tag": "TypeReference" }, "segment": "Text" @@ -55,6 +57,7 @@ { "annotation": { "contents": "##Text", + "fqn": "data.Text", "tag": "TypeReference" }, "segment": "Text" @@ -76,6 +79,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "data.Nat", "tag": "TypeReference" }, "segment": "Nat" diff --git a/transcripts/share-apis/search/return-type-sorting-2.json b/transcripts/share-apis/search/return-type-sorting-2.json index acc720fc..559f3239 100644 --- a/transcripts/share-apis/search/return-type-sorting-2.json +++ b/transcripts/share-apis/search/return-type-sorting-2.json @@ -11,6 +11,7 @@ { "annotation": { "contents": "##Text", + "fqn": "data.Text", "tag": "TypeReference" }, "segment": "Text" @@ -32,6 +33,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "data.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -55,6 +57,7 @@ { "annotation": { "contents": "##Nat", + "fqn": "data.Nat", "tag": "TypeReference" }, "segment": "Nat" @@ -76,6 +79,7 @@ { "annotation": { "contents": "##Text", + "fqn": "data.Text", "tag": "TypeReference" }, "segment": "Text" diff --git a/transcripts/share-apis/search/similar-type-search.json b/transcripts/share-apis/search/similar-type-search.json index 1044293c..4a86d549 100644 --- a/transcripts/share-apis/search/similar-type-search.json +++ b/transcripts/share-apis/search/similar-type-search.json @@ -77,6 +77,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" @@ -126,6 +127,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" diff --git a/transcripts/share-apis/search/type-var-search.json b/transcripts/share-apis/search/type-var-search.json index fce57f81..585c2551 100644 --- a/transcripts/share-apis/search/type-var-search.json +++ b/transcripts/share-apis/search/type-var-search.json @@ -139,6 +139,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" @@ -188,6 +189,7 @@ { "annotation": { "contents": "#22ffou62u91ks8av7bdmhq10jct5ulot40c84j0k3kfdrh5rj2o6a3ditsfpo6sv6mkde2p13um06mkrsdckudmeh6k4oa7v53887f8", + "fqn": "data.List", "tag": "TypeReference" }, "segment": "List" diff --git a/transcripts/share-apis/sync/error-ambiguous-component-ordering.md b/transcripts/share-apis/sync/error-ambiguous-component-ordering.md new file mode 100644 index 00000000..b7821b46 --- /dev/null +++ b/transcripts/share-apis/sync/error-ambiguous-component-ordering.md @@ -0,0 +1,24 @@ +```ucm:hide +scratch/main> project.create-empty ambiguous +ambiguous/main> builtins.merge +``` + +Create a flawed component which should be rejected with an ambiguous element ordering error. + +```unison +ping = do + pong() + +pong = do + ping() +``` + + +```ucm:hide +ambiguous/main> update +``` + +Try to push, this should be rejected. +```ucm +ambiguous/main> push @transcripts/ambiguous/main +``` diff --git a/transcripts/share-apis/sync/error-ambiguous-component-ordering.output.md b/transcripts/share-apis/sync/error-ambiguous-component-ordering.output.md new file mode 100644 index 00000000..7750dca8 --- /dev/null +++ b/transcripts/share-apis/sync/error-ambiguous-component-ordering.output.md @@ -0,0 +1,49 @@ +``` ucm :hide +scratch/main> project.create-empty ambiguous + +ambiguous/main> builtins.merge +``` + +Create a flawed component which should be rejected with an ambiguous element ordering error. + +``` unison +ping = do + pong() + +pong = do + ping() +``` + +``` ucm :added-by-ucm + Loading changes detected in scratch.u. + + + ping : 'r + + pong : 'r + + Run `update` to apply these changes to your codebase. +``` + +``` ucm :hide +ambiguous/main> update +``` + +Try to push, this should be rejected. + +``` ucm +ambiguous/main> push @transcripts/ambiguous/main +``` + +🛑 + +The transcript failed due to an error in the stanza above. The error is: + +``` +❗️ + +Failed to decode a term component entity with the hash +#6nhsou2jbd9o95ftlp83v1dhqo7cmk0jb4tgkecmurku9en8qqnr205arlacgj3tumu6sfudhi100lqcvu2sbf4t412nngvbeuboeig +. +Please create an issue and report this to the Unison team + +The error was: Incomplete element ordering in term components +``` diff --git a/transcripts/sync-apis/prelude.md b/transcripts/share-apis/sync/prelude.md similarity index 100% rename from transcripts/sync-apis/prelude.md rename to transcripts/share-apis/sync/prelude.md diff --git a/transcripts/sync-apis/pull-without-history.md b/transcripts/share-apis/sync/pull-without-history.md similarity index 100% rename from transcripts/sync-apis/pull-without-history.md rename to transcripts/share-apis/sync/pull-without-history.md diff --git a/transcripts/sync-apis/pull-without-history.output.md b/transcripts/share-apis/sync/pull-without-history.output.md similarity index 97% rename from transcripts/sync-apis/pull-without-history.output.md rename to transcripts/share-apis/sync/pull-without-history.output.md index f67d5381..89a371f8 100644 --- a/transcripts/sync-apis/pull-without-history.output.md +++ b/transcripts/share-apis/sync/pull-without-history.output.md @@ -78,6 +78,8 @@ myproject/main> branch.create-empty dest myproject/dest> pull.without-history @transcripts/myproject/main + Updating branch from #sg60bvjo91 to #gd3audeh9u + ✅ Successfully updated myproject/dest from diff --git a/transcripts/share-apis/sync/run.zsh b/transcripts/share-apis/sync/run.zsh new file mode 100755 index 00000000..84bed8df --- /dev/null +++ b/transcripts/share-apis/sync/run.zsh @@ -0,0 +1,25 @@ +#!/usr/bin/env zsh + +set -e +source ../../transcript_helpers.sh + +# Reset DB to a known state +login_user_for_ucm 'transcripts' + +for transcript in $(ls *.md | grep -v '^prelude.md$' | grep -v 'output.md$') ; do + # Reset DB to a known state before each transcript + pg_reset_fixtures + + echo "Running $transcript" + if [[ "$transcript" == error* ]]; then + if transcript_ucm transcript "$transcript"; then + echo "Transcript $transcript was expected to fail but succeeded" + exit 1 + else + echo "Transcript $transcript failed as expected" + fi + else + # Add logic here for non-error transcripts + transcript_ucm transcript "$transcript" + fi +done diff --git a/transcripts/sync-apis/sync.md b/transcripts/share-apis/sync/sync.md similarity index 100% rename from transcripts/sync-apis/sync.md rename to transcripts/share-apis/sync/sync.md diff --git a/transcripts/sync-apis/sync.output.md b/transcripts/share-apis/sync/sync.output.md similarity index 92% rename from transcripts/sync-apis/sync.output.md rename to transcripts/share-apis/sync/sync.output.md index 2e621b86..b68759f4 100644 --- a/transcripts/sync-apis/sync.output.md +++ b/transcripts/share-apis/sync/sync.output.md @@ -30,7 +30,7 @@ ys = [!a, !b] :+ 3 + a : 'Nat + b : 'Nat - + xs : ['{g} Nat] + + xs : ['Nat] + ys : [Nat] Run `update` to apply these changes to your codebase. @@ -45,7 +45,7 @@ Push and pull it back. ``` ucm proj/main> push @transcripts/proj/main - Uploaded 457 entities. + Uploaded 466 entities. I just created @transcripts/proj on http://localhost:5424 @@ -66,13 +66,13 @@ proj/pulled> pull @transcripts/proj/main proj/pulled> ls . 1. A (type) - 2. A/ (2 terms) + 2. A. (2 terms) 3. B (type) - 4. B/ (2 terms) + 4. B. (2 terms) 5. a ('Nat) 6. b ('Nat) - 7. builtin/ (609 terms, 101 types) - 8. xs (['{g} Nat]) + 7. builtin. (676 terms, 107 types) + 8. xs (['Nat]) 9. ys ([Nat]) ``` @@ -147,13 +147,13 @@ proj/diverge> pull @transcripts/proj/main When you're done, you can run - merge.commit + update to merge your changes back into diverge and delete the temporary branch. Or, if you decide to cancel the merge instead, you can run - delete.branch /merge-remote-main-into-diverge + cancel to delete the temporary branch and switch back to diverge. ``` diff --git a/transcripts/sync-apis/write-other-user-without-permission.md b/transcripts/share-apis/sync/write-other-user-without-permission.md similarity index 100% rename from transcripts/sync-apis/write-other-user-without-permission.md rename to transcripts/share-apis/sync/write-other-user-without-permission.md diff --git a/transcripts/sync-apis/write-other-user-without-permission.output.md b/transcripts/share-apis/sync/write-other-user-without-permission.output.md similarity index 100% rename from transcripts/sync-apis/write-other-user-without-permission.output.md rename to transcripts/share-apis/sync/write-other-user-without-permission.output.md diff --git a/transcripts/sync-apis/run.zsh b/transcripts/sync-apis/run.zsh deleted file mode 100755 index 34feb680..00000000 --- a/transcripts/sync-apis/run.zsh +++ /dev/null @@ -1,13 +0,0 @@ -#!/usr/bin/env zsh - -set -e - -source "../transcript_helpers.sh" - -for transcript in $(ls *.md | grep -v '^prelude.md$' | grep -v 'output.md$') ; do - # Reset DB to a known state before each transcript - pg_reset_fixtures - - echo "Running $transcript" - transcript_ucm transcript "$transcript" -done diff --git a/transcripts/transcript_functions.sh b/transcripts/transcript_functions.sh index 291352f7..70923af7 100644 --- a/transcripts/transcript_functions.sh +++ b/transcripts/transcript_functions.sh @@ -11,7 +11,7 @@ mkdir -p "${ucm_xdg_data_dir}/unisonlanguage" ucm_credentials_file="${ucm_xdg_data_dir}/unisonlanguage/credentials.json" # Executable to use when running unison transcripts -export UCM_PATH="${1:-"$(which ucm)"}" +export UCM_PATH="${UCM_PATH:-"$(which ucm)"}" export empty_causal_hash='sg60bvjo91fsoo7pkh9gejbn0qgc95vra87ap6l5d35ri0lkaudl7bs12d71sf3fh6p23teemuor7mk1i9n567m50ibakcghjec5ajg' export echo_server_port=9999 export echo_server="http://localhost:${echo_server_port}" @@ -22,7 +22,7 @@ fi # UCM to use within transcripts transcript_ucm() { - XDG_DATA_HOME="${ucm_xdg_data_dir}" UNISON_SHARE_HOST="http://localhost:5424" "${UCM_PATH}" "$@" + UNISON_PAGER=cat XDG_DATA_HOME="${ucm_xdg_data_dir}" UNISON_SHARE_HOST="http://localhost:5424" "${UCM_PATH}" "$@" } cookie_jar_dir=$(mktemp -d) diff --git a/unison b/unison index 3afea592..d884da2a 160000 --- a/unison +++ b/unison @@ -1 +1 @@ -Subproject commit 3afea592e6cca45912a15e782542a79e1f0bd2e3 +Subproject commit d884da2a6bfd0f78b920cf08f583ddeadaaa5c02