unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-10 11:15:08 +03:00
Code Issues Projects Releases Wiki Activity
9,765 Commits 432 Branches 97 Tags 482 MiB
37c55418a3
Commit Graph

9765 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mitchell Rosen
37c55418a3 make lca just use the one connection 2022-04-06 22:19:24 -04:00
Mitchell Rosen
d6d2cca918 add streaming queries 2022-04-06 14:35:06 -04:00
Mitchell Rosen
57f0d938f5 start building out Unison.Codebase.SqliteCodebase.Operations 2022-04-06 09:26:44 -04:00
Mitchell Rosen
fa57bd72e8 rewrite Queries/Operations to use Transaction 2022-04-05 10:48:52 -04:00
Mitchell Rosen
fddb55ba3c remove Unison.Sqlite.DB from unison-sqlite 2022-04-04 11:51:07 -04:00
Mitchell Rosen
5c56e90764 ⅄ trunk → 21-12-04-use-unison-sqlite 2022-04-04 10:57:09 -04:00
Mitchell Rosen
3e2a1fc7ed pretty-print exceptions in default exception handler 2022-04-04 10:30:35 -04: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
Mitchell Rosen
ef3282b381 simplify throwing decoding error ceremony a bit 2022-04-01 11:03:26 -04: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
4adc35016c ⅄ trunk → 21-12-04-use-unison-sqlite 2022-03-31 16:40:07 -04:00
Mitchell Rosen
92e9e37f61 use explicit deriving strategies where it's ambiguous 2022-03-31 16:26:09 -04:00
Mitchell Rosen
81b5f81403 rename a bunch of database things for consistency 2022-03-31 16:24:33 -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
Mitchell Rosen
18bb2ea0bd delete extensions from file 2022-03-31 14:39:47 -04:00
Chris Penner
1895dff8f8 Use bash, not power-shell for simplicity sake 2022-03-31 12:39:24 -06:00
Mitchell Rosen
95aabd6045 fix a couple regressions in term/decl queries 2022-03-31 14:37:31 -04: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
Mitchell Rosen
48e1653b3e improve query logging and top-level exception printing 2022-03-31 13:20:33 -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
Mitchell Rosen
e3b5ba29b5 ⅄ trunk → 21-12-04-use-unison-sqlite 2022-03-30 20:44:38 -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