Simple Test <body> <h1>Hello {name}!</h1> <p> Bye! <p>Bye! <h2>{reverse name} Bye!'' htmlDoc1 :: [StaticHtml] htmlDoc1 = [htmlStruct "html" [] [htmlStruct "head" [] [htmlStruct "title" [] [htmlText "Simple Test\n"]], htmlStruct "body" [] [htmlStruct "h1" [] [htmlText "Hello ", htmlText "Joe", htmlText "!"], htmlStruct "p" [] [htmlText "Bye!\n"], htmlStruct "p" [] [htmlText "Bye!\n"], htmlStruct "h2" [] [htmlText "eoJ", htmlText "\n"], htmlText "Bye!"]]] ------------------------------------------------------------------------------ test_Html_code :: Prop test_Html_code = always (htmlTest1 "Joe" == htmlDoc1)

{-# OPTIONS_FRONTEND -F --pgmF=currypp --optF=foreigncode #-} ------------------------------------------------------------------------------ --- This program contains tests for integrated code to support --- easy writing of HTML code in Curry programs. ------------------------------------------------------------------------------ import HTML.Base import Test.Prop htmlTest1 :: String -> [StaticHtml] htmlTest1 name = ``html Simple Test <body> <h1>Hello {name}!</h1> <p> Bye! <p>Bye! <h2>{reverse name} Bye!'' htmlDoc1 :: [StaticHtml] htmlDoc1 = [htmlStruct "html" [] [htmlStruct "head" [] [htmlStruct "title" [] [htmlText "Simple Test\n"]], htmlStruct "body" [] [htmlStruct "h1" [] [htmlText "Hello ", htmlText "Joe", htmlText "!"], htmlStruct "p" [] [htmlText "Bye!\n"], htmlStruct "p" [] [htmlText "Bye!\n"], htmlStruct "h2" [] [htmlText "eoJ", htmlText "\n"], htmlText "Bye!"]]] ------------------------------------------------------------------------------ test_Html_code :: Prop test_Html_code = always (htmlTest1 "Joe" == htmlDoc1)