unison

A friendly programming language from the future

OTHER License

Stars
5.6K

Bot releases are visible (Hide)

unison - release/0.5.20

Published by github-actions[bot] 5 months ago

What's Changed

Fun stuff 🎉

  • This release includes a beta version of the Unison just-in-time/native runtime. You can try it by using the new run.native command in place of the run command. Let us know if you have any issues!
  • Ahead-of-time native compilation to produce a standalone executable is coming soon. If you're running Linux, you can try this today; Mac and Windows support are next.
  • @kylegoetz added an implementation of UDP networking, and @etorreborre added an implementation of RSA signing and signature verification. We'll be adding this functionality to base soon!

Important deprecations, please read

  • The cd command and the up command have gone away for maintenance, as they are not yet fully compatible with projects. In the mean time
    • we've added find-in <path> <expression> to replace cd <path>+find <expression>+back
    • and added test <path> to replace cd <path>+test+back.
    • In an emergency where you know what you're doing, you can still use deprecated.cd, and then come let us know what happened on Discord.
  • We are starting to deprecate non-project code, and with this release, you can no longer push to the non-project code area on Share. Check out the https://www.unison-lang.org/docs/tooling/projects-library-migration/ for help on converting your non-projects to projects. You can still pull non-project code from Share, but that will be going away soon too, so get busy :)

