• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1<svg viewBox="0 0 882 335" xmlns="http://www.w3.org/2000/svg">
2  <style>
3    /* https://github.com/aaron-williamson/base16-alacritty/blob/master/colors/base16-tomorrow-night-256.yml */
4    pre {
5      background: #1d1f21;
6      margin: 0;
7      padding: 10px;
8      border-radius: 6px;
9      color: #ffffff;
10      font: 12px SFMono-Regular, Consolas, Liberation Mono, Menlo, monospace;
11    }
12
13    pre .bold { font-weight: bold; }
14
15    pre .fg.black   { color: #1d1f21; }
16    pre .fg.red     { color: #cc6666; }
17    pre .fg.green   { color: #b5bd68; }
18    pre .fg.yellow  { color: #f0c674; }
19    pre .fg.blue    { color: #81a2be; }
20    pre .fg.magenta { color: #b294bb; }
21    pre .fg.cyan    { color: #8abeb7; }
22    pre .fg.white   { color: #c5c8c6; }
23
24    pre .fg.black.bright    { color: #969896; }
25    pre .fg.red.bright      { color: #cc6666; }
26    pre .fg.green.bright    { color: #b5bd68; }
27    pre .fg.yellow.bright   { color: #f0c674; }
28    pre .fg.blue.bright     { color: #81a2be; }
29    pre .fg.magenta.bright  { color: #b294bb; }
30    pre .fg.cyan.bright     { color: #8abeb7; }
31    pre .fg.white.bright    { color: #ffffff; }
32
33    pre .bg.black   { background-color: #1d1f21; }
34    pre .bg.red     { background-color: #cc6666; }
35    pre .bg.green   { background-color: #b5bd68; }
36    pre .bg.yellow  { background-color: #f0c674; }
37    pre .bg.blue    { background-color: #81a2be; }
38    pre .bg.magenta { background-color: #b294bb; }
39    pre .bg.cyan    { background-color: #8abeb7; }
40    pre .bg.white   { background-color: #c5c8c6; }
41
42    pre .bg.black.bright    { background-color: #969896; }
43    pre .bg.red.bright      { background-color: #cc6666; }
44    pre .bg.green.bright    { background-color: #b5bd68; }
45    pre .bg.yellow.bright   { background-color: #f0c674; }
46    pre .bg.blue.bright     { background-color: #81a2be; }
47    pre .bg.magenta.bright  { background-color: #b294bb; }
48    pre .bg.cyan.bright     { background-color: #8abeb7; }
49    pre .bg.white.bright    { background-color: #ffffff; }
50  </style>
51
52  <foreignObject x="0" y="0" width="882" height="335">
53    <div xmlns="http://www.w3.org/1999/xhtml">
54      <pre><span class="fg red bold bright">error[E0308]</span><span class="bold bright">: `case` clauses have incompatible types</span>
55   <span class="fg blue">┌─</span> FizzBuzz.fun:16:16
56   <span class="fg blue">│</span>
57<span class="fg blue">10</span> <span class="fg blue">│</span>   fizz₂ : Nat → String
58   <span class="fg blue">│</span>                 <span class="fg blue">------</span> <span class="fg blue">expected type `String` found here</span>
59<span class="fg blue">11</span> <span class="fg blue">│</span>   fizz₂ num =
60<span class="fg blue">12</span> <span class="fg blue">│</span> <span class="fg blue">╭</span>     case (mod num 5) (mod num 3) of
61<span class="fg blue">13</span> <span class="fg blue">│</span> <span class="fg blue">│</span>         0 0 =&gt; "FizzBuzz"
62   <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>
63<span class="fg blue">14</span> <span class="fg blue">│</span> <span class="fg blue">│</span>         0 _ =&gt; "Fizz"
64   <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>
65<span class="fg blue">15</span> <span class="fg blue">│</span> <span class="fg blue">│</span>         _ 0 =&gt; "Buzz"
66   <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>
67<span class="fg blue">16</span> <span class="fg blue">│</span> <span class="fg blue">│</span>         _ _ =&gt; <span class="fg red">num</span>
68   <span class="fg blue">│</span> <span class="fg blue">│</span>                <span class="fg red">^^^</span> <span class="fg red">expected `String`, found `Nat`</span>
69   <span class="fg blue">│</span> <span class="fg blue">╰</span><span class="fg blue">──────────────────' `case` clauses have incompatible types</span>
70   <span class="fg blue">│</span>
71   <span class="fg blue">=</span> expected type `String`
72        found type `Nat`
73
74</pre>
75    </div>
76  </foreignObject>
77</svg>
78