unison

unison copied to clipboard

## Overview

mitchellwrosen

Foreign functions are based on wrapping Haskell functions with type `a -> IO b`, given that `a` and `b` belong to appropriate classes. None of our machinery surrounding this actually...

dolio

For some reason, it seems that if certain dependencies of a codebase definition happen to be in a loaded scratch file, the codebase definition will have a different runtime hash...

dolio

UCM : release/0.5.40 Reproduction : ```haskell term: (forall x . [x] -> [x]) -> Boolean term f = isEmpty (f []) someDoc = {{ test {term} }} ``` fails with...

Baccata

The following code is extracted from an experiment I was running: ```unison type Options r = { runtime: '{r} () } Options.override : a r -> Options r -> Options...

etorreborre

Hi, I think there's some quadratic behavior in abilities lists. Here is an example reproducing the issue: ``` type Abilities w = Abilities ({w} ()) type Options ts = {...

etorreborre

**Describe and demonstrate the bug** Matching on a constructor whose name starts with an underscore produces a parser error. The following compiles fine: ```haskell type Foo = Foo Nat foo...

ceedubs

Implement optimized versions of Json-related functions

5

Following https://github.com/unisonweb/unison/pull/5634 instructions, implement optimized versions of these functions: https://share.unison-lang.org/@unison/json/code/releases/1.3.0/latest/terms/core/Json/toText https://share.unison-lang.org/@unison/json/code/releases/1.3.0/latest/terms/core/Json/tryUnconsText

pchiusano

The following property does not hold when the `Natural` `n` is `17621823851506098539` ``` unison :hide n ^ 2 / n == n ``` This can be shown by uncommenting the...

etorreborre

**Describe and demonstrate the bug** - Edit a definition in your project: `edit foo`. - Save your scratch file (with or without changes) - ucm doesn't show any output (but...

ceedubs