Commit Graph

16817 Commits

Author SHA1 Message Date
Arya Irani
ac75905f8b
debug nix-dev-cache 2024-08-02 13:44:31 -04:00
Arya Irani
8a3e2efafc
Merge pull request #5258 from unisonweb/cp/global-search 2024-08-01 21:56:22 +00:00
ChrisPenner
8c9c3baad8 automatically run ormolu 2024-08-01 00:17:33 +00:00
Chris Penner
f9db384df1 Fix transcripts 2024-07-31 17:16:18 -07:00
Chris Penner
e545e0b1a7 Rerun transcripts 2024-07-31 16:41:00 -07:00
Chris Penner
d4a04b7349 re-add names.global 2024-07-31 16:40:56 -07:00
Chris Penner
03b225ccd1 Add ability to find over EVERY branch. 2024-07-31 16:36:08 -07:00
Arya Irani
4acebf0113
Merge pull request #5256 from unisonweb/travis/empty-pattern-match 2024-07-30 02:31:21 +00:00
Travis Staton
72da81f18b
remove unused arg 2024-07-29 21:21:09 -04:00
Travis Staton
94209eae14
permit empty matches 2024-07-29 19:45:48 -04:00
Arya Irani
f5595763db
Merge pull request #5254 from unisonweb/cp/defn-search-sync
Add FromJSON for Display Object for definition search
2024-07-26 19:51:27 +00:00
Chris Penner
a49146fac3 Merge branch 'trunk' into cp/defn-search-sync 2024-07-26 11:47:09 -07:00
Arya Irani
b12baa4486
Merge pull request #5238 from neduard/jit-update-readme 2024-07-25 18:55:58 +00:00
Arya Irani
59f41c6ad8
Merge pull request #5251 from sellout/transcript-consume-entire-stanza 2024-07-25 14:15:35 +00:00
Greg Pfeil
bd4c2044ec
Ensure transcript parser consumes entire stanzas
With the switch to `cmark`, the “second phase” parsing of individual
stanzas omitted an EOF check to ensure that the entire stanza had been
parsed. This resulted in parses where we end up with truncated sets of
UCM commands or API requests, which could either result in premature
success or failures occurring later in the transcript, where they’d
complain about the wrong thing.
2024-07-24 12:42:57 -06:00
Greg Pfeil
032e3609a0
Add some transcripts that should error, but don’t 2024-07-24 12:41:55 -06:00
Cody Allen
caf58fad28
Merge pull request #5242 from unisonweb/editor-config-u
Don't limit max line length on .u scratch files
2024-07-24 06:54:03 -07:00
Chris Penner
7301b693c8
Merge pull request #5244 from unisonweb/cp/reflog-name
branch.reflog -> reflog
2024-07-22 16:49:16 -07:00
Arya Irani
6ff07ff159
Merge pull request #5240 from neduard/jit-ci-fix 2024-07-22 22:15:37 +00:00
Chris Penner
1b22343c24 branch.reflog -> reflog 2024-07-22 15:00:47 -07:00
Arya Irani
c4fc8d4570
Merge pull request #5243 from unisonweb/cp/remove-reset-root
Remove reset-root, fix docs for reset
2024-07-22 20:09:29 +00:00
Chris Penner
5bedaf3d1a Update transcripts 2024-07-22 11:06:42 -07:00
ChrisPenner
6e6c0ab8e2 automatically run ormolu 2024-07-22 17:59:57 +00:00
Chris Penner
05826172b8 Remove reset-root, fix docs for reset 2024-07-22 10:59:11 -07:00
Cody Allen
4584e1f883
Don't limit max line length on .u scratch files
The recently added `.editorconfig` sets a max line length of 120 characters for all file types. I found this to be
pretty frustrating when writing Unison scratch files. While writing Unison code my editor would seemingly randomly
create a new line, generating invalid Unison code. This came up more often when writing `Doc` values, since I tend to
write longer lines in prose than in code.

