packages feed

HXQ-0.19.0: tests/Validate.hs

{--------------------------------------------------------------
-
- A main program to validate dblp.xml using dblp.xsd
- Programmer: Leonidas Fegaras (fegaras@cse.uta.edu)
- Date: 09/09/2009
-
---------------------------------------------------------------}


{-# LANGUAGE TemplateHaskell #-}

module Main where

import Text.XML.HXQ.XQuery


main = do a <- validateFile "data/dblp.xml" "data/dblp.xsd"
          -- a <- $(xq "import schema default element namespace 'dblp' at 'data/dblp.xsd';    \
          --     \     (validate {doc('data/dblp.xml')})//inproceedings[2]                   ")
          putStrLn $ show a