add more tests

This commit is contained in:
Eduard Nicodei 2024-06-22 14:02:40 +01:00
parent 25ce29301b
commit 7108787a5a
2 changed files with 36 additions and 1 deletions

View File

@ -24,7 +24,7 @@ So we can see the pretty-printed output:
☝️
I added 107 definitions to the top of scratch.u
I added 108 definitions to the top of scratch.u
You can edit them there, then run `update` to replace the
definitions currently in this namespace.
@ -384,6 +384,29 @@ fix_4729b =
}}
fix_4729c : Doc2
fix_4729c =
{{
# Examples ``
docCallout
(Some
(syntax.docUntitledSection
[syntax.docSection (syntax.docParagraph [syntax.docWord "Title"]) []]))
(syntax.docUntitledSection
[ syntax.docParagraph
[ syntax.docWord "This"
, syntax.docWord "is"
, syntax.docWord "a"
, syntax.docWord "callout"
, syntax.docWord "with"
, syntax.docWord "a"
, syntax.docWord "title"
]
]) ``
}}
Fix_525.bar.quaffle : Nat
Fix_525.bar.quaffle = 32

View File

@ -572,3 +572,15 @@ fix_4729b = {{
## H2A
}}
fix_4729c = {{
# Examples
```
docCallout
(Some
{{
# Title
}}) {{ This is a callout with a title }}
```
}}