Cli integration transcript output

Whitespace differences
This commit is contained in:
Dan Doel 2024-04-17 14:28:21 -04:00
parent 079d46674e
commit 4abcc1efb1

View File

@ -34,9 +34,9 @@ main = do
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`:
structural ability Break
type MyBool
main : '{IO, Exception} ()
@ -47,7 +47,7 @@ main = do
.> add
⍟ I've added these definitions:
structural ability Break
type MyBool
main : '{IO, Exception} ()