unison/unison-src/transcripts
Arya Irani 48f5a30854
Merge pull request #4790 from unisonweb/fix/pattern-many
Fix many pattern not backtracking
2024-03-18 21:12:15 -06:00
..
errors Really refresh the transcripts 2023-07-31 13:02:51 -04:00
fix2795 Add test case. 2022-02-01 12:29:55 -05:00
abilities.md Test case. 2022-02-16 03:39:21 -05:00
abilities.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
ability-order-doesnt-affect-hash.md add transcript that demonstrates ability order doesn't affect hash 2022-01-04 16:58:15 -08:00
ability-order-doesnt-affect-hash.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
ability-term-conflicts-on-update.md Update some transcripts to new global fallback 2024-01-08 11:35:37 -08:00
ability-term-conflicts-on-update.output.md Merge remote-tracking branch 'origin/trunk' into cp/remove-global-names-again 2024-01-08 13:42:00 -08:00
add-run.md add transcript for absolute names 2022-08-22 11:26:40 -04:00
add-run.output.md Update transcripts 2024-01-12 10:19:02 -08:00
add-test-watch-roundtrip.md update transcript outputs 2023-11-21 21:17:08 -05:00
add-test-watch-roundtrip.output.md why do the transcripts' white space change? 2023-11-21 21:52:57 -05:00
addupdatemessages.md fix up transcripts 2022-04-06 16:12:07 -05:00
addupdatemessages.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
alias-many.md Update some transcripts to new global fallback 2024-01-08 11:35:37 -08:00
alias-many.output.md Update some transcripts to new global fallback 2024-01-08 11:35:37 -08:00
anf-tests.md update transcripts 2022-12-01 23:51:11 -06:00
anf-tests.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
any-extract.md Transcript base additions for serialized test cases 2022-09-08 15:32:46 -04:00
any-extract.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
api-doc-rendering.md Update transcripts for non-project-code 2023-08-11 17:52:21 -07:00
api-doc-rendering.output.md working 2023-08-17 16:55:28 -05:00
api-find.md Update transcripts for non-project-code 2023-08-11 17:52:21 -07:00
api-find.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
api-getDefinition.md Update transcripts 2024-01-12 10:19:02 -08:00
api-getDefinition.output.md Update transcripts 2024-01-12 10:19:02 -08:00
api-list-projects-branches.md Add api transcripts for listing project and branches 2023-08-08 15:13:39 -07:00
api-list-projects-branches.output.md Add api transcripts for listing project and branches 2023-08-08 15:13:39 -07:00
api-namespace-details.md Update transcripts for non-project-code 2023-08-11 17:52:21 -07:00
api-namespace-details.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
api-namespace-list.md Update transcripts for non-project-code 2023-08-11 17:52:21 -07:00
api-namespace-list.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
api-summaries.md Update transcripts for non-project-code 2023-08-11 17:52:21 -07:00
api-summaries.output.md Update transcripts for non-project-code 2023-08-11 17:52:21 -07:00
block-on-required-update.md Add additional test transcripts from #2786 2022-01-16 18:25:50 -06:00
block-on-required-update.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
blocks.md ⅄ trunk → topic/rehash-codebase 2022-01-24 12:43:11 -05:00
blocks.output.md Transcript changes 2024-01-25 11:50:27 -05:00
boolean-op-pretty-print-2819.md ⅄ trunk → topic/rehash-codebase 2022-01-24 12:43:11 -05:00
boolean-op-pretty-print-2819.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
branch-command.md Fix more transcripts 2024-01-08 11:56:31 -08:00
branch-command.output.md Fix more transcripts 2024-01-08 11:56:31 -08:00
branch-relative-path.md fork accepts branch relative paths 2024-01-12 14:33:09 -05:00
branch-relative-path.output.md Update transcripts 2024-01-16 12:02:00 -08:00
bug-fix-4354.md fix kind inference context bug 2023-10-31 16:09:41 -04:00
bug-fix-4354.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
bug-strange-closure.md Adding failing transcript showing decompilation problem 2021-05-12 13:46:45 -05:00
bug-strange-closure.output.md Don't always allow use clauses in do. Only do so if it's top level or contains a block. 2024-03-16 22:18:43 -05:00
builtins-merge.md add a transcript for corrected builtins.merge 2020-02-04 14:56:12 -05:00
builtins-merge.output.md Transcript updates 2024-02-23 18:03:04 -05:00
builtins.md Merge branch 'trunk' into captureAs 2023-11-30 13:40:57 -05:00
builtins.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
bytesFromList.md fix bug when decompiling Bytes values - it incorrectly produced nonsense builtin 2020-04-14 09:47:56 -04:00
bytesFromList.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
cd-back.md add transcripts 2020-03-02 20:12:12 +01:00
cd-back.output.md add transcripts 2020-03-02 20:12:12 +01:00
check763.md Regression test for #763 2020-04-15 16:43:42 -04:00
check763.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
check873.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
check873.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
child-namespace-history-merge.md Add transcripts for merging behaviour 2021-11-29 14:50:37 -06:00
child-namespace-history-merge.output.md Update transcript output 2023-05-17 11:36:58 -06:00
command-replace.md Fix which ppe we use in find 2024-01-08 11:53:31 -08:00
command-replace.output.md Fix which ppe we use in find 2024-01-08 11:53:31 -08:00
constructor-applied-to-unit.md Don't use ! syntax when it's just unit being passed to a constructor or Any 2022-02-11 13:42:03 -06:00
constructor-applied-to-unit.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
contrabilities.md tweak to transcript 2023-07-24 13:36:22 -04:00
contrabilities.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
copy-patch.md fix transcripts 2023-11-08 11:54:50 -05:00
copy-patch.output.md fix transcripts 2023-11-08 11:54:50 -05:00
create-author.md Fix create author transcript 2024-01-08 13:51:13 -08:00
create-author.output.md Update transcripts 2024-01-12 10:19:02 -08:00
cycle-update-1.md add cycle-update-6.md 2022-09-22 12:57:22 -04:00
cycle-update-1.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
cycle-update-2.md add cycle-update-6.md 2022-09-22 12:57:22 -04:00
cycle-update-2.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
cycle-update-3.md fix transcripts 2023-11-08 11:54:50 -05:00
cycle-update-3.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
cycle-update-4.md fix transcripts 2023-11-08 11:54:50 -05:00
cycle-update-4.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
cycle-update-5.md fix transcripts 2023-11-08 11:54:50 -05:00
cycle-update-5.output.md Update transcripts 2024-01-12 10:19:02 -08:00
debug-definitions.md Rename to debug.term|type.abt 2024-01-31 16:04:20 -08:00
debug-definitions.output.md Rename to debug.term|type.abt 2024-01-31 16:04:20 -08:00
debug-name-diffs.md update transcripts 2022-12-07 14:46:32 -05:00
debug-name-diffs.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
deep-names.md change algorithm to include all direct libs 2022-11-05 19:11:28 -04:00
deep-names.output.md change algorithm to include all direct libs 2022-11-05 19:11:28 -04:00
delete-namespace.md Also wipe out history on root deletes 2023-01-30 11:14:16 -06:00
delete-namespace.output.md Also wipe out history on root deletes 2023-01-30 11:14:16 -06:00
delete-project-branch.md add project.create-empty command and use it in transcripts 2023-06-21 14:23:20 -04:00
delete-project-branch.output.md replace earth with telescope 2023-06-28 12:19:33 -04:00
delete-project.md add project.create-empty command and use it in transcripts 2023-06-21 14:23:20 -04:00
delete-project.output.md replace earth with telescope 2023-06-28 12:19:33 -04:00
delete-silent.md update transcripts 2022-12-07 14:46:32 -05:00
delete-silent.output.md adds better error reporting if users try to delete term which does not exist 2023-02-02 22:50:11 -08:00
delete.md Update delete transcripts 2024-01-08 12:02:10 -08:00
delete.output.md Merge remote-tracking branch 'origin/trunk' into cp/remove-global-names-again 2024-01-08 13:42:00 -08:00
deleteReplacements.md make deleteReplacements transcript work 2024-02-22 14:53:17 -05:00
deleteReplacements.output.md make deleteReplacements transcript work 2024-02-22 14:53:17 -05:00
dependents-dependencies-debugfile.md updates transcripts 2021-08-23 14:05:37 -07:00
dependents-dependencies-debugfile.output.md polish and refresh transcript 2023-05-18 15:07:20 -05:00
destructuring-binds.md complete patterns in destructuring-binds 2023-02-27 11:13:07 -05:00
destructuring-binds.output.md Fix type rendering for existentials, other tweaks 2024-01-26 12:53:29 -05:00
diff-namespace-to-patch.md update transcript 2022-12-15 11:47:25 -05:00
diff-namespace-to-patch.output.md update transcript 2022-12-15 11:47:25 -05:00
diff-namespace.md Merge remote-tracking branch 'origin/trunk' into cp/remove-global-names-again 2024-01-08 13:42:00 -08:00
diff-namespace.output.md Update transcripts 2024-01-12 10:19:02 -08:00
doc1.md Default to single-quotes 2024-01-31 16:19:14 -08:00
doc1.output.md Transcript output 2024-01-31 16:30:41 -08:00
doc2.md Default to single-quotes 2024-01-31 16:19:14 -08:00
doc2.output.md Default to single-quotes 2024-01-31 16:19:14 -08:00
doc2markdown.md Fix special case for type doc in lexer 2024-01-24 10:18:00 -08:00
doc2markdown.output.md Update transcripts 2024-01-30 14:49:36 -08:00
doc-formatting.md update transcripts 2022-12-01 23:51:11 -06:00
doc-formatting.output.md Transcript output 2024-01-25 10:12:10 -05:00
doc-type-link-keywords.md Fix lexing in embedded type links in docs 2022-02-02 02:00:37 -05:00
doc-type-link-keywords.output.md Fix lexing in embedded type links in docs 2022-02-02 02:00:37 -05:00
dont-upgrade-refs-that-exist-in-old.md add transcript that demonstrates old undesirable behavior 2024-02-27 11:22:38 -05:00
dont-upgrade-refs-that-exist-in-old.output.md add new guard in upgrade to not give names to old things in new dep 2024-02-27 12:32:18 -05:00
duplicate-names.md Update transcripts 2022-01-21 10:29:23 -06:00
duplicate-names.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
duplicate-term-detection.md ⅄ trunk → topic/rehash-codebase 2022-01-24 12:43:11 -05:00
duplicate-term-detection.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
ed25519.md Implement ed25519 builtins for Haskell 2024-02-23 18:02:24 -05:00
ed25519.output.md Implement ed25519 builtins for Haskell 2024-02-23 18:02:24 -05:00
edit-command.md Add transcripts for edit command 2023-12-22 13:19:44 -06:00
edit-command.output.md Fix ordering of captured file update commands 2024-01-05 11:11:51 -08:00
edit-namespace.md Merge remote-tracking branch 'origin/trunk' into cp/edit-namespace 2024-01-23 11:35:23 -08:00
edit-namespace.output.md Merge remote-tracking branch 'origin/trunk' into cp/edit-namespace 2024-01-23 11:35:23 -08:00
empty-namespaces.md Update transcripts 2023-01-30 11:08:34 -06:00
empty-namespaces.output.md Update transcripts 2023-01-30 11:08:34 -06:00
emptyCodebase.md add builtins.mergeio example to the emptyCodebase.md transcript test 2020-04-09 17:52:04 -04:00
emptyCodebase.output.md Transcript updates 2024-02-23 18:03:04 -05:00
error-messages.md Slightly better error messages 2023-01-10 14:33:42 -06:00
error-messages.output.md Improve source excerpt highlighting 2024-03-13 12:14:31 -07:00
escape-sequences.md Text literals can display non-ascii chars 2020-04-17 22:19:38 +01:00
escape-sequences.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
find-by-type.md fix up transcripts 2022-04-06 16:12:07 -05:00
find-by-type.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
find-command.md Update find transcripts 2024-01-08 12:17:35 -08:00
find-command.output.md Update find transcripts 2024-01-08 12:17:35 -08:00
find-patch.md fix transcripts 2023-11-08 11:54:50 -05:00
find-patch.output.md dont use NamesWithHistory 2024-01-03 17:27:14 -05:00
fix614.md Transcript demonstrating the fix 2022-12-01 23:24:58 -06:00
fix614.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix689.md fixes tests and transcripts 2021-08-24 11:33:27 -07:00
fix689.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix693.md fixes tests and transcripts 2021-08-24 11:33:27 -07:00
fix693.output.md Push type checking through match statements 2024-03-08 15:18:35 -05:00
fix845.md add some more tests of corner cases to the transcript 2020-10-23 10:01:18 -04:00
fix845.output.md Fix type rendering for existentials, other tweaks 2024-01-26 12:53:29 -05:00
fix849.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
fix849.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix942.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
fix942.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix987.md fixes tests and transcripts 2021-08-24 11:33:27 -07:00
fix987.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix1063.md fix a few things, but oops completion is broken somehow 2024-02-21 15:16:00 -05:00
fix1063.output.md fix a few things, but oops completion is broken somehow 2024-02-21 15:16:00 -05:00
fix1334.md Fix a couple failing tests 2021-06-22 16:14:18 -05:00
fix1334.output.md dont use NamesWithHistory 2024-01-03 17:27:14 -05:00
fix1390.md have something working, but not sure I love the results 2020-10-21 20:57:58 -04:00
fix1390.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix1578.md ⅄ trunk → topic/rehash-codebase 2022-01-24 12:43:11 -05:00
fix1578.output.md ⅄ trunk → topic/rehash-codebase 2022-01-24 12:43:11 -05:00
fix1696.md fix fix1696 and fix2297 transcripts 2024-01-05 14:58:47 -10:00
fix1696.output.md fix fix1696 and fix2297 transcripts 2024-01-05 14:58:47 -10:00
fix1731.md fixes tests and transcripts 2021-08-24 11:33:27 -07:00
fix1731.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix1800.md update transcripts 2022-12-01 23:51:11 -06:00
fix1800.output.md Update transcripts 2023-12-13 12:22:11 -08:00
fix1844.md updates transcripts 2021-08-23 14:05:37 -07:00
fix1844.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix1926.md simplify transcript 2021-05-10 16:10:13 -05:00
fix1926.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2000.md update transcripts 2022-12-07 14:46:32 -05:00
fix2000.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2004.md Update transcripts 2024-01-08 13:58:50 -08:00
fix2004.output.md Update transcripts 2024-01-08 13:58:50 -08:00
fix2026.md fixes tests and transcripts 2021-08-24 11:33:27 -07:00
fix2026.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2049.md Fix a bug in the argument handling of the runtime 2022-08-30 17:30:14 -04:00
fix2049.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix2053.md fix #2053 by using Var.rawName to produce text for synthetic vars 2021-06-19 11:40:02 -06:00
fix2053.output.md refresh transcripts 2023-07-21 02:12:22 -04:00
fix2156.md Guard against improper eta reductions 2021-11-10 17:35:27 -05:00
fix2156.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2167.md fixes tests and transcripts 2021-08-24 11:33:27 -07:00
fix2167.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2187.md Avoid another variable-renaming let case 2021-08-04 10:31:54 -04:00
fix2187.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2231.md fix a few things, but oops completion is broken somehow 2024-02-21 15:16:00 -05:00
fix2231.output.md fix a few things, but oops completion is broken somehow 2024-02-21 15:16:00 -05:00
fix2238.md fixes tests and transcripts 2021-08-24 11:33:27 -07:00
fix2238.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2238.u fixes tests and transcripts 2021-08-24 11:33:27 -07:00
fix2254.md Update transcripts 2024-01-12 10:19:02 -08:00
fix2254.output.md Update transcripts 2024-01-12 10:19:02 -08:00
fix2268.md refresh transcripts 2023-07-21 02:12:22 -04:00
fix2268.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix2334.md Fix an issue pattern matching on multiple builtins 2021-08-18 17:54:43 -04:00
fix2334.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2344.md Add a test case 2021-08-26 16:02:16 -04:00
fix2344.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix2350.md Add some tests 2021-10-28 17:45:51 -04:00
fix2350.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix2353.md fix2353 kind inference update 2023-09-20 15:37:10 -04:00
fix2353.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix2354.md Fix a shadowing bug in instantiateL 2022-10-11 19:25:05 -04:00
fix2354.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2355.md Avoid a loop caused by inferring cyclic abilities 2021-08-30 17:25:30 -04:00
fix2355.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2378.md Fix some order dependence in pruneAbilities 2021-09-02 16:35:13 -04:00
fix2378.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix2423.md Test cases. 2022-02-11 17:33:41 -05:00
fix2423.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2474.md Add some tests 2021-10-28 17:45:51 -04:00
fix2474.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2628.md fix #2628 2022-07-14 11:33:09 -04:00
fix2628.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix2663.md Fix a variable capture issue in pattern compilation 2021-11-24 00:43:22 -05:00
fix2663.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2693.md Add a transcript to test large (cached) list literals 2021-12-01 15:53:03 -05:00
fix2693.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2712.md Fix the 2712 test case to work for CI 2022-02-11 19:16:07 -05:00
fix2712.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix2795.md Add test case. 2022-02-01 12:29:55 -05:00
fix2795.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix2840.md Add ucm's internal definitions to Codebase.toCodeLookup 2022-02-06 22:32:59 -07:00
fix2840.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix2970.md add transcript 2024-02-26 16:35:24 -05:00
fix2970.output.md add transcript 2024-02-26 16:35:24 -05:00
fix3037.md Tweak error messages. Add a test case. 2022-08-26 16:19:47 -04:00
fix3037.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix3171.md Test case 2022-08-31 16:34:19 -04:00
fix3171.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix3196.md Fix a problem with equating ability rows where one is concrete 2022-07-06 12:42:04 -04:00
fix3196.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix3215.md Avoid inferring duplicate concrete abilities 2022-07-26 12:26:54 -04:00
fix3215.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix3244.md Fix a variable naming bug in the pattern compiler 2022-07-22 17:32:41 -04:00
fix3244.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix3265.md Some tweaks and an improved test case 2022-11-02 11:21:36 -04:00
fix3265.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix3634.md Also fix ui 2022-11-22 17:29:35 -05:00
fix3634.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix3678.md Fix an out-of-bounds in array comparison 2022-12-08 14:07:08 -05:00
fix3678.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix3752.md Add a transcript for #3752 2024-01-25 11:59:25 -05:00
fix3752.output.md Add a transcript for #3752 2024-01-25 11:59:25 -05:00
fix3759.md fix name resolution bug with records and add more regression tests 2023-09-14 09:47:23 -05:00
fix3759.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix3773.md fixes #3773 2023-09-13 16:40:45 -05:00
fix3773.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix4172.md fix transcripts 2023-11-08 11:54:50 -05:00
fix4172.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix4280.md fix #4280 2024-01-30 15:23:28 -05:00
fix4280.output.md fix #4280 2024-01-30 15:23:28 -05:00
fix4397.md Modify kind inference constraint generation order 2023-11-17 16:37:13 -05:00
fix4397.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix4415.md remove load command from transcript 2023-11-22 12:11:44 -05:00
fix4415.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix4424.md Don't use addFallback in update 2023-11-28 14:22:56 -05:00
fix4424.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
fix4482.md Update transcripts 2024-01-08 14:01:49 -08:00
fix4482.output.md Update transcripts 2024-01-12 10:19:02 -08:00
fix4498.md prefer shallow lib dep in tdnr 2023-12-12 20:42:53 -05:00
fix4498.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix4515.md Fix bug in addDefinitionsToUnisonFile that erroneously stripped decl names from constructors 2024-01-03 14:00:48 -05:00
fix4515.output.md Merge remote-tracking branch 'origin/trunk' into unorsk/unique-as-default-type-modifier 2024-01-04 10:17:41 +01:00
fix4528.md bugfix: make run able to run things that don't return builtins 2023-12-20 12:37:17 -05:00
fix4528.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
fix4556.md change suffixify termination condition 2024-01-05 11:33:28 -05:00
fix4556.output.md change suffixify termination condition 2024-01-05 11:33:28 -05:00
fix4592.md don't implicitly close transclude blocks 2024-01-26 12:53:26 -05:00
fix4592.output.md don't implicitly close transclude blocks 2024-01-26 12:53:26 -05:00
fix4618.md Add transcript demonstrating #4618 2024-02-01 15:40:31 -05:00
fix4618.output.md Fix update bug #4618 2024-02-01 15:40:32 -05:00
fix4722.md Push type checking through match statements 2024-03-08 15:18:35 -05:00
fix4722.output.md Push type checking through match statements 2024-03-08 15:18:35 -05:00
fix-1381-excess-propagate.md add failing transcript 2020-03-23 19:09:01 -04:00
fix-1381-excess-propagate.output.md in update, don't bother typechecking again if we haven't changed the unison file 2023-11-29 15:09:06 -05:00
fix-2258-if-as-list-element.md added extra test of more corner cases 2021-09-17 08:24:37 -05:00
fix-2258-if-as-list-element.output.md added extra test of more corner cases 2021-09-17 08:24:37 -05:00
fix-big-list-crash.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
fix-big-list-crash.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
formatter.md Update end-of block symboly test 2024-02-12 10:50:41 -08:00
formatter.output.md Update end-of block symboly test 2024-02-12 10:50:41 -08:00
fuzzy-options.md Update transcripts 2024-01-04 11:41:01 -08:00
fuzzy-options.output.md Merge remote-tracking branch 'origin/trunk' into cp/edit-namespace 2024-01-04 15:35:58 -08:00
generic-parse-errors.md Update transcripts 2024-03-13 11:52:29 -07:00
generic-parse-errors.output.md Improve source excerpt highlighting 2024-03-13 12:14:31 -07:00
hello.md "codebase" arg needs double dash, update error message to match 2021-10-23 19:29:27 -07:00
hello.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
higher-rank.md fix higher-rank test 2023-09-20 15:37:10 -04:00
higher-rank.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
io-test-command.md Remove '{Exception} from io tests. 2023-12-14 10:20:34 -08:00
io-test-command.output.md Remove '{Exception} from io tests. 2023-12-14 10:20:34 -08:00
io.md Added IO.randomBytes builtin 2023-07-02 00:31:11 -04:00
io.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
keyword-identifiers.md make keyword-identifiers pass with kind inference 2023-09-20 15:37:10 -04:00
keyword-identifiers.output.md make keyword-identifiers pass with kind inference 2023-09-20 15:37:10 -04:00
kind-inference.md add comment 2023-10-30 09:56:05 -04:00
kind-inference.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
lambdacase.md add type sig to lambdacase transcript 2023-03-02 09:12:29 -05:00
lambdacase.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
ls-pretty-print-scope-bug.md add transcript demonstrating bug 2023-05-08 14:58:38 -04:00
ls-pretty-print-scope-bug.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
lsp-fold-ranges.md Add folding range tests 2024-01-31 18:05:13 -08:00
lsp-fold-ranges.output.md Add folding range tests 2024-01-31 18:05:13 -08:00
merge.md update merge transcripts 2024-01-08 14:12:01 -08:00
merge.output.md update merge transcripts 2024-01-08 14:12:01 -08:00
mergeloop.md Fix #1276 hang on push (#1279) 2020-03-02 17:32:07 -05:00
mergeloop.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
merges.md Update transcripts 2023-01-30 11:08:34 -06:00
merges.output.md Transcript updates 2024-02-23 18:03:04 -05:00
move-all.md Update transcripts 2024-01-08 14:33:37 -08:00
move-all.output.md Transcript updates 2024-02-23 18:03:04 -05:00
move-namespace.md Update transcripts 2024-01-12 10:19:02 -08:00
move-namespace.output.md Transcript updates 2024-02-23 18:03:04 -05:00
name-segment-escape.md add transcript 2024-02-26 10:01:48 -05:00
name-segment-escape.output.md add transcript 2024-02-26 10:01:48 -05:00
name-selection.md Update transcripts 2024-01-12 10:19:02 -08:00
name-selection.output.md Update transcripts 2024-01-12 10:19:02 -08:00
names.md Remove unnecessary builtins call 2022-08-29 10:02:20 -06:00
names.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
namespace-deletion-regression.md Clearify deletion regression transcript 2021-11-22 09:38:49 -06:00
namespace-deletion-regression.output.md PR cleanup 2022-09-01 11:34:36 -06:00
no-hash-in-term-declaration.md added transcript test to verify using a hash in term declaration is an error 2023-08-06 15:41:16 -05:00
no-hash-in-term-declaration.output.md added transcript test to verify using a hash in term declaration is an error 2023-08-06 15:41:16 -05:00
numbered-args.md Update transcripts 2024-01-12 10:19:02 -08:00
numbered-args.output.md Update transcripts 2024-01-12 10:19:02 -08:00
old-fold-right.md Test cases. 2022-02-11 17:33:41 -05:00
old-fold-right.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
pattern-match-coverage.md regenerate a couple transcripts that use unique types 2023-07-19 13:45:05 -04:00
pattern-match-coverage.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
pattern-pretty-print-2345.md complete patterns in pattern-pretty-print-2345 2023-04-13 21:00:12 -04:00
pattern-pretty-print-2345.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
patternMatchTls.md complete patterns in patternMatchTls 2023-02-27 11:44:24 -05:00
patternMatchTls.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
patterns.md Add test case 2024-03-18 12:01:43 -04:00
patterns.output.md Add test case 2024-03-18 12:01:43 -04:00
project-merge.md add project.create-empty command and use it in transcripts 2023-06-21 14:23:20 -04:00
project-merge.output.md Update transcripts 2024-01-12 10:19:02 -08:00
propagate.md Slight improvement to propagate transcript 2024-01-08 14:42:09 -08:00
propagate.output.md Slight improvement to propagate transcript 2024-01-08 14:42:09 -08:00
records.md Add transcript 2024-03-05 14:50:16 -05:00
records.output.md Add transcript 2024-03-05 14:50:16 -05:00
redundant.output.md fix stray case .. of instances and opportunities for cases in unison-src 2020-02-21 17:05:18 -08:00
reflog.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
reflog.output.md Transcript updates 2024-02-23 18:03:04 -05:00
release-draft-command.md Fix release draft transcripts 2024-01-08 14:46:09 -08:00
release-draft-command.output.md Fix release draft transcripts 2024-01-08 14:46:09 -08:00
reset.md add project.create-empty command and use it in transcripts 2023-06-21 14:23:20 -04:00
reset.output.md Transcript updates 2024-02-23 18:03:04 -05:00
resolution-failures.md Update transcripts 2021-10-07 14:43:08 -06:00
resolution-failures.output.md Fix type rendering for existentials, other tweaks 2024-01-26 12:53:29 -05:00
resolve.md Resolve transcripts 2024-01-08 14:51:01 -08:00
resolve.output.md Update transcripts 2024-01-12 10:19:02 -08:00
scope-ref.md Transcripts 2021-08-24 12:20:23 -04:00
scope-ref.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
squash.md update transcripts 2022-12-07 14:46:32 -05:00
squash.output.md Transcript updates 2024-02-23 18:03:04 -05:00
suffixes.md revert suffixes.md 2022-11-04 21:05:11 -04:00
suffixes.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
sum-type-update-conflicts.md Update transcripts 2024-01-12 10:19:02 -08:00
sum-type-update-conflicts.output.md Update transcripts 2024-01-12 10:19:02 -08:00
switch-command.md Transcript update 2024-01-11 15:42:48 -08:00
switch-command.output.md Transcript update 2024-01-11 15:42:48 -08:00
tab-completion.md Add project tab-completion transcripts 2023-12-14 15:06:35 -08:00
tab-completion.output.md fix tab completion 2024-02-22 13:18:26 -05:00
test-command.md Add cache test to test transcript 2023-12-13 12:36:34 -08:00
test-command.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
text-literals.md Fix #3973 and add regression test 2023-07-21 00:55:12 -04:00
text-literals.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
todo-bug-builtins.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
todo-bug-builtins.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
todo.md Update transcripts 2024-01-12 10:19:02 -08:00
todo.output.md Update transcripts 2024-01-12 10:19:02 -08:00
top-level-exceptions.md Add a transcript 2021-05-27 09:06:19 -05:00
top-level-exceptions.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
transcript-parser-commands.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
transcript-parser-commands.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
type-deps.md ⅄ trunk → topic/rehash-codebase 2022-01-24 12:43:11 -05:00
type-deps.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
type-modifier-are-optional.md update type-modifier-are-optional transcript 2024-01-05 14:56:38 -10:00
type-modifier-are-optional.output.md update type-modifier-are-optional transcript 2024-01-05 14:56:38 -10:00
unique-type-churn.md Unique type churn transcript: add case of revert 2023-11-29 15:29:32 -05:00
unique-type-churn.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
unitnamespace.md allow () escaped in backticks 2024-02-22 14:12:03 -05:00
unitnamespace.output.md allow () escaped in backticks 2024-02-22 14:12:03 -05:00
universal-cmp.md update transcripts 2022-12-01 23:51:11 -06:00
universal-cmp.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
unsafe-coerce.md Add unsafe.coerceAbilities builtin 2021-08-20 14:50:05 -04:00
unsafe-coerce.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
update-ignores-lib-namespace.md ignore "lib" namespace during patch propagation 2022-11-06 11:06:35 +05:30
update-ignores-lib-namespace.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
update-on-conflict.md Update transcripts 2024-01-12 10:19:02 -08:00
update-on-conflict.output.md Update transcripts 2024-01-12 10:19:02 -08:00
update-suffixifies-properly.md add transcript demonstrating current update suffixification behavior 2024-01-10 14:06:46 -05:00
update-suffixifies-properly.output.md update update-suffixifies-properly transcript output 2024-01-10 14:08:22 -05:00
update-term-aliases-in-different-ways.md add some update term transcripts 2023-11-07 13:46:14 -05:00
update-term-aliases-in-different-ways.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
update-term-to-different-type.md add some update term transcripts 2023-11-07 13:46:14 -05:00
update-term-to-different-type.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
update-term-with-alias.md add some update term transcripts 2023-11-07 13:46:14 -05:00
update-term-with-alias.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
update-term-with-dependent-to-different-type.md tweak update behavior when run from a transcript: now it will output 2023-11-07 17:55:38 -05:00
update-term-with-dependent-to-different-type.output.md Merge remote-tracking branch 'origin/trunk' into cp/edit-namespace 2024-01-04 15:35:58 -08:00
update-term-with-dependent.md add some update term transcripts 2023-11-07 13:46:14 -05:00
update-term-with-dependent.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
update-term.md add some update term transcripts 2023-11-07 13:46:14 -05:00
update-term.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
update-test-to-non-test.md more transcripts 2023-11-21 21:35:59 -05:00
update-test-to-non-test.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
update-test-watch-roundtrip.md Add two transcripts 2023-11-21 09:44:33 -05:00
update-test-watch-roundtrip.output.md Merge remote-tracking branch 'origin/trunk' into cp/edit-namespace 2024-01-04 15:35:58 -08:00
update-type-add-constructor.md more type update transcripts 2023-11-08 09:33:42 -05:00
update-type-add-constructor.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-type-add-field.md more type update transcripts 2023-11-08 09:33:42 -05:00
update-type-add-field.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-type-add-new-record.md fixed signed int issue 2023-11-27 22:12:03 -05:00
update-type-add-new-record.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-type-add-record-field.md fix add field to record 2023-11-08 23:54:01 -05:00
update-type-add-record-field.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-type-constructor-alias.md add a couple more update type transcripts that show bugs 2023-11-08 10:15:05 -05:00
update-type-constructor-alias.output.md Merge remote-tracking branch 'origin/trunk' into unorsk/unique-as-default-type-modifier 2024-01-04 10:17:41 +01:00
update-type-delete-constructor-with-dependent.md more type update transcripts 2023-11-08 09:33:42 -05:00
update-type-delete-constructor-with-dependent.output.md Update transcripts 2024-01-09 14:38:04 -08:00
update-type-delete-constructor.md more type update transcripts 2023-11-08 09:33:42 -05:00
update-type-delete-constructor.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-type-delete-record-field.md failing transcript for delete record field 2023-11-08 12:25:36 -05:00
update-type-delete-record-field.output.md Update transcripts 2024-01-09 14:38:04 -08:00
update-type-missing-constructor.md make findCtorNames return an Output instead of error 2023-11-14 12:21:40 -05:00
update-type-missing-constructor.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-type-nested-decl-aliases.md fix transcript 2024-01-03 15:36:39 -05:00
update-type-nested-decl-aliases.output.md Update transcripts 2024-01-09 14:38:04 -08:00
update-type-no-op-record.md fix add field to record 2023-11-08 23:54:01 -05:00
update-type-no-op-record.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-type-stray-constructor-alias.md add a couple more update type transcripts that show bugs 2023-11-08 10:15:05 -05:00
update-type-stray-constructor-alias.output.md Merge remote-tracking branch 'origin/trunk' into unorsk/unique-as-default-type-modifier 2024-01-04 10:17:41 +01:00
update-type-stray-constructor.md make findCtorNames return an Output instead of error 2023-11-14 12:21:40 -05:00
update-type-stray-constructor.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-type-turn-constructor-into-smart-constructor.md more type update transcripts 2023-11-08 09:33:42 -05:00
update-type-turn-constructor-into-smart-constructor.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-type-turn-non-record-into-record.md more type update transcripts 2023-11-08 09:33:42 -05:00
update-type-turn-non-record-into-record.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-type-with-dependent-term.md more type update transcripts 2023-11-08 09:33:42 -05:00
update-type-with-dependent-term.output.md Update transcripts 2024-01-09 14:38:04 -08:00
update-type-with-dependent-type-to-different-kind.md more type update transcripts 2023-11-08 09:33:42 -05:00
update-type-with-dependent-type-to-different-kind.output.md Update transcripts 2024-01-09 14:38:04 -08:00
update-type-with-dependent-type.md more type update transcripts 2023-11-08 09:33:42 -05:00
update-type-with-dependent-type.output.md Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
update-watch.md fix bug in update that tried to put non-test watches into the namespace 2023-11-30 16:18:07 -05:00
update-watch.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
upgrade-happy-path.md Add tab-completion and fzf for upgrade command 2024-02-07 13:37:32 -08:00
upgrade-happy-path.output.md Transcript updates 2024-02-23 18:03:04 -05:00
upgrade-sad-path.md add some upgrade docs, transcripts, and better output messages 2023-11-13 15:23:57 -05:00
upgrade-sad-path.output.md Update transcripts 2024-01-09 14:38:04 -08:00
upgrade-suffixifies-properly.md add transcript that demonstrates bug in upgrade suffixification 2024-01-10 14:44:12 -05:00
upgrade-suffixifies-properly.output.md make upgrade use update's complicated ppe creation logic, which finishes 2024-01-12 12:25:58 -05:00
upgrade-with-old-alias.md tweak transcript 2023-12-06 12:20:01 -05:00
upgrade-with-old-alias.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
view.md Update transcripts 2024-01-12 10:19:02 -08:00
view.output.md Update transcripts 2024-01-12 10:19:02 -08:00
watch-expressions.md Add a test case for failed decompiling 2023-09-29 14:29:48 -04:00
watch-expressions.output.md Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00