unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/delete-silent.output.md
Greg Pfeil 0031542faf
Add a space before code block info strings 
This is for consistency with the `cmark` style. Now the blocks we still
pretty-print ourselves will match the bulk of them that `cmark`
produces.
2024-07-10 13:56:07 -06:00

417 B
Raw Permalink Blame History 

scratch/main> delete foo

  ⚠️
  
  The following names were not found in the codebase. Check your spelling.
    foo


foo = 1
structural type Foo = Foo ()

scratch/main> add

  ⍟ I've added these definitions:
  
    structural type Foo
    foo : ##Nat

scratch/main> delete foo

  Done.

scratch/main> delete.type Foo

  Done.

scratch/main> delete.term Foo.Foo

  Done.