jon.recoil.org
this repo has no description
Update extension tests to reflect installed extensions
Extensions are now properly loaded via dune-site plugin mechanism,
so tests expecting "No extensions installed" have been updated to
expect "Installed extensions:" instead.
Also enhanced extension_plugins.t to verify extension-styled output:
- Check for rfc-reference class from rfc extension
- Check for rfc-editor.org links
- Check for admonition-warning class from admonition extension
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
+1
-2
test/integration/code_block_handlers.t/run.t
+1
-2
test/integration/code_block_handlers.t/run.t
+17
-6
test/integration/extension_plugins.t/run.t
+17
-6
test/integration/extension_plugins.t/run.t
···
1
1
Test the extension plugin system.
2
2
3
3
This tests:
4
-
1. Custom tags compile without error (graceful fallback)
5
-
2. The 'odoc extensions' command works
6
-
3. Custom tags are rendered in HTML output with default handling
4
+
1. Custom tags compile without error
5
+
2. The 'odoc extensions' command lists available extensions
6
+
3. Extensions render custom tags with styled output
7
7
4. Support files mechanism works
8
8
9
9
First, compile the test module with custom tags:
···
23
23
$ odoc html-generate -o html test_extension.odocl
24
24
25
25
Test the 'odoc extensions' command.
26
-
The output depends on what extensions are installed:
26
+
Extensions are loaded via dune-site plugin mechanism:
27
27
28
28
$ odoc extensions | head -1
29
-
No extensions installed.
29
+
Installed extensions:
30
30
31
31
Check that tag content is preserved in the output.
32
32
···
40
40
$ grep -q "Some custom content here" html/test/Test_extension/index.html && echo "mytag content found"
41
41
mytag content found
42
42
43
-
The admonition.warning content should be present:
43
+
The admonition.warning content should be present with extension styling:
44
44
45
45
$ grep -q "This operation may fail" html/test/Test_extension/index.html && echo "admonition content found"
46
46
admonition content found
47
+
48
+
$ grep -q "admonition-warning" html/test/Test_extension/index.html && echo "admonition styling found"
49
+
admonition styling found
50
+
51
+
The rfc tag should produce a styled RFC reference link:
52
+
53
+
$ grep -q "rfc-reference" html/test/Test_extension/index.html && echo "rfc styling found"
54
+
rfc styling found
55
+
56
+
$ grep -q "rfc-editor.org" html/test/Test_extension/index.html && echo "rfc link found"
57
+
rfc link found
47
58
48
59
Test the support-files command works:
49
60