unison

unison copied to clipboard

doc round trip issue (I think)

3

If you write this doc: ``` {{ __x__. __y__ }} ``` After adding and viewing, it ends up looking like this: ``` {{ ___x__.__y___ }} ``` So, three underscores _(why?)_...

mitchellwrosen

mitchellwrosen

LSP error identification

2

**Is your feature request related to a problem? Please describe.** I was editing a scratch file that began with ``` use somelib_1_1_0 someterm foo = do someterm ``` and the...

kylegoetz

**What's the message you're seeing?** Context, this issue cropped up in this discussion, around a more complicated record type: https://github.com/unisonweb/unison/discussions/5669# The minified structure is as follows: ``` unison -- nullary...

rlmark

**Describe and demonstrate the bug** This should be written as a [ucm transcript](https://www.unison-lang.org/docs/tooling/transcripts/) if possible, calling out the unexpected behavior in the text. e.g. ``` unison :hide type com.gvolpe.miniblog.db.v2.PostRow =...

gvolpe

Code to reproduce: ``` go : Nat -> Nat go = go3 x = go x go3 ``` Here `go` in the body of `go3` is guarded by a lambda,...

runarorama

unifyVars/kind Inference UCM exception

1

**Describe and demonstrate the bug** ```ucm scratch/main> builtins.merge ``` ```unison :error ability Columns Dimension n where toNat : Dimension n -> {Columns (Dimension n)} Nat structural type Dimension a =...

lJoublanc

Spurious ability check failure here

4

```haskell foo : forall g . ('{g} () ->{g} ()) -> Nat foo g = todo g wat : ('{IO} () ->{IO} ()) ->{} Nat wat f = foo f...

pchiusano

Destructuring bind gets rendered sometimes with extra `let`

7

Noticed by @SystemFw I'm not sure when this happens exactly since I've also seen it render correctly without the `let`.

pchiusano

Since `Doc` literals have a markdown-like syntax, I was expecting `>` to start a block quote. For example I expected: ``` > This is a quote. ``` to render as:...

ceedubs