unison

unison copied to clipboard

``` tests.exe: : commitBuffer: invalid argument (cannot encode character '\9989') ``` https://github.com/unisonweb/unison/actions/runs/13722132317/job/38383430425?pr=5615 which means we can't simply `stack test` in CI, as this test is included

aryairani

want deterministic letrec binding order to minimize diffs

1

**Describe and demonstrate the bug** We have seen letrec binding order swapped depending on changed dependency hashes, which is problematic for text-based diff tools. Possible static orderings could be one...

aryairani

To reproduce: ``` clone @etorreborre/di/@etorreborre/typechecking-error edit.namespace typecheckError.options ``` If you remove the type annotation from `typecheckError.options`, it typechecks and can be added to the codebase, but with the type signature...

pchiusano

## Overview TODO: Need to ensure migration happens in create-schema If we keep track of the last known hash of a remote branch according to the last time we synced...

ChrisPenner

Make it easier to find source of unexpected ability

1

I often encounter an error message like `The expression in red needs the {IO} ability, but this location only has access to these abilities: {g5, Remote, Scope s8}`. That's great...

ceedubs

support type aliases

9

This has been suggested a number of times, so I'm creating this to track it.

aryairani

I haven't minimized this, but here's a repro, using this branch https://share.unison-lang.org/@pchiusano/arcella/code/@pchiusano/crash/latest `clone @pchiusano/arcella/code/@pchiusano/crash` and then `run main` to get: ``` Failure (typeLink MiscFailure) "marshalToForeign: unhandled closure: Closure {unClosure =...

pchiusano

dependents and dependencies should show fully-qualified names

2

**Is your feature request related to a problem? Please describe.** When I'm calling `dependents` or `dependencies` it's because I'm trying to track down the dependency graph of code. So even...

ceedubs

Add a primitive for laziness/call-by-need semantics

1

**Is your feature request related to a problem? Please describe.** Some algorithms and tricks are only possible in pure languages when you have access to laziness/memoized thunks. See e.g. [Okasaki's...

anka-213

making it a bit easier to run individual tests in Doc.hs

3

## Overview Previously, running e.g. `stack test --fast unison-syntax --ta "DocParser.Hello"` Would result in: ``` Randomness seed for this run is 5876492311547008607 Raw test output to follow ... ------------------------------------------------------------ ------------------------------------------------------------...

bbarker