unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-23 08:18:04 +03:00
Code Issues Projects Releases Wiki Activity
4b7f49a688
unison/unison-src/transcripts
History
Stew O'Connor 4b7f49a688 Make IO functions that throw exceptions 
closes: 1796

This adds two new abilities into IOSource.hs

    ability Throw e where
      throw: e -> x

    ability Exception where
      raise Failure -> x

All of the builtin functions which return an `Either Failure a` have
been renamed from `foo` to `foo.impl`, and for each of these functions
we implement a new function named `foo` in `IOSource.hs` which wraps
the `.impl` and `raises` a Failure using tyhe above `Exception`
ability.

Since we already have a Exception in `.base`, which should likely
coordinate this PR with one to the base repo which removes `Exception`
and `Either.toExcetpion`
2021-02-01 14:10:22 -08:00
..
errors output tweaks and regenerate transcripts 2020-10-13 09:44:49 -04:00
addupdatemessages.md allow add/update to create aliases (#1254) 2020-02-25 16:15:36 -05:00
addupdatemessages.output.md Updates transcript outputs with revised output 2020-04-20 16:01:42 +01:00
alias-many.md fix case/of syntax in transcript to match/with per master 2020-02-14 10:18:57 -05:00
alias-many.output.md Make IO functions that throw exceptions 2021-02-01 14:10:22 -08:00
ambiguous-metadata.md Adds a transcript testing the ambiguous metadata error 2020-04-07 22:03:09 +01:00
ambiguous-metadata.output.md Transcript output 2020-04-20 15:52:42 -04:00
blocks.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
blocks.output.md Fix erroneous transcript updates. 2020-11-24 16:36:59 -05:00
builtins-merge.md add a transcript for corrected builtins.merge 2020-02-04 14:56:12 -05:00
builtins-merge.output.md get rid of unneded constructors 2021-02-01 00:12:11 -08: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 rerun transcripts 2020-11-19 20:20:51 -05: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 Regression test for #763 2020-04-15 16:43:42 -04:00
check873.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
check873.output.md update transcripts 2020-04-08 14:25:19 -04:00
copy-patch.md Add a transcript 2020-04-23 13:43:47 -04:00
copy-patch.output.md Update transcript outputs 2020-08-11 21:35:29 -04:00
create-author.md delay serializing IOSource definitions to codebase until builtins.merge 2020-04-08 19:34:43 -04:00
create-author.output.md delay serializing IOSource definitions to codebase until builtins.merge 2020-04-08 19:34:43 -04:00
delete.md Update transcript test to reflect new behaivor. 2020-07-26 18:38:03 -06:00
delete.output.md Update transcript test to reflect new behaivor. 2020-07-26 18:38:03 -06:00
deleteReplacements.md Transcripts changed 2020-03-18 22:51:49 -04:00
deleteReplacements.output.md update transcripts 2020-04-08 14:25:19 -04:00
dependents-dependencies-debugfile.md Link number from dependents and dependencies result to hash 2020-05-10 17:22:45 -07:00
dependents-dependencies-debugfile.output.md Link number from dependents and dependencies result to hash 2020-05-10 17:22:45 -07:00
destructuring-binds.md Improved transcript docs and have pretty-printer avoid using the syntax for patterns that *contain* literals. Thanks @atacratic! 2020-09-30 18:03:54 -04:00
destructuring-binds.output.md Fix erroneous transcript updates. 2020-11-24 16:36:59 -05:00
diff.md delay serializing IOSource definitions to codebase until builtins.merge 2020-04-08 19:34:43 -04:00
diff.output.md Fix transcripts after IO naming fixups 2020-08-24 13:29:01 -04:00
doc-formatting.md Another fix to doc literal whitespace handling 2020-04-13 17:27:58 +01:00
doc-formatting.output.md All tests and transcripts passing 2020-11-19 14:05:07 -05:00
docs.md Another fix to doc literal whitespace handling 2020-04-13 17:27:58 +01:00
docs.output.md All tests and transcripts passing 2020-11-19 14:05:07 -05:00
emptyCodebase.md add builtins.mergeio example to the emptyCodebase.md transcript test 2020-04-09 17:52:04 -04:00
emptyCodebase.output.md Make IO functions that throw exceptions 2021-02-01 14:10:22 -08:00
error-messages.md working on removing some backtracking 2020-11-20 12:53:34 -05:00
error-messages.output.md working on removing some backtracking 2020-11-20 12:53:34 -05:00
escape-sequences.md Text literals can display non-ascii chars 2020-04-17 22:19:38 +01:00
escape-sequences.output.md Text literals can display non-ascii chars 2020-04-17 22:19:38 +01:00
find-patch.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
find-patch.output.md Updates transcript outputs with revised output 2020-04-20 16:01:42 +01:00
fix689.md Fix bug #689 2020-05-26 17:59:27 -04:00
fix689.output.md Fix bug #689 2020-05-26 17:59:27 -04:00
fix693.md Fix test case; improve transcript test and add output 2020-11-25 21:12:09 -05:00
fix693.output.md Fix test case; improve transcript test and add output 2020-11-25 21:12:09 -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 erroneous transcript updates. 2020-11-24 16:36:59 -05:00
fix849.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
fix849.output.md update transcripts 2020-04-08 14:25:19 -04:00
fix942.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
fix942.output.md Updates transcript outputs with revised output 2020-04-20 16:01:42 +01:00
fix987.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
fix987.output.md update transcripts 2020-04-08 14:25:19 -04:00
fix1063.md Improve default metadata handling of "." 2020-05-28 23:27:36 -04:00
fix1063.output.md refresh transcripts 2020-10-21 22:47:25 -04:00
fix1334.md removes Twoolean and == from transcript 2020-03-21 16:59:43 +00:00
fix1334.output.md update transcripts 2020-04-08 14:25:19 -04:00
fix1356.md Update transcripts since links now auto-propagate 2020-06-19 00:38:17 -04:00
fix1356.output.md Update transcript outputs 2020-08-11 21:35:29 -04:00
fix1390.md have something working, but not sure I love the results 2020-10-21 20:57:58 -04:00
fix1390.output.md okay, not too shabby 2020-10-21 22:42:35 -04:00
fix1578.md Added clearer explanation of the resolution rule 2020-10-20 18:56:09 -04:00
fix1578.output.md Added clearer explanation of the resolution rule 2020-10-20 18:56:09 -04:00
fix1696.md Adding a test case that fails in the wrong way 2020-11-11 12:33:46 -05:00
fix1696.output.md Minimal change for improved ability inference 2020-12-03 10:23:33 -05:00
fix1731.md Add failing transcript 2020-11-11 11:41:55 -05:00
fix1731.output.md Transcript modifications 2020-11-24 14:18:15 -05:00
fix-1381-excess-propagate.md add failing transcript 2020-03-23 19:09:01 -04:00
fix-1381-excess-propagate.output.md add failing transcript 2020-03-23 19:09:01 -04: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 update transcripts 2020-04-08 14:25:19 -04:00
hello.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
hello.output.md Fix erroneous transcript updates. 2020-11-24 16:36:59 -05:00
lambdacase.md Fix #1737 2020-10-27 17:21:37 -04:00
lambdacase.output.md Fix #1737 2020-10-27 17:21:37 -04:00
link.md delay serializing IOSource definitions to codebase until builtins.merge 2020-04-08 19:34:43 -04:00
link.output.md update transcripts 2020-04-08 14:25:19 -04:00
merge.md Fix #1241 2020-03-19 14:18:56 -04:00
merge.output.md Fix #1241 2020-03-19 14:18:56 -04:00
mergeloop.md Fix #1276 hang on push (#1279) 2020-03-02 17:32:07 -05:00
mergeloop.output.md Tweak output of merge history to not be upside down 2020-05-15 18:30:01 -04:00
merges.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
merges.output.md Make IO functions that throw exceptions 2021-02-01 14:10:22 -08:00
names.md Removes call to mergeio, changes to alias instead 2020-04-13 18:08:15 +01:00
names.output.md Swaps the arguments and output sequence of ListNames 2020-04-13 17:55:45 +01:00
numbered-args.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
numbered-args.output.md update transcripts 2020-04-08 14:25:19 -04:00
propagate.md remove custom unique type guids from transcripts 2020-02-16 23:56:29 -05:00
propagate.output.md Updates transcript outputs with revised output 2020-04-20 16:01:42 +01: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 Make IO functions that throw exceptions 2021-02-01 14:10:22 -08:00
resolve.md Add Author and License metadata types to builtins (#1228) 2020-02-13 10:59:53 -05:00
resolve.output.md Update transcript outputs 2020-08-11 21:35:29 -04:00
squash.md Added transcript and fixed subtle bug 2020-05-21 00:19:41 -04:00
squash.output.md Make IO functions that throw exceptions 2021-02-01 14:10:22 -08:00
suffixes.md display gets same treatment 2020-03-19 14:30:30 -04:00
suffixes.output.md Make IO functions that throw exceptions 2021-02-01 14:10:22 -08: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 refresh transcripts 2020-10-21 22:47:25 -04: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 update transcripts 2020-04-08 14:25:19 -04:00
unitnamespace.md Added a transcript 2020-05-29 13:36:43 -04:00
unitnamespace.output.md Added a transcript 2020-05-29 13:36:43 -04:00