Thanks (in no particular order) to @atacratic, @TomasMikula, @mitchellwrosen, @pt2121, @noahhaasis, @alvaroc1, @int-index, @matthewess, @anovstrup, and @pete-ts, for your contributions to this release!
New features:
- Native
Nat.toFloat(#1012) - add
bug : a -> bandtodo : a -> bbuiltins, which print their arguments and terminate (#881)
(todocalls will probably show up in thetodoucm output in not too long) - Combined
deletecommand (#1036) (no longer need to distinguish between terms and types) - show branch diff after
delete(#1068) - add
loadcommand to manually load a .u file into ucm (#1099) - added pretty-printer support for
Docliterals (#994) - added
diff.namespacecommand which prints the diff between two namespaces (#1064).
the new diff output is also used now by relevant existing commands. - the codebases that result from running a unison transcript are now only saved if the
-save-codebaseflag is passed to thetranscriptcommand. (#1155)
Changed behavior:
handle e with hsyntax (#1159) instead of currenthandle h in e.
fun fact: your existing code automatically reflects this syntax change 🎉- read
.unisonConfigfrom the directory that the codebase is in (i.e. your home dir) (#1031)
Fixes:
- Fixed pretty-printing of
Charwhen it is part of a pattern (#1008) - Hopefully more rebust debouncing logic for file events (#1019)
- Update propagation algorithm fixes (#996)
- Rendering cleanup in
namesoutput (#1002) - Fixed term printer for delayed bindings (#1007)
- fixed hashing issue for some effectful functions (#1020)
- suppress welcome message when using
ucm run(#1057) - add POSIX compilant ctrl-c handling (#912)
- better typechecking message when .u file contains multiple definitions with the same name (#1077)
- fix
deletetab completion wasn't including types (#1076) - speed up
todooutput if there is nothing to do (#1088) - fix issue with cleaning up emptied branches (#1090)
- clear cached typechecked file on parsing/typechecking error (#1138)
- fix crash when current dir contains broken symlinks (#1144)