unison/unison-src/transcripts/text-literals.output.md

This transcript shows some syntax for raw text literals.

``` unison
lit1 = """
This is a raw text literal.
It can start with 3 or more ",
and is terminated by the same number of quotes.
Nothing is escaped. \n

The initial newline, if it exists, is ignored.
The last line, if it's just whitespace up to the closing quotes,
is ignored.

Use an extra blank line if you'd like a trailing newline. Like so:

"""

> lit1
> Some lit1

lit2 = """"
    This is a raw text literal, indented.
    It can start with 3 or more ",
    and is terminated by the same number of quotes.
    Nothing is escaped. \n

    This doesn't terminate the literal - """
    """"

> lit2
> Some lit2
```

``` 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`:
    
      lit1 : Text
      lit2 : Text
  
  Now evaluating any watch expressions (lines starting with
  `>`)... Ctrl+C cancels.

    15 | > lit1
           ⧩
           """
           This is a raw text literal.
           It can start with 3 or more ",
           and is terminated by the same number of quotes.
           Nothing is escaped. \n
           
           The initial newline, if it exists, is ignored.
           The last line, if it's just whitespace up to the closing quotes,
           is ignored.
           
           Use an extra blank line if you'd like a trailing newline. Like so:
           
           """
  
    16 | > Some lit1
           ⧩
           Some
             "This is a raw text literal.\nIt can start with 3 or more \",\nand is terminated by the same number of quotes.\nNothing is escaped. \\n\n\nThe initial newline, if it exists, is ignored.\nThe last line, if it's just whitespace up to the closing quotes,\nis ignored.\n\nUse an extra blank line if you'd like a trailing newline. Like so:\n"
  
    27 | > lit2
           ⧩
           """"
           This is a raw text literal, indented.
           It can start with 3 or more ",
           and is terminated by the same number of quotes.
           Nothing is escaped. \n
           
           This doesn't terminate the literal - """
           """"
  
    28 | > Some lit2
           ⧩
           Some
             "This is a raw text literal, indented.\nIt can start with 3 or more \",\nand is terminated by the same number of quotes.\nNothing is escaped. \\n\n\nThis doesn't terminate the literal - \"\"\""

```
``` ucm
scratch/main> add

  ⍟ I've added these definitions:
  
    lit1 : Text
    lit2 : Text

scratch/main> view lit1 lit2

  lit1 : Text
  lit1 =
    """
    This is a raw text literal.
    It can start with 3 or more ",
    and is terminated by the same number of quotes.
    Nothing is escaped. \n
    
    The initial newline, if it exists, is ignored.
    The last line, if it's just whitespace up to the closing quotes,
    is ignored.
    
    Use an extra blank line if you'd like a trailing newline. Like so:
    
    """
  
  lit2 : Text
  lit2 =
    """"
    This is a raw text literal, indented.
    It can start with 3 or more ",
    and is terminated by the same number of quotes.
    Nothing is escaped. \n
    
    This doesn't terminate the literal - """
    """"

```