unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
Code Issues Projects Releases Wiki Activity

fix higher-rank test

Browse Source 
Add t to constructor to avoid kind defaulting
This commit is contained in:
Travis Staton 2023-09-20 12:08:02 -04:00
parent f545ef2213
commit 03062e5e48
No known key found for this signature in database
GPG Key ID: 431DD911A00DAE49
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
unison-src/transcripts/higher-rank.md
View File

@ -43,7 +43,7 @@ Functor.blah = cases Functor f ->
This example is similar, but involves abilities:
```unison
unique ability Remote t where doRemoteStuff : ()
unique ability Remote t where doRemoteStuff : t ()
unique type Loc = Loc (forall t a . '{Remote t} a ->{Remote t} t a)
Loc.blah : Loc -> ()

2
unison-src/transcripts/higher-rank.output.md
View File

@ -80,7 +80,7 @@ Functor.blah = cases Functor f ->
This example is similar, but involves abilities:
```unison
unique ability Remote t where doRemoteStuff : ()
unique ability Remote t where doRemoteStuff : t ()
unique type Loc = Loc (forall t a . '{Remote t} a ->{Remote t} t a)
Loc.blah : Loc -> ()