Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

viewing a patch #14

Open
aryairani opened this issue Jun 18, 2021 · 1 comment
Open

viewing a patch #14

aryairani opened this issue Jun 18, 2021 · 1 comment
Labels
enhancement New feature or request needs-ui-design requires-backend-change snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months

Comments

@aryairani
Copy link

aryairani commented Jun 18, 2021 •
edited
Loading

It needs design work obviously, as this is the output of ucm when you .> view.patch .base.patch 🤦‍♂️

  Edited Types:
    tmp._atln.Map       -> base.Map
    tmp._atln.Set       -> base.Set
    tmp._atln.test.Test -> base.test.Test
    tmp._atln.Trie      -> base.Trie
  
  Edited Terms:
    builtin.List.empty                                                   -> base.List.empty
    tmp._atln.Map.map                                                    -> base.Map.map
    tmp._atln.Trie.empty                                                 -> base.Trie.empty
    #12em6b2ruk                                                          -> base.List.flatMap
    tmp._atln.Store.withInitialValue.tests.law1                          -> #0qr163ptt7
    tmp._atln.List.isPrefixOf.tests.prop1                                -> #hv1ibla3lj
    tmp._atln.Set.singleton.test                                         -> #o3iaaevjd3
    #2gm9n4850v                                                          -> #9a2vcbl1ug
    #2jk4m34efv                                                          -> base.compose2
    #2nvflvkffm                                                          -> base.compose3
    tmp._atln.List.foldr.tests.homomorphism                              -> #ilghe261jj
    #2rcd6q28m3                                                          -> #cb6pj4nb4t
    tmp._atln.List.Nonempty.foldMap.test                                 -> #fh5pojbs6a
    tmp._atln.Trie.head                                                  -> base.Trie.head
    tmp._atln.test.internals.v1.Test.Report.empty                        -> base.test.internals.v1.Test.Report.empty
    #3uumolunsc                                                          -> #hvqlqc0ug1
    tmp._atln.List.Nonempty.append.tests.associative                     -> #ivlp37of29
    tmp._atln.List.Nonempty.singleton.test                               -> #809ifnph80
    tmp._atln.Set.toList                                                 -> base.Set.toList
    #4aktnuklc9                                                          -> #rle758fa77
    #4brdkq13kr                                                          -> base.Trie.gen
    tmp._base_jun_16.releases._M2.Map.intersectWithKey.tests.commutative -> base.Map.intersectWithKey.tests.commutative
    #4dsb3hm5bh                                                          -> base.Trie.union.tests.values
    tmp._atln.List.tail.tests.prop1                                      -> #4erqcusc21
    tmp._atln.List.isSuffixOf.tests.prop2                                -> #tcs4j0a6s2
    tmp._atln.List.zipWith.tests.zipWithRange                            -> #n631pci10h
    tmp._atln.test.proveWith                                             -> #ht0a5u8bfu
    tmp._atln.Set.flatten.tests.associative                              -> #b1fa2cm5eg
    tmp._atln.test.both                                                  -> #6r52cqv00s
    #5fu9v9bfkk                                                          -> #3cisllo8j8
    #5l64s5pgu6                                                          -> #m3pkhs3bvq
    tmp._atln.List.Nonempty.map.tests.functor                            -> #hpg2rql9u1
    tmp._atln.Trie.mapKeys                                               -> #jt73l48m71
    #61jvl77e4l                                                          -> #sicp77o5ss
    tmp._atln.Map.mapKeys                                                -> #c1v545tvsq
    #6a4d4ig50q                                                          -> #l5sutcle78
    tmp._atln.List.Nonempty.join.tests.unit                              -> #ft749c2ubu
    tmp._atln.Map.delete.doc                                             -> #q9bnnoaev1
    #6lsv1mouk7                                                          -> #uakt86grgl
    tmp._atln.List.contains.tests.prop1                                  -> #87f14cokiu
    #6pfu97mcji                                                          -> #him44leedf
    #73llk3d8go                                                          -> #80tua33dm0
    #74a427h4gr                                                          -> #me9rtg421b
    tmp._atln.Map.insert                                                 -> base.Map.insert
    #7ceup2jb3q                                                          -> #akopbl247q
    tmp._atln.Store.local.test                                           -> #ffjibsedkq
    tmp._atln.Map.keys                                                   -> base.Map.keys
    tmp._atln.Trie.tail                                                  -> base.Trie.tail
    tmp._atln.test.tests                                                 -> #4ifp1tiho8
    #7v3kh0h682                                                          -> #8dq3j8n3o1
    tmp._atln.Map.intersectWith                                          -> #ije7ak8q0r
    tmp._atln.List.deleteAt.test                                         -> #30fsij172t
    tmp._atln.Boolean.implies.test                                       -> #rivfsa4c3c
    #8dmqrnv8iq                                                          -> base.io.delay.doc
    #8n09pcqmc3                                                          -> #9d7gvqnmbd
    #8n80sl8gig                                                          -> #s77a0bcv7n
    tmp._atln.List.join.tests.unit                                       -> #onb0hric3r
    #91k9j1d147                                                          -> #2j8e90o7k1
    #9accsvjbeq                                                          -> #ebhr6f859h
    tmp._atln.Set.size                                                   -> base.Set.size
    #9f0ppphej1                                                          -> #b0ho92bt0h
    tmp._atln.until.test                                                 -> #kfki99ou35
    tmp._atln.List.Nonempty.tail.test                                    -> #tsuhimjhua
    tmp._atln.test.laws.commutative                                      -> #jj6l71en1o
    tmp._atln.Set.underlying                                             -> base.Set.underlying
    #acb5ql6ubl                                                          -> #347fvpimpu
    #aj9c6m4aqd                                                          -> #cns20tpqnk
    tmp._atln.while.test                                                 -> #72bkvmppnl
    tmp._atln.List.Nonempty.size.test                                    -> #brumidauaj
    #au5e91vk3o                                                          -> #aqjo8tg2fc
    tmp._atln.Map.toList                                                 -> base.Map.toList
    tmp._atln.List.all.tests.deMorgan                                    -> #7al3dmi92g
    tmp._atln.Set.contains                                               -> base.Set.contains
    tmp._atln.Set.toMap                                                  -> base.Set.toMap
    #bnp5gitfns                                                          -> base.Either.fold
    #c3c6majmib                                                          -> #4kvc33jiqn
    tmp._atln.Trie.map                                                   -> base.Trie.map
    tmp._atln.Store.modify.test                                          -> #5hgtbfr720
    #c8fro0seo3                                                          -> #m9rf28fajm
    tmp._atln.test.failWith                                              -> #mblog9jmcu
    tmp._atln.Map.delete                                                 -> #tjq4611c9t
    tmp._atln.Trie.head.set                                              -> base.Trie.head.set
    external.unison_random_mersenne.v1._base_additions.Nat.min           -> base.Universal.min
    tmp._atln.Universal.max.tests.partialOrder                           -> #9e8nquna7l
    #cvv8n7vc9i                                                          -> #gpnflvsbfl
    #d7o8km67c4                                                          -> #p0fp3hual7
    tmp._atln.List.Nonempty.scanl.test                                   -> #1d9utb6qph
    tmp._atln.Set.empty                                                  -> base.Set.empty
    tmp._atln.Set.fromList                                               -> #fjqierkstn
    #dqlkpq2n0r                                                          -> #1rv3h8tqp6
    tmp._atln.List.isPrefixOf.tests.prop2                                -> #iau9gubjnd
    #e4cjqdjsfj                                                          -> #oj4k1tf6vn
    tmp._atln.Set.unions                                                 -> #pdnfckvuft
    tmp._atln.List.scanl.test                                            -> #h82mheuf2i
    #e9thu54uv3                                                          -> #fm6m3bo7uv
    #ea640gt6ha                                                          -> #8f5v2ibmck
    tmp._atln.Map.contains                                               -> base.Map.contains
    #ed6gk6p8h9                                                          -> #pi9onlsn0l
    #eirnjrmln0                                                          -> #8eoocdihh4
    tmp._atln.Map.intersect                                              -> #fj3eorif38
    tmp._atln.Map.singleton                                              -> base.Map.singleton
    #f3lpn74ft5                                                          -> #91ggkmdjbu
    #f79j2mv7h9                                                          -> #ejlu8ljcj3
    tmp._atln.List.Nonempty.join.tests.associative                       -> #f3ogodn4ds
    #fauuedr3m9                                                          -> #jo3jtd54di
    tmp._atln.test.internals.v1.foldReport                               -> base.test.internals.v1.foldReport
    tmp._base_jun_16.releases._M2.Map.intersectWith.tests.commutative    -> base.Map.intersectWith.tests.commutative
    #fsnc0pme33                                                          -> #98f0c83c5l
    tmp._atln.Trie.singleton                                             -> #ot593vm5id
    #ggrgo97pr6                                                          -> #f1a4t2pngp
    tmp._atln.test.laws.associative                                      -> #k744t8sgo3
    tmp._atln.Set.flatten.tests.unit                                     -> #virntc4i7j
    tmp._atln.Trie.tail.modify                                           -> base.Trie.tail.modify
    tmp._atln.Map.empty                                                  -> base.Map.empty
    tmp._atln.List.Nonempty.last.test                                    -> #hg42537to5
    tmp._atln.Map.union                                                  -> #d2nj9o0n31
    #gtmc5iqp6s                                                          -> #9k85jkgfmg
    tmp._atln.Set.union                                                  -> #6h022a3441
    #htdgg5ndng                                                          -> #g1sann7gh8
    #i69om2kh1o                                                          -> #l8angmm9b8
    tmp._atln.test.internals.v1.Test.Report.toCLIResult                  -> base.test.internals.v1.Test.Report.toCLIResult
    tmp._atln.test.okWith                                                -> #05niktk87d
    tmp._atln.List.Nonempty.append.tests.homomorphism                    -> #861i9dgclv
    tmp._atln.test.internals.v1.Test.Report.combine                      -> #r4lhgbgqtg
    tmp._atln.test.laws.distributive                                     -> #pecb36bjjc
    tmp._atln.List.Nonempty.flatMap.tests.flatMapIdIsjoin                -> #bu6l1q88rv
    tmp._atln.Trie.head.modify                                           -> base.Trie.head.modify
    tmp._atln.test.internals.v1.Test.modifyStatus                        -> base.test.internals.v1.Test.modifyStatus
    tmp._atln.Map.lookup                                                 -> base.Map.get
    tmp._atln.test.laws.lattice                                          -> #q574cuh1os
    #jfubcttdlv                                                          -> #h8ss3o3dp1
    #jkcnpom3od                                                          -> #haqkl7669h
    tmp._atln.Set.delete                                                 -> #pvfmeah2kd
    tmp._atln.List.Nonempty.foldl.test                                   -> #3mil8v8r57
    tmp._atln.Trie.unionWith                                             -> #r73pfr0sq9
    tmp._atln.Set.map                                                    -> #eqspf6ogkj
    tmp._atln.Int.inRange.test                                           -> #i3mu2hjt9b
    #kurc15mpm3                                                          -> #0am93l3ekt
    #l11qiubfq5                                                          -> #4k7rbkupdo
    tmp._atln.test.laws.homomorphism                                     -> #sdh4lko5f6
    tmp._atln.test.internals.v1.Test.modifyScope                         -> base.test.internals.v1.Test.modifyScope
    tmp._atln.List.head.test                                             -> #t2lrb10i70
    tmp._atln.List.zipWith.tests.edge4                                   -> #6kgb36lp03
    tmp._atln.test.runs                                                  -> #rsk9km80mn
    #lobj0btg6a                                                          -> #q0fr8cf07n
    #lq233nbkn2                                                          -> #kjhup5kghg
    tmp._atln.test.internals.v1.Test.finished                            -> #g8f8moci59
    tmp._atln.Universal.min.tests.partialOrder                           -> #jqesrrcrnf
    tmp._atln.Map.unionWith                                              -> #lldf9hvhqa
    tmp._atln.List.Nonempty.head.test                                    -> #s2uorqet3k
    #me5ped0rlh                                                          -> #fk7gag18dg
    tmp._atln.Nat.inRange.test                                           -> #ugdnqoken6
    tmp._atln.test.internals.v1.Test.report                              -> base.test.internals.v1.Test.report
    #n97mb0il3f                                                          -> #mdnu9vn3kh
    #nbfiu1lof4                                                          -> #svl61f4upd
    external.unison_random_mersenne.v1._base_additions.Nat.max           -> base.Universal.max
    #nfu6qd6gjf                                                          -> #ns68scb666
    #npsba0e8v3                                                          -> #gfui1binp3
    tmp._atln.test.internals.v1.Test.forAll'                             -> #0kgriirhkg
    tmp._atln.List.isInfixOf.tests.prop1                                 -> #mv474fn36q
    #ntomm08vd2                                                          -> #dcb4ajgkgr
    #o3ub8lveh4                                                          -> base.Trie.values
    tmp._atln.List.powerslice.tests.prop1                                -> #9ppgfb6so7
    tmp._atln.Boolean.given.test                                         -> #mmbdj6adaa
    tmp._atln.List.concatOptional.tests.prop1                            -> #d4fba904ag
    #ocsplh6ccd                                                          -> base.Map.internal.maxViewSure
    #odiadu42jc                                                          -> #38l0i3rv04
    tmp._atln.Set.foldr                                                  -> base.Set.foldRight
    tmp._atln.List.Nonempty.init.test                                    -> #l47uhg4vva
    tmp._atln.Set.foldl                                                  -> base.Set.foldLeft
    tmp._atln.Map.fromList                                               -> #o1q3t6l5sa
    tmp._atln.List.intercalate.tests.size                                -> #7h5ljub0c0
    tmp._atln.Boolean.xor.test                                           -> #dqam0baoos
    tmp._atln.List.Nonempty.scanr.test                                   -> #ee54lcue9t
    #ra7lvborbq                                                          -> #otoq48kfei
    tmp._atln.List.join.tests.associative                                -> #f77gl83j3p
    tmp._atln.List.any.tests.deMorgan                                    -> #8v3tabfose
    tmp._atln.test.label                                                 -> base.test.label
    tmp._atln.test.laws.idempotence                                      -> #bl1qgckq1e
    #rt538602g2                                                          -> #f17s8r9n4u
    tmp._atln.List.join.tests.homomorphism                               -> #0f275d03vm
    external.unison_random_mersenne.v1._base_additions.Int.max           -> base.Universal.max
    tmp._atln.Map.size                                                   -> base.Map.size
    external.unison_random_mersenne.v1._base_additions.Int.min           -> base.Universal.min
    tmp._atln.test.internals.v1.Test.check                               -> #6bt6i2dirq
    tmp._atln.Set.unions.test                                            -> #cvgc488k9o
    tmp._atln.test.internals.v1.Test.forAll                              -> #73ig6p4b61
    tmp._atln.Set.insert                                                 -> base.Set.insert
    tmp._atln.List.replicate.test                                        -> #gi0fi0uc48
    #tasn3cqeov                                                          -> #50erp6nq26
    tmp._atln.Map.values                                                 -> base.Map.values
    #tjf7avgbfb                                                          -> #gplqn45p9g
    tmp._atln.List.scanr.test                                            -> #tnsskheisv
    #tsh9ra3m9d                                                          -> #4jibl9jjuu
    tmp._atln.test.laws.absorption                                       -> #qmf3a6fjdi
    tmp._atln.List.flatMap.tests.flatMapIdentityIsJoin                   -> #qq47gdap00
    tmp._base_jun_16.releases._M2.List.initialize                        -> base.List.initialize
    tmp._atln.List.zipWith.tests.edge3                                   -> #v9nih661nv
    tmp._atln.Set.intersect                                              -> #pmo0tibe28
    tmp._atln.Trie.lookup                                                -> base.Trie.lookup
    #uquqoe3erh                                                          -> #jdaakfbkuc
    tmp._atln.Char.ascii.tests.propUpperLower                            -> #t7ccksqj07
    tmp._atln.Text.split.test                                            -> #bv763222sh
    #vc5fd7p9lp                                                          -> #g38b337a7a
    #vgja5u0lkn                                                          -> base.Map.internal.link
    tmp._atln.List.isSuffixOf.tests.prop1                                -> #c6l1f1g1ei
    tmp._atln.Trie.tail.set                                              -> base.Trie.tail.set
  
  Tip: To remove entries from a patch, use delete.term-replacement or delete.type-replacement, as
       appropriate.
@aryairani aryairani added the enhancement New feature or request label Jun 18, 2021
@hojberg
Copy link
Member

hojberg commented Jun 18, 2021

oh wow yeah that can be a lot of content

@hojberg hojberg transferred this issue from unisonweb/codebase-ui Jul 19, 2022
@hojberg hojberg added the snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months label Oct 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request needs-ui-design requires-backend-change snooze-3 Issue is likely to be worked on, might become "on-deck" in the next couple of months
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@hojberg @aryairani