Idris/ssg
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Setup golden value testing

Browse source
This commit is contained in:
Nathan McCarty 2025-02-21 15:29:25 -05:00
parent 4e83ca8d48
commit 72b102d071
10 changed files with 50 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

16
test/djot-to-html/001-hello-world/Main.idr Normal file
View file

@ -0,0 +1,16 @@
module Main
import SSG.Djot
import SSG.HTML
import System
import System.File
main : IO ()
main = do
Right contents <- readFile "test.dj"
| Left err => do
printLn err
exitFailure
let parsed = djot contents
putStr . render . renderHtml $ parsed

6
test/djot-to-html/001-hello-world/expected Normal file
View file

@ -0,0 +1,6 @@
<!DOCTYPE HTML>
<html lang=en>
<body>
<p>Hello World!</p>
</body>
</html>

6
test/djot-to-html/001-hello-world/run Normal file
View file

@ -0,0 +1,6 @@
rm -rf build/
flock "$1" pack -q install-deps test.ipkg
pack -q run test.ipkg
rm -rf build/

1
test/djot-to-html/001-hello-world/test.dj Normal file
View file

@ -0,0 +1 @@
Hello World!

7
test/djot-to-html/001-hello-world/test.ipkg Normal file
View file

@ -0,0 +1,7 @@
package a-test
depends = SSG
main = Main
executable = test