Under-the-hood fixes

  • @upendra1997 submitted a color scheme adjustment which was causing some text to appear invisible for some users.
  • The builtins.merge and builtins.mergeio commands (which most people don't use or need) also accept an optional destination path now.
  • The decompiler output now supports immutable arrays, and partially-applied built-in functions.
  • We fixed an issue in the LSP involving auto-completion and punctuation.
  • The pretty-printer now prefers do <expr> in some cases where it previously printed '(<expr>). The ' syntax is still accepted.
  • We fixed an issue with backtracking in Pattern.many, Pattern.or, and Pattern.replicate.
  • We made a tweak to the name-resolution rules, which were impacting type-directed name resolution.

All PRs since last release

New Contributors

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.19...release/0.5.20

unison - Development Build (trunk)

Published by github-actions[bot] 5 months ago

Commits

  • 6d4dc7d: Fix exn:bug display (Dan Doel) #4930
  • 098866b: Fix getSomeBytes result size (Dan Doel) #4930
  • 2606150: Some reify/reflect tweaks (Dan Doel) #4930
  • 9f8c6f0: Move openFile into io-handles; fix (Dan Doel) #4930
  • d0407c8: Fix up directoryContents (Dan Doel) #4930
  • cdc6a66: Send run.native args to jit (Dan Doel) #4930
  • 7aa44c0: Implement systemTimeZone in jit (Dan Doel) #4930
unison - Development Build (trunk)

Published by github-actions[bot] 6 months ago

Commits

  • ce8dfd2: Bump jit share dependency to 0.0.15 (Dan Doel) #4876
unison - Development Build (try-embed-brew-libb2)

Published by github-actions[bot] 6 months ago

Commits

  • 9efad2b: Check the exit code during native evaluation (Dan Doel) #4869,#4872
  • 0f3cb4b: try brew-installing libb2 and adding homebrew to rpath. (Arya Irani) #4872
  • f0e1cba: Update .github/workflows/bundle-ucm.yaml (Arya Irani) #4872
  • eaa06ee: what happens when you don't test before committing (Arya Irani) #4872
unison - Development Build (homebrew-libb2-openssl)

Published by github-actions[bot] 6 months ago

Commits

  • 6d6d4fe: try adding brew dependencies for building runtime (Arya Irani) #4871
unison - Development Build (trunk)

Published by github-actions[bot] 7 months ago

unison - Development Build (fix-wrapper)

Published by github-actions[bot] 7 months ago

Commits

  • 178177c: add quotes around path to ucm (Arya Irani) #4862
unison - release/testing-ignore-2

Published by github-actions[bot] 7 months ago

What's Changed

New Contributors

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.19...release/testing-ignore-2

unison - release/testing-ignore-2

Published by github-actions[bot] 7 months ago

What's Changed

New Contributors

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.19...release/testing-ignore-2

unison - Development Build

Published by github-actions[bot] 7 months ago

unison - release/testing-ignore-1

Published by github-actions[bot] 7 months ago

What's Changed

New Contributors

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.19...release/testing-ignore-1

unison - Development Build

Published by github-actions[bot] 7 months ago

Commits

  • 743da93: git config needed before commit (Arya Irani) #4827
unison - Development Build

Published by github-actions[bot] 7 months ago

Commits

  • 702318a: A few fixes/tweaks (Dan Doel) #4823
unison - Development Build

Published by github-actions[bot] 7 months ago

Commits

  • 96d6224: Fix many pattern not backtracking (Dan Doel) #4790
  • 5589590: Update cabal.project (Cody Allen) #4794
  • 50ebfc5: build test and bench dependencies with "build dependencies" (Arya Irani) #4799
  • d37dd09: Merge remote-tracking branch 'origin/trunk' into build-test-deps (Arya Irani) #4799
  • 5cec39c: split off ormolu task (Arya Irani) #4800
  • 14315cd: move stack install to composite action (Arya Irani) #4798
  • 5e0f5d5: Merge branch 'trunk' into plugin-stack (Arya Irani) #4798
  • 64ae273: Add test case (Dan Doel) #4790
  • 8f2e123: typechecker refactoring (Mitchell Rosen) #4808
  • e1fa352: fix bug in renderSuggestion (Mitchell Rosen) #4808
  • 75ff7fa: make suggestion have a proper name (Mitchell Rosen) #4808
  • 0c4c711: more typechecker refactoring (Mitchell Rosen) #4808
  • 468d625: use only two priorities for ranking name suffixes, not three (Mitchell Rosen) #4808
  • 96e008f: fix suffix.md transcript (Mitchell Rosen) #4808
  • c23801e: fix bug in resolveNote (Mitchell Rosen) #4808
  • 3799ed5: commit transcript output changes (Mitchell Rosen) #4808
  • dfd2ee3: Rework jit abilities/exception to make use of actual typelinks (Dan Doel) #4810
  • 731dbae: Fix another jit vector-trie bug (Dan Doel) #4810
  • 69bb6a3: Fix the vector-trie bug, hopefully for real (Dan Doel) #4810
  • 258f559: Re-export builtin data stuff from unison/boot (Dan Doel) #4810
  • 9ef24b2: Bump depended @unison/internal version (Dan Doel) #4810
  • 181997a: see if this fixes the haddocks workflow (Arya Irani) #4812
  • 98bf7d1: Add missing builtin links to unison/data and /boot (Dan Doel) #4814
  • 020e54d: try just grabbing stack from the path (Arya Irani) #4815
unison - Development Build

Published by github-actions[bot] 7 months ago

unison - Development Build

Published by github-actions[bot] 7 months ago

Commits

unison - Development Build

Published by github-actions[bot] 7 months ago

Commits

  • 416d943: Fix auto-complete symbols (Chris Penner) #4791
unison - release/0.5.19

Published by github-actions[bot] 7 months ago

What's changed

  • 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
  • Fixes an annoying issue where record types weren't being printed as records (reported and fixed by @runarorama)
  • Improves speed of merge via a faster ancestry check to find the LCA.
  • Greatly improves the error message when the scratch file fails to even parse.
  • Improves error messages and type inference for 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.

All PRs since last release

New Contributors

Full Changelog: https://github.com/unisonweb/unison/compare/release/0.5.18...release/0.5.19

unison - Development Build

Published by github-actions[bot] 7 months ago

unison - Development Build

Published by github-actions[bot] 7 months ago

Commits

  • e0b178b: Push type checking through match statements (Dan Doel) #4768