iamevn
ccd2edbbd0
edit transcripts to test io.getSomeBytes
2022-04-04 15:55:44 -07:00
iamevn
04846d3b7d
Add builtin for reading bytes from a handle without blocking.
2022-04-04 15:26:32 -07:00
Mitchell Rosen
548caaebc4
Merge pull request #3022 from unisonweb/22-03-31-warning-free-ghci
...
Use explicit deriving strategies where it's ambiguous
2022-04-04 10:07:32 -04:00
mergify[bot]
9a2e90e67e
Merge pull request #3025 from unisonweb/cp/monadunliftio
...
Add MonadUnliftIO to unison-prelude
2022-04-01 23:19:43 +00:00
Chris Penner
298397503a
Remove toIO from prelude
2022-04-01 16:07:25 -06:00
mergify[bot]
d1c4f75b6f
Merge pull request #3024 from unisonweb/fix/code-serial
...
Fix a bug with code serialization.
2022-04-01 17:34:08 +00:00
Chris Penner
d728a7aaee
Add MonadUnliftIO to unison-prelude
2022-04-01 10:59:56 -06:00
Dan Doel
be006ae5d0
Fix a bug with code serialization.
...
Get group was associating variables with local functions incorrectly. I
had anticipated the right approach, but mistakenly didn't use it.
2022-04-01 12:18:19 -04:00
Chris Penner
52da285bf6
Add unison-share-api package with Sync APIs ( #3018 )
2022-04-01 10:14:01 -06:00
Chris Penner
443e1bf5b7
Merge pull request #3023 from unisonweb/cp/lockfiles
...
Commit stack.yaml.lock as is recommended.
2022-04-01 09:54:53 -06:00
Chris Penner
1eaebf3709
Commit stack.yaml.lock as is recommended.
...
https://docs.haskellstack.org/en/stable/lock_files
2022-03-31 15:23:49 -06:00
Chris Penner
2742128905
Merge pull request #2994 from juhp/juhp-patch-1
...
stack.yaml: update to final lts-18.28 snapshot
2022-03-31 14:57:07 -06:00
Mitchell Rosen
92e9e37f61
use explicit deriving strategies where it's ambiguous
2022-03-31 16:26:09 -04:00
mergify[bot]
2b3580a8c2
Merge pull request #3019 from unisonweb/work/bytes-performance
...
Use a faster copy function in `arrayToChunk`
2022-03-31 19:48:44 +00:00
Dan Doel
e0c851d10b
Use a faster copy function in arrayToChunk
2022-03-31 14:41:42 -04:00
Chris Penner
1895dff8f8
Use bash, not power-shell for simplicity sake
2022-03-31 12:39:24 -06:00
Chris Penner
1c42911699
Multiple tries for building dependencies on windows.
2022-03-31 12:31:19 -06:00
Mitchell Rosen
ab46daf7a8
Merge pull request #2974 from unisonweb/update-test-to-non-test
...
add transcript demonstrating an update bug
2022-03-31 14:13:38 -04:00
Paul Chiusano
1cfce57501
Merge pull request #3013 from unisonweb/cp/fix-transcript-errs
...
Correctly handle errors which occur during transcripts
2022-03-31 09:58:49 -05:00
Cody Allen
b71e476586
Merge pull request #3012 from unisonweb/fix/anf-renaming
...
Fix a bug caused by renaming during ANF
2022-03-31 06:16:46 -07:00
Rúnar
9267ff6733
Merge pull request #3014 from unisonweb/cp/hide-builtins-commands
2022-03-31 04:18:44 -04:00
Chris Penner
18c15b881d
Hide builtins.merge, builtins.mergeio
2022-03-30 17:18:08 -06:00
Chris Penner
aa69d40f60
Assert that transcripts in /errors/ should fail.
2022-03-30 16:29:13 -06:00
Chris Penner
4a0c5367a7
Correctly print errors which occur during transcripts
...
Also set exit code 1 when transcripts fail.
2022-03-30 16:17:57 -06:00
Dan Doel
de015ba062
Document renameCtx
2022-03-30 17:26:49 -04:00
Dan Doel
ca1509a7b7
Fix a bug when renaming variables during ANF translation
...
When a binding like:
let v = u
arose during the translation, the ANF could would simply rename v to
u. However, it was only doing it in the 'body' portion of the code,
not an associated context.
2022-03-30 17:21:32 -04:00
Chris Penner
f1a7bc210c
Authenticate UCM with Codebase Servers. ( #3000 )
...
* The auth.login command is hidden until it's officially supported.
2022-03-30 13:19:48 -06:00
Paul Chiusano
7163508b62
Merge pull request #3009 from unisonweb/fix/relaxed-decompilation
...
Save information for decompiling non-closed definitions
2022-03-29 14:45:38 -05:00
Chris Penner
2106ed69ea
Merge pull request #2996 from unisonweb/cp/input-reader
...
Add ReaderT to Action and wrap Action in its own monad
2022-03-29 13:29:54 -06:00
Chris Penner
12731aae40
Merge pull request #2997 from unisonweb/cp/hidden-inputs
...
Add ability to hide ucm commands until we're ready to release them.
2022-03-29 13:29:32 -06:00
Dan Doel
fc296793ba
Save information for decompiling non-closed definitions
...
Previously in cases like:
let
f x = ...
g y = ... f ...
...
we would not save decompilation information for `g`, because it wouldn't
be possible to guarantee that the output of decompilation actually made
sense (for instance, if `g` is decompiled, it will not mention `f`.
However, this seems to block some useful documentation, even in cases
where it doesn't seem like such intermediate definitions would need to
be decompiled. So, it seems like a better trade-off to just allow
decompilation, and accept that some output might be difficult to
understand. Such output can be avoided when writing documentation.
2022-03-29 13:59:44 -04:00
Paul Chiusano
d9c339c967
Merge pull request #2998 from unisonweb/fix/assorted
...
Some assorted fixes
2022-03-28 13:15:12 -05:00
Dan Doel
da1275346b
Standardize context handling in ANF serialization
2022-03-24 15:26:48 -04:00
Chris Penner
eea51284d1
Add ability to hide ucm commands until we're ready to release them.
2022-03-24 12:07:07 -06:00
Chris Penner
da9c50d2f1
Add ReaderT to Action and wrap Action in its own monad
2022-03-24 10:46:07 -06:00
Jens Petersen
1b575f26c4
stack.yaml: update to final lts-18.28 snapshot
2022-03-23 11:49:31 +08:00
Dan Doel
46e5c910ce
Some serialization related tweaks
...
1. Allow for serializing `Code` with builtin foreign references to
binary, using a mapping to the builtin name used. This is useful for
parsing the binary and emitting scheme within unison.
2. Fixed an encoding error where variable indexing was wrong. The
context maintained for serialization is stored backwards, but
simultaneous bindings of multiple variables were being pushed on in
order, which resulted in reversing the order of variables in some
cases.
2022-03-21 15:26:22 -04:00
Dan Doel
9fc61ff292
Avoid redundant floating due to signatures
...
Due to a missing case in the floating logic, definitions like:
f : ...
f x y z = ...
were being turned into:
f : ...
f =
g x y z = ...
g
Because the compiler thought the lambda needed to be floated out of the
signature ascription, as the original `f` is the same as:
f = (x y z -> ...) : ...
This is obviously not necessary, as the signature will be erased anyway,
and just results in extra indirection.
2022-03-21 13:29:37 -04:00
Chris Penner
863d989856
Use a split for fzf to show previous work. (tput doesn't seem to work on windows terminal) ( #2984 )
...
* Use a split for fzf to show previous work.
* Handle most errors by just silently returning empty results.
2022-03-19 12:54:28 -06:00
Rúnar
fad4c0d86e
Merge pull request #2990 from unisonweb/topic/updateNoPatch
...
Add update.nopatch command
2022-03-19 13:47:06 -04:00
Arya Irani
acfa8ebf18
Merge pull request #2968 from unisonweb/remove-open-access-control-header
2022-03-19 13:24:45 -04:00
Rúnar
a20a98a61a
Add update.nopatch command
2022-03-17 21:49:25 -04:00
mergify[bot]
54e96e1e89
Merge pull request #2982 from unisonweb/cp/pretty-printer-package
...
Split off pretty-printer package
2022-03-10 18:19:19 +00:00
Chris Penner
ee8ac1c489
Merge branch 'trunk' into cp/pretty-printer-package
2022-03-10 10:39:08 -06:00
Chris Penner
578573c459
Fix broken windows release automation ( #2976 )
...
* Fix broken commands on windows release automation
2022-03-10 10:38:28 -06:00
Chris Penner
bdb7aa793c
Fix pretty-printer tests
2022-03-09 11:39:35 -06:00
Chris Penner
f0267f1099
Revert unexpected changes to release.yaml
2022-03-09 11:25:29 -06:00
Chris Penner
0adda1a855
Separate pretty-printer test suite
2022-03-09 11:21:24 -06:00
Chris Penner
763e0ec834
Split off pretty-printer package
2022-03-09 11:14:22 -06:00
Mitchell Rosen
ab9e33b7ce
indicate the transcript shows a bug
2022-03-09 11:01:42 -05:00