codespan-reporting/assets/readme_preview.svg

<svg viewBox="0 0 882 335" xmlns="http://www.w3.org/2000/svg">
  <style>
    /* https://github.com/aaron-williamson/base16-alacritty/blob/master/colors/base16-tomorrow-night-256.yml */
    pre {
      background: #1d1f21;
      margin: 0;
      padding: 10px;
      border-radius: 6px;
      color: #ffffff;
      font: 12px SFMono-Regular, Consolas, Liberation Mono, Menlo, monospace;
    }

    pre .bold { font-weight: bold; }

    pre .fg.black   { color: #1d1f21; }
    pre .fg.red     { color: #cc6666; }
    pre .fg.green   { color: #b5bd68; }
    pre .fg.yellow  { color: #f0c674; }
    pre .fg.blue    { color: #81a2be; }
    pre .fg.magenta { color: #b294bb; }
    pre .fg.cyan    { color: #8abeb7; }
    pre .fg.white   { color: #c5c8c6; }

    pre .fg.black.bright    { color: #969896; }
    pre .fg.red.bright      { color: #cc6666; }
    pre .fg.green.bright    { color: #b5bd68; }
    pre .fg.yellow.bright   { color: #f0c674; }
    pre .fg.blue.bright     { color: #81a2be; }
    pre .fg.magenta.bright  { color: #b294bb; }
    pre .fg.cyan.bright     { color: #8abeb7; }
    pre .fg.white.bright    { color: #ffffff; }

    pre .bg.black   { background-color: #1d1f21; }
    pre .bg.red     { background-color: #cc6666; }
    pre .bg.green   { background-color: #b5bd68; }
    pre .bg.yellow  { background-color: #f0c674; }
    pre .bg.blue    { background-color: #81a2be; }
    pre .bg.magenta { background-color: #b294bb; }
    pre .bg.cyan    { background-color: #8abeb7; }
    pre .bg.white   { background-color: #c5c8c6; }

    pre .bg.black.bright    { background-color: #969896; }
    pre .bg.red.bright      { background-color: #cc6666; }
    pre .bg.green.bright    { background-color: #b5bd68; }
    pre .bg.yellow.bright   { background-color: #f0c674; }
    pre .bg.blue.bright     { background-color: #81a2be; }
    pre .bg.magenta.bright  { background-color: #b294bb; }
    pre .bg.cyan.bright     { background-color: #8abeb7; }
    pre .bg.white.bright    { background-color: #ffffff; }
  </style>

  <foreignObject x="0" y="0" width="882" height="335">
    <div xmlns="http://www.w3.org/1999/xhtml">
      <pre><span class="fg red bold bright">error[E0308]</span><span class="bold bright">: `case` clauses have incompatible types</span>
   <span class="fg blue">┌─</span> FizzBuzz.fun:16:16
   <span class="fg blue">│</span>  
<span class="fg blue">10</span> <span class="fg blue">│</span>   fizz₂ : Nat → String
   <span class="fg blue">│</span>                 <span class="fg blue">------</span> <span class="fg blue">expected type `String` found here</span>
<span class="fg blue">11</span> <span class="fg blue">│</span>   fizz₂ num =
<span class="fg blue">12</span> <span class="fg blue">│</span> <span class="fg blue">╭</span>     case (mod num 5) (mod num 3) of
<span class="fg blue">13</span> <span class="fg blue">│</span> <span class="fg blue">│</span>         0 0 =&gt; "FizzBuzz"
   <span class="fg blue">│</span> <span class="fg blue">│</span>                <span class="fg blue">----------</span> <span class="fg blue">this is found to be of type `String`</span>
<span class="fg blue">14</span> <span class="fg blue">│</span> <span class="fg blue">│</span>         0 _ =&gt; "Fizz"
   <span class="fg blue">│</span> <span class="fg blue">│</span>                <span class="fg blue">------</span> <span class="fg blue">this is found to be of type `String`</span>
<span class="fg blue">15</span> <span class="fg blue">│</span> <span class="fg blue">│</span>         _ 0 =&gt; "Buzz"
   <span class="fg blue">│</span> <span class="fg blue">│</span>                <span class="fg blue">------</span> <span class="fg blue">this is found to be of type `String`</span>
<span class="fg blue">16</span> <span class="fg blue">│</span> <span class="fg blue">│</span>         _ _ =&gt; <span class="fg red">num</span>
   <span class="fg blue">│</span> <span class="fg blue">│</span>                <span class="fg red">^^^</span> <span class="fg red">expected `String`, found `Nat`</span>
   <span class="fg blue">│</span> <span class="fg blue">╰</span><span class="fg blue">──────────────────' `case` clauses have incompatible types</span>
   <span class="fg blue">│</span>  
   <span class="fg blue">=</span> expected type `String`
        found type `Nat`

</pre>
    </div>
  </foreignObject>
</svg>