unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.64k stars 267 forks source link

can't include Scope.run in a Doc #5098

Closed stew closed 1 week ago

stew commented 1 week ago

Input:


```unison
> {{ {Scope.run} }}

Output:

I found a value of type: (Unit ->{g1, Scope s1} r) ->{g1} r where I expected to find: (Unit ->{g, Scope s} 𝕩) -> 𝕣

  2 | > {{ {Scope.run} }}
pchiusano commented 1 week ago

Dupe of #3499