unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-20 14:57:41 +03:00
Code Issues Projects Releases Wiki Activity
9,711 Commits 418 Branches 90 Tags 330 MiB
2106ed69ea
Commit Graph

9711 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
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
Chris Penner
ed8a1f3352
Merge pull request #2977 from unisonweb/cp/disable-windows-release 
Disable windows release until we can fix it properly.
 2022-03-08 17:18:17 -06:00
Chris Penner
97cce8d231 Disable windows release until we can fix it properly. 
We'll use a manual release for now.
 2022-03-08 15:49:30 -06:00
mergify[bot]
4ff55dc252
Merge pull request #2973 from unisonweb/updateWelcomeUrls 
updating website url references to new website
 2022-03-08 00:56:01 +00:00
Chris Penner
d70168f2b1
Vacuum once after all migrations have been completed. (#2972) 2022-03-07 16:15:21 -06:00
Rebecca Mark
e0a8a832bf updates transcripts 2022-03-07 14:11:10 -08:00
Rebecca
1755bea338
Update Welcome.hs 2022-03-07 12:30:30 -08:00
Rebecca
97430c70b2
Update Welcome.hs 2022-03-07 12:29:54 -08:00
Rebecca
58a17753b6
Update PrintError.hs 2022-03-07 12:28:40 -08:00
Chris Penner
34791ed870
Merge pull request #2967 from unisonweb/cp/v3-schema 
* Add schema 2 to 3 migration
 2022-03-07 11:08:33 -06:00
Rebecca Mark
8fb0448157 updating website url references to new website 2022-03-04 14:20:24 -08:00
Chris Penner
355fce4c71 Add note for when migration is finished. 2022-03-03 15:08:03 -06:00
Chris Penner
500260a01a Merge branch 'trunk' into cp/v3-schema 2022-03-03 14:38:19 -06:00
Simon Højberg
e8c1295ffe Remove the access control header to limit CORS 2022-03-03 14:34:13 -05:00
Chris Penner
7843e48cdd
Merge pull request #2958 from unisonweb/cp/ormolu 
Ormolu Everything.
 2022-03-03 13:31:43 -06:00
Chris Penner
a29316fa08 Merge branch 'trunk' into cp/ormolu 2022-03-03 12:31:57 -06:00
Chris Penner
1e1b1e9ba7 Bump schema version to 3 in create.sql 2022-03-03 12:27:09 -06:00
mergify[bot]
09d245b67f
Merge pull request #2965 from ceedubs/compile-output-changes 
Rename compile.output to compile
 2022-03-03 17:57:03 +00:00
mergify[bot]
604199ba60
Merge pull request #2964 from unisonweb/cp/migrations-module 
Re-arrange Migrations module to support multiple migrations.
 2022-03-03 17:23:44 +00:00
Paul Chiusano
8642959396
Update unison-cli/src/Unison/CommandLine/InputPatterns.hs 2022-03-03 10:56:16 -06:00
Chris Penner
629a4f22c3 Add docs to 2 to 3 migration 2022-03-03 10:47:26 -06:00
Cody Allen
2a700378b5
Rename compile.output to compile 
As
[suggested](https://github.com/unisonweb/unison/pull/2959#issuecomment-1057059547)
by @pchiusano.

There was another suggestion to filter to only terms that match subtypes
of `{Exception, IO} ()`. So far I haven't done that, because I'm not
very familiar with these types and am having trouble figuring out how to
get type information out of relations and referents.
 2022-03-03 08:42:01 -08:00
Chris Penner
e621a07388 Add schema 2to3 migration 2022-03-03 10:39:46 -06:00
Chris Penner
65ecd4561e Can't embed migration in a transaction because it does a VACUUM 2022-03-03 10:22:41 -06:00
Arya Irani
24c9eb815e
Merge pull request #2963 from unisonweb/let-mergify-wait-for-windows-build 2022-03-02 23:20:58 -05:00
Chris Penner
cca94086b1 Add savepoint to migration as a safeguard. 2022-03-02 17:32:46 -06:00
Chris Penner
b1f83f1e21 Re-arrange Migrations module to support multiple migrations. 2022-03-02 17:11:53 -06:00
Arya Irani
0b73027164
let mergify wait for windows build 
Closes #2961, hopefully.

We could probably delete the macOS 10.15 build at some point since they are up to macOS 12 now and we don't build separate binaries anyway.
 2022-03-02 17:32:38 -05:00
Chris Penner
ac370e125c Merge branch 'trunk' into cp/ormolu 2022-03-02 16:31:48 -06:00
Arya Irani
d86b9dc5d8 ORMOLU_DISABLE parts of Queries.hs 2022-03-02 16:10:02 -05:00
mergify[bot]
a2f9fbb65c
Merge pull request #2960 from unisonweb/topic/softhang-ftw 
Use softhang if a delayed block is the last argument to a function
 2022-03-02 18:59:41 +00:00
Paul Chiusano
e5b16cd764 softhang delayed computations when they're the last arg; add round trip test 2022-03-02 12:34:38 -06:00