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/fix1696.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

625 B
Raw Permalink Blame History 

structural ability Ask where ask : Nat

ability Zoot where
  zoot : Nat

Ask.provide : '{Zoot} Nat -> '{Ask} r -> r
Ask.provide answer asker =
  h = cases
    {r}                 -> r
    {Ask.ask -> resume} -> handle resume !answer with h
  handle !asker with h

dialog = Ask.provide 'zoot '("Awesome number: " ++ Nat.toText Ask.ask ++ "!")

> dialog


  Loading changes detected in scratch.u.

  The expression in red needs the {Zoot} ability, but this location does not have access to any abilities.
  
     13 | dialog = Ask.provide 'zoot '("Awesome number: " ++ Nat.toText Ask.ask ++ "!")