unison/unison-src/transcripts/fix1731.output.md

28 lines
490 B
Markdown
Raw Permalink Normal View History

``` unison
2021-08-24 21:33:27 +03:00
structural ability CLI where
print : Text ->{CLI} ()
input : {CLI} Text
```
The `input` here should parse as a wildcard, not as `CLI.input`.
``` unison
repro : Text -> ()
repro = cases
input -> ()
```
``` ucm
Loading changes detected in scratch.u.
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These new definitions are ok to `add`:
repro : Text -> ()
```