{-------------------------------------------------------------- - - 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