The formatting in scratch files is ephemeral, so I don't think that there is any good reason to force a max line length
on it.
2024-07-22 10:11:10 -04:00
Eduard Nicodei
6ede3fcfd5 fix jit generation in ci.yaml 2024-07-19 23:21:55 +01:00
Arya Irani
677266d6ba
Merge pull request #5232 from sellout/doc-nix-cache 2024-07-19 19:31:02 +00:00
Arya Irani
ef62cd99db
Merge pull request #5235 from sellout/refactor-transcript-parser 2024-07-19 19:29:42 +00:00
Arya Irani
8e469ad872
Merge pull request #5233 from sellout/cachix-in-dev-shell 2024-07-19 19:28:01 +00:00
Arya Irani
2cf03feb7f
Merge pull request #5230 from unisonweb/cp/unused-sync-types 2024-07-19 19:26:13 +00:00
Arya Irani
01b475c03d
Merge pull request #5239 from sellout/reformatting 2024-07-19 19:21:50 +00:00
Greg Pfeil
9ac6a04ec1
Inform Ormolu of some operator precedences
This adds a .ormolu file to tell Ormolu what some operator precedences
are, to improve indentation of multi-line operator sequences.
2024-07-18 19:44:34 -06:00
Greg Pfeil
f7633ce7c7
Manually reformat chains of single constraints
Changing `(A x) => (B y) => x -> y` to `(A x, B y) => x -> y`.
2024-07-18 18:26:01 -06:00
Greg Pfeil
b8f1ed988a
Run Ormolu over the entire codebase
With #5142, Ormolu was upgraded from 0.5.2.0 to 0.7.2.0. This formats
the codebase to avoid spurious formatting comingled in other commits.

Almost all of the changes are simply wrapping single constraints in parens, like
```diff
-hashBranch :: forall m. Monad m => Branch m -> m BranchHash
+hashBranch :: forall m. (Monad m) => Branch m -> m BranchHash
```

There is also some reordering of language pragmas and imports,
indentation correction (some of which gets precedence wrong), and switching
some Haddock from `-- ^` to `-- |` .
2024-07-18 17:48:40 -06:00
mergify[bot]
42ebc76518
Merge pull request #5237 from neduard/jit-support-non-gnu-unix-systems
Support native compilation on non-GNU Unix systems
2024-07-18 15:38:41 +00:00
Eduard Nicodei
c657e58924 remove extra word and mention libressl 2024-07-18 00:50:16 +01:00
Eduard Nicodei
7ed45f6cd7
minor fixups 2024-07-18 00:44:22 +01:00
Eduard Nicodei
55560e58ca update transcripts-manual/gen-racket-libs.output.md 2024-07-18 00:31:16 +01:00
Eduard Nicodei
05362b87d0 update command for integration tests in docs 2024-07-18 00:31:16 +01:00
Eduard Nicodei
3cd2a76d5e update scheme-libs/racket/unison/Readme.md 2024-07-18 00:31:16 +01:00
Eduard Nicodei
b6b3137002 create gitignore in scheme-libs/racket/unison/ 2024-07-17 23:42:25 +01:00
Eduard Nicodei
d66c5c79f8 just whitespace changes 2024-07-17 23:30:14 +01:00
Eduard Nicodei
f18cb2fc9d use /usr/bin/env sh for jit-tests.sh
this is more portable and ensures we can compile on systems without bash (eg *BSD)
2024-07-17 23:01:31 +01:00
Eduard Nicodei
e3b2e4bff6 use libb2 for all blake functions
required if compiling on systems that use eg libressl
2024-07-17 23:00:41 +01:00
ChrisPenner
cdab05d259 automatically run ormolu 2024-07-17 18:29:29 +00:00
Chris Penner
b0be4808f4 Merge trunk 2024-07-17 11:27:55 -07:00
Greg Pfeil
f18943284e
Add cachix to the devShell
This tool manages the Unison cache, so it’s useful to provide in dev
environments. Actually pushing to the cache requires a secret key.
2024-07-16 22:14:38 -06:00
Greg Pfeil
bf080a5c5b
Clean up devShell definition
Mostly formatting, but also
- removes Apple’s Cocoa from the dependencies,
- moves some dependencies from `buildInputs` to `nativeBuildInputs`.
2024-07-16 22:14:29 -06:00
Greg Pfeil
b1cf12330a
Split TranscriptParser into three modules
- `Transcript` – the data model
- `Transcript.Parser` – the parser and printer
- `Transcript.Runner` – the runner

There is unfortunately still some printing tightly coupled to the
runner, but this makes it more obvious. Also, the runner is the only
component tied to the CLI.
2024-07-16 19:35:02 -06:00
Greg Pfeil
00f6c8c954
Refactoring TranscriptParser
A bunch of small changes in TranscriptParser

- remove dead code
- don’t use `Show` for formatted output
- put processed blocks in a separate sum type from unprocessed blocks
- remove `Transcript` from identifiers (changed importers to use
 `qualified as Transcript`)
- deduplicated some error reporting

And one happy fix, IMO – got rid of the `Text.init` that plagued me in
2024-07-16 19:31:01 -06:00