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

41 lines
725 B
Markdown
Raw Permalink Normal View History

2020-05-29 05:45:27 +03:00
Tests that functions named `.` are rendered correctly.
``` unison
(`.`) f g x = f (g x)
2020-05-29 05:45:27 +03:00
2023-02-11 06:51:45 +03:00
use Boolean not
noop = not `.` not
2020-05-29 05:45:27 +03:00
```
``` ucm
2020-05-29 05:45:27 +03:00
Loading changes detected in scratch.u.
2020-05-29 05:45:27 +03:00
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`:
`.` : (i1 ->{g1} o) -> (i ->{g} i1) -> i ->{g1, g} o
noop : Boolean -> Boolean
2020-05-29 05:45:27 +03:00
```
``` ucm
scratch/main> add
2020-05-29 05:45:27 +03:00
⍟ I've added these definitions:
`.` : (i1 ->{g1} o) -> (i ->{g} i1) -> i ->{g1, g} o
noop : Boolean -> Boolean
2020-05-29 05:45:27 +03:00
scratch/main> view noop
2020-05-29 05:45:27 +03:00
noop : Boolean -> Boolean
2023-02-11 06:51:45 +03:00
noop =
use Boolean not
not `.` not
2020-05-29 05:45:27 +03:00
```