Added xml-1.0-header.

untyped · Sep 17, 2009 · e885fc7 · e885fc7
1 parent 35eb163
commit e885fc7
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/scribblings/xml-util.scrbl b/scribblings/xml-util.scrbl
@@ -47,6 +47,13 @@ Returns @scheme[#t] if @scheme[val] is an XML fragment that will produce no rend
 
 The following XML expressions are defined for convenience:
 
+@defthing[xml-1.0-header xml]{
+An XML 1.0 header that specifies the character encoding as UTF-8:
+
+@interaction[
+  #:eval xml-eval
+ (display (xml->string xml-1.0-header))]}
+
 @defthing[xhtml-1.0-strict-doctype xml]{
 The HTML 1.0 transitional DOCTYPE, complete with newline character:
 

diff --git a/xml/util.ss b/xml/util.ss
@@ -6,6 +6,12 @@
          "struct.ss"
          (only-in "struct-internal.ss" quotable-value?))
 
+(define xml-1.0-header
+  (xml (!raw #<<ENDHEADER
+<?xml version="1.0" encoding="utf-8"?>
+ENDHEADER
+             )))
+
 ; xml
 (define xhtml-1.0-strict-doctype
   (xml (!raw #<<ENDDOCTYPE
@@ -39,6 +45,7 @@ ENDDOCTYPE
 ; Provide statements -----------------------------
 
 (provide/contract
+ [xml-1.0-header                 xml?]
  [xhtml-1.0-strict-doctype       xml?]
  [xhtml-1.0-transitional-doctype xml?]
  [xhtml-1.0-frameset-doctype     xml?]