Skip to content

release/M1h

Pre-release
Pre-release
Compare
Choose a tag to compare
@aryairani aryairani released this 20 Jan 14:36
release/M1h
5040c20
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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 -> b and todo : a -> b builtins, which print their arguments and terminate (#881)
    (todo calls will probably show up in the todo ucm output in not too long)
  • Combined delete command (#1036) (no longer need to distinguish between terms and types)
  • show branch diff after delete (#1068)
  • add load command to manually load a .u file into ucm (#1099)
  • added pretty-printer support for Doc literals (#994)
  • added diff.namespace command 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-codebase flag is passed to the transcript command. (#1155)

Changed behavior:

  • handle e with h syntax (#1159) instead of current handle h in e.
    fun fact: your existing code automatically reflects this syntax change 🎉
  • read .unisonConfig from the directory that the codebase is in (i.e. your home dir) (#1031)

Fixes:

  • Fixed pretty-printing of Char when it is part of a pattern (#1008)
  • Hopefully more rebust debouncing logic for file events (#1019)
  • Update propagation algorithm fixes (#996)
  • Rendering cleanup in names output (#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 delete tab completion wasn't including types (#1076)
  • speed up todo output 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)
Assets 4
Loading