A friendly programming language from the future
do
instead of '
in pretty-printer by @pchiusano in https://github.com/unisonweb/unison/pull/4796
stack
install to composite action by @aryairani in https://github.com/unisonweb/unison/pull/4798
pre-release.yaml
by @aryairani in https://github.com/unisonweb/unison/pull/4815
stack.yaml
dir as input to stack caching by @aryairani in https://github.com/unisonweb/unison/pull/4820
Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.19...release/testing-ignore-2
upgrade
now allows library authors to repurpose names for a different definition, without breaking any downstream users. That is, you can rename a definition, then add a new definition with the original name but new behavior, without forcing library users to update to the new definition when they upgrade
. https://github.com/unisonweb/unison/pull/4720
merge
via a faster ancestry check to find the LCA.match
statements (now, if the type of the overall match
is known, that information is pushed down into the branches of the match
, which behaves more nicely)We've also made improvements and fixes to the new just-in-time native compiler, though the feature is still not quite ready for general use.
view
in some cases by @runarorama in https://github.com/unisonweb/unison/pull/4752
unison-runtime
by @aryairani in https://github.com/unisonweb/unison/pull/4774
Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.18...release/0.5.19
List.++.doc
) now round-trip.@everyone
for new releases by @aryairani in https://github.com/unisonweb/unison/pull/4700
Unison.Codebase.Metadata
by @aryairani in https://github.com/unisonweb/unison/pull/4712
Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.17...release/0.5.18
--lsp-format
flag by @ChrisPenner in https://github.com/unisonweb/unison/pull/4691
Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.16...release/0.5.17
Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.15...release/0.5.16
New features:
edit.namespace
command, see here for example usage (reported by @ceedubs)Bug fixes:
unique type
with unique
omitted (reported by @hojberg)use
and names starting with _
(reported by @alvaroc1)
string
gets transformed to ''string''
and then fails to parse if string
contains '
(reported by @SystemFw)Set.findMin: empty set has no minimal element
bug on update
(reported by @alvaroc1)Speed-ups:
docs.to-html
no longer preloads names for the entire codebaseedit.namespace
command by @ChrisPenner in https://github.com/unisonweb/unison/pull/4535
use
and underscore-prefixed names by @tstat in https://github.com/unisonweb/unison/pull/4654
debug.term
debug.type
for debugging by @ChrisPenner in https://github.com/unisonweb/unison/pull/4653
update
by @tstat in https://github.com/unisonweb/unison/pull/4661
Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.14...release/0.5.15
link
, links
, and unlink
commands go away.add
, nor copied on update
.diff.namespace
doesn’t report anything about metadata. Note that we used to rely on metadata to exclude uninteresting changes from a diff. That already doesn’t work with the new update
process, but we will fix this again eventually.unique
by default, if neither unique
nor structural
is specified. unique
is also left off when viewing the code for a unique type (reported by @ceedubs and others)fork
now lets you refer to paths in other branches using project/branch:path
syntax. Other commands will support this soon, at which point you hopefully won’t need to go outside of projects for scratch space anymore.cd
ed deeper into your project, into a subnamespace that isn’t completely self-contained, we’re looking into solutions to this. view.global
, names.global
, and namespace.dependencies
will still do a global search. view and display will use the global names if provided an absolute argument.edit
and other commands which modify your scratch file now uniformly produce output in transcript output.md files. It will show up in an ```unison:added-by-ucm <filename.u>
code block.Doc
and [Test.Result]
showed up on Share as Docs and Tests when they shouldn’t have.update
/upgrade
produced a scratch file that ambiguously referred to aliases in a way that couldn’t typecheck.view foo.?
) went away; you probably won’t notice. The improved fzf
support introduced in 0.5.13 is nicer anyway.changed-files
step from update-transcripts-workflow by @aryairani in https://github.com/unisonweb/unison/pull/4585
edit
(and new transcript outputs to replace it) by @ChrisPenner in https://github.com/unisonweb/unison/pull/4576
OutputMessages
for upgrade/update by @ChrisPenner in https://github.com/unisonweb/unison/pull/4577
trunk-build
by @aryairani in https://github.com/unisonweb/unison/pull/4612
Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.13...release/0.5.14
add.run
CallStack error issue on 0.5.11 (reported by @rlmark)find
, by eliminating historical name search (reported by @stew and others)
names.global <hash>
to investigate the name, and then alias.term
or alias.type
to create a name in your branch.fzf
support to all required arguments (multiply reported by @ceedubs)Nat.fromHex
fails for some input when it is a substring of larger Text (reported by @hagl)/
instead of Float./
(reported by @stefanholzmueller)Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.12...release/0.5.13