unisonweb/unison release/M1i

on GitHub

Thanks (in no particular order) to @pete-ts, @mitchellwrosen, @bontaq, @atacratic, @anovstrup, @pt2121, @anchpop, @Dandandan, @moses-alexander, for your contributions to this release!

New features:

• new pull-request.create and pull-request.load commands to support PR workflows (#1328, #1197, #1209)
• new alias.many command lets you copy multiple definitions' relative names at once to a destination namespace. (#1236)
• new back command to jump to the namespace you last cded from. (#1294)
• add :hide:all option for unison and ucm fences in transcripts (#1167)
  allow

Changed behavior:

• changed case/of syntax to match/with (#1214)
• link and unlink argument order has flipped from link <metadata> <definition> to link <def1> [<def2> ...] <metadata> (#1208, #1127)
• add LambdaCase style cases syntax to replace x -> case x of (#1192)
• improve argument support for alias.type/alias.term/replace.type/replace.term (#1334)

Fixes:

• fix issue where a command that makes changes all over the namespace creates many history entries instead of one consolidated one (#1225, #1333), reverting #1085 for better or worse 😬
• remove term names from evaluation output in Docs (#1307)
• fix accidental deletion of history for empty namespaces (#1337)
• fix a pair of bugs that created and then couldn't cope with a loop in the namespace history (#1279)
• some obvious speed fixes for push and pull (#1281, #1302)
• allow add/update to create aliases without a big fuss (#1254)
• don't cry about previously known constructors (#1352)
• error messages and output message improvements (#1122, #1163, #1164, #1170, #1187, #1222, #1223, #1227, #1331 )
• pretty-printing fixes (#1159, #1171, #1180, #1278)
• fix a runtime bug that was causing issues with large lists (#1183)
• unique type hashes are chosen with a deterministic seed when running transcripts, for deterministic transcript output (#1237)