Skip to content

Commit 1f1b46a

Browse files
Repo AssistCopilot
authored andcommitted
Change DtdProcessing default to Ignore (opt-out instead of opt-in)
Users who want strict DTD prohibition can opt-out via DtdProcessing="Prohibit". Update snapshot files and test defaults to reflect new default. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
1 parent 5dcde5f commit 1f1b46a

File tree

85 files changed

+580
-580
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

85 files changed

+580
-580
lines changed

src/FSharp.Data.DesignTime/Xml/XmlProvider.fs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -199,7 +199,7 @@ type public XmlProvider(cfg: TypeProviderConfig) as this =
199199
parameterDefaultValue = InferenceMode.BackwardCompatible
200200
)
201201
ProvidedStaticParameter("PreferDateOnly", typeof<bool>, parameterDefaultValue = false)
202-
ProvidedStaticParameter("DtdProcessing", typeof<string>, parameterDefaultValue = "Prohibit") ]
202+
ProvidedStaticParameter("DtdProcessing", typeof<string>, parameterDefaultValue = "Ignore") ]
203203

204204
let helpText =
205205
"""<summary>Typed representation of a XML file.</summary>
@@ -224,7 +224,7 @@ type public XmlProvider(cfg: TypeProviderConfig) as this =
224224
Note inline schemas are not used from Xsd documents.
225225
</param>
226226
<param name='PreferDateOnly'>When true on .NET 6+, date-only strings are inferred as DateOnly and time-only strings as TimeOnly. Defaults to false for backward compatibility.</param>
227-
<param name='DtdProcessing'>Controls how DTD declarations in the XML are handled. Accepted values: "Prohibit" (default, throws on any DTD), "Ignore" (silently skips DTD processing, safe for most cases), "Parse" (enables full DTD processing including entity expansion, use with caution).</param>"""
227+
<param name='DtdProcessing'>Controls how DTD declarations in the XML are handled. Accepted values: "Ignore" (default, silently skips DTD processing, safe for most cases), "Prohibit" (throws on any DTD declaration), "Parse" (enables full DTD processing including entity expansion, use with caution).</param>"""
228228

229229

230230
do xmlProvTy.AddXmlDoc helpText

tests/FSharp.Data.DesignTime.Tests/TypeProviderInstantiation.fs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -250,7 +250,7 @@ type internal TypeProviderInstantiation =
250250
Schema = args.[6]
251251
InferenceMode = args.[7] |> InferenceMode.Parse
252252
PreferDateOnly = false
253-
DtdProcessing = "Prohibit" }
253+
DtdProcessing = "Ignore" }
254254
| "Json" ->
255255
// Handle special case for Schema.json tests where some fields might be empty
256256
if args.Length > 5 && not (String.IsNullOrEmpty(args.[5])) then

tests/FSharp.Data.DesignTime.Tests/expected/Xml,,False,False,,False,homonim.xsd,BackwardCompatible.expected

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
11
class XmlProvider : obj
22
static member AsyncLoad: uri:string -> XmlProvider+X async
3-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Prohibit"))
3+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Ignore"))
44
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XSD" "" uri), f)
55

66
static member GetSchema: () -> System.Xml.Schema.XmlSchemaSet
77
(XmlSchema.parseSchemaFromTextReader "" FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XSD" "" "homonim.xsd")))
88

99
static member Load: stream:System.IO.Stream -> XmlProvider+X
10-
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Prohibit")
10+
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Ignore")
1111

1212
static member Load: reader:System.IO.TextReader -> XmlProvider+X
13-
XmlElement.Create(reader, "Prohibit")
13+
XmlElement.Create(reader, "Ignore")
1414

1515
static member Load: uri:string -> XmlProvider+X
16-
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XSD" "" uri)), "Prohibit")
16+
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XSD" "" uri)), "Ignore")
1717

1818
static member Parse: text:string -> XmlProvider+X
19-
XmlElement.Create(((new StringReader(text)) :> TextReader), "Prohibit")
19+
XmlElement.Create(((new StringReader(text)) :> TextReader), "Ignore")
2020

2121

2222
class XmlProvider+X : FDR.BaseTypes.XmlElement

tests/FSharp.Data.DesignTime.Tests/expected/Xml,,False,False,,False,po.xsd,BackwardCompatible.expected

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,22 @@
11
class XmlProvider : obj
22
static member AsyncLoad: uri:string -> XmlProvider+PurchaseOrder async
3-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Prohibit"))
3+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Ignore"))
44
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XSD" "" uri), f)
55

66
static member GetSchema: () -> System.Xml.Schema.XmlSchemaSet
77
(XmlSchema.parseSchemaFromTextReader "" FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XSD" "" "po.xsd")))
88

99
static member Load: stream:System.IO.Stream -> XmlProvider+PurchaseOrder
10-
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Prohibit")
10+
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Ignore")
1111

1212
static member Load: reader:System.IO.TextReader -> XmlProvider+PurchaseOrder
13-
XmlElement.Create(reader, "Prohibit")
13+
XmlElement.Create(reader, "Ignore")
1414

1515
static member Load: uri:string -> XmlProvider+PurchaseOrder
16-
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XSD" "" uri)), "Prohibit")
16+
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XSD" "" uri)), "Ignore")
1717

1818
static member Parse: text:string -> XmlProvider+PurchaseOrder
19-
XmlElement.Create(((new StringReader(text)) :> TextReader), "Prohibit")
19+
XmlElement.Create(((new StringReader(text)) :> TextReader), "Ignore")
2020

2121

2222
class XmlProvider+PurchaseOrder : FDR.BaseTypes.XmlElement

tests/FSharp.Data.DesignTime.Tests/expected/Xml,AnyFeed.xml,True,False,,True,,BackwardCompatible.expected

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,26 @@
11
class XmlProvider : obj
22
static member AsyncGetSamples: () -> XmlProvider+XmlProvider+Choice[] async
3-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.CreateList(t, "Prohibit"))
3+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.CreateList(t, "Ignore"))
44
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml"), f)
55

66
static member AsyncLoad: uri:string -> XmlProvider+Choice async
7-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Prohibit"))
7+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Ignore"))
88
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri), f)
99

1010
static member GetSamples: () -> XmlProvider+XmlProvider+Choice[]
11-
XmlElement.CreateList(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml")), "Prohibit")
11+
XmlElement.CreateList(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml")), "Ignore")
1212

1313
static member Load: stream:System.IO.Stream -> XmlProvider+Choice
14-
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Prohibit")
14+
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Ignore")
1515

1616
static member Load: reader:System.IO.TextReader -> XmlProvider+Choice
17-
XmlElement.Create(reader, "Prohibit")
17+
XmlElement.Create(reader, "Ignore")
1818

1919
static member Load: uri:string -> XmlProvider+Choice
20-
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Prohibit")
20+
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Ignore")
2121

2222
static member Parse: text:string -> XmlProvider+Choice
23-
XmlElement.Create(((new StringReader(text)) :> TextReader), "Prohibit")
23+
XmlElement.Create(((new StringReader(text)) :> TextReader), "Ignore")
2424

2525

2626
class XmlProvider+Choice : FDR.BaseTypes.XmlElement

tests/FSharp.Data.DesignTime.Tests/expected/Xml,AnyFeed.xml,True,False,,True,,ValuesAndInlineSchemasHints.expected

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,26 @@
11
class XmlProvider : obj
22
static member AsyncGetSamples: () -> XmlProvider+XmlProvider+Choice[] async
3-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.CreateList(t, "Prohibit"))
3+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.CreateList(t, "Ignore"))
44
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml"), f)
55

66
static member AsyncLoad: uri:string -> XmlProvider+Choice async
7-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Prohibit"))
7+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Ignore"))
88
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri), f)
99

1010
static member GetSamples: () -> XmlProvider+XmlProvider+Choice[]
11-
XmlElement.CreateList(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml")), "Prohibit")
11+
XmlElement.CreateList(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml")), "Ignore")
1212

1313
static member Load: stream:System.IO.Stream -> XmlProvider+Choice
14-
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Prohibit")
14+
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Ignore")
1515

1616
static member Load: reader:System.IO.TextReader -> XmlProvider+Choice
17-
XmlElement.Create(reader, "Prohibit")
17+
XmlElement.Create(reader, "Ignore")
1818

1919
static member Load: uri:string -> XmlProvider+Choice
20-
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Prohibit")
20+
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Ignore")
2121

2222
static member Parse: text:string -> XmlProvider+Choice
23-
XmlElement.Create(((new StringReader(text)) :> TextReader), "Prohibit")
23+
XmlElement.Create(((new StringReader(text)) :> TextReader), "Ignore")
2424

2525

2626
class XmlProvider+Choice : FDR.BaseTypes.XmlElement

tests/FSharp.Data.DesignTime.Tests/expected/Xml,AnyFeed.xml,True,False,,True,,ValuesAndInlineSchemasOverrides.expected

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,26 @@
11
class XmlProvider : obj
22
static member AsyncGetSamples: () -> XmlProvider+XmlProvider+Choice[] async
3-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.CreateList(t, "Prohibit"))
3+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.CreateList(t, "Ignore"))
44
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml"), f)
55

66
static member AsyncLoad: uri:string -> XmlProvider+Choice async
7-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Prohibit"))
7+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Ignore"))
88
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri), f)
99

1010
static member GetSamples: () -> XmlProvider+XmlProvider+Choice[]
11-
XmlElement.CreateList(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml")), "Prohibit")
11+
XmlElement.CreateList(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml")), "Ignore")
1212

1313
static member Load: stream:System.IO.Stream -> XmlProvider+Choice
14-
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Prohibit")
14+
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Ignore")
1515

1616
static member Load: reader:System.IO.TextReader -> XmlProvider+Choice
17-
XmlElement.Create(reader, "Prohibit")
17+
XmlElement.Create(reader, "Ignore")
1818

1919
static member Load: uri:string -> XmlProvider+Choice
20-
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Prohibit")
20+
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Ignore")
2121

2222
static member Parse: text:string -> XmlProvider+Choice
23-
XmlElement.Create(((new StringReader(text)) :> TextReader), "Prohibit")
23+
XmlElement.Create(((new StringReader(text)) :> TextReader), "Ignore")
2424

2525

2626
class XmlProvider+Choice : FDR.BaseTypes.XmlElement

tests/FSharp.Data.DesignTime.Tests/expected/Xml,AnyFeed.xml,True,False,,True,,ValuesOnly.expected

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,26 @@
11
class XmlProvider : obj
22
static member AsyncGetSamples: () -> XmlProvider+XmlProvider+Choice[] async
3-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.CreateList(t, "Prohibit"))
3+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.CreateList(t, "Ignore"))
44
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml"), f)
55

66
static member AsyncLoad: uri:string -> XmlProvider+Choice async
7-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Prohibit"))
7+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Ignore"))
88
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri), f)
99

1010
static member GetSamples: () -> XmlProvider+XmlProvider+Choice[]
11-
XmlElement.CreateList(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml")), "Prohibit")
11+
XmlElement.CreateList(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "AnyFeed.xml")), "Ignore")
1212

1313
static member Load: stream:System.IO.Stream -> XmlProvider+Choice
14-
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Prohibit")
14+
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Ignore")
1515

1616
static member Load: reader:System.IO.TextReader -> XmlProvider+Choice
17-
XmlElement.Create(reader, "Prohibit")
17+
XmlElement.Create(reader, "Ignore")
1818

1919
static member Load: uri:string -> XmlProvider+Choice
20-
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Prohibit")
20+
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Ignore")
2121

2222
static member Parse: text:string -> XmlProvider+Choice
23-
XmlElement.Create(((new StringReader(text)) :> TextReader), "Prohibit")
23+
XmlElement.Create(((new StringReader(text)) :> TextReader), "Ignore")
2424

2525

2626
class XmlProvider+Choice : FDR.BaseTypes.XmlElement

tests/FSharp.Data.DesignTime.Tests/expected/Xml,HtmlBody.xml,False,False,,True,,BackwardCompatible.expected

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,26 @@
11
class XmlProvider : obj
22
static member AsyncGetSample: () -> XmlProvider+Div async
3-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Prohibit"))
3+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Ignore"))
44
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "HtmlBody.xml"), f)
55

66
static member AsyncLoad: uri:string -> XmlProvider+Div async
7-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Prohibit"))
7+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Ignore"))
88
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri), f)
99

1010
static member GetSample: () -> XmlProvider+Div
11-
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "HtmlBody.xml")), "Prohibit")
11+
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "HtmlBody.xml")), "Ignore")
1212

1313
static member Load: stream:System.IO.Stream -> XmlProvider+Div
14-
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Prohibit")
14+
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Ignore")
1515

1616
static member Load: reader:System.IO.TextReader -> XmlProvider+Div
17-
XmlElement.Create(reader, "Prohibit")
17+
XmlElement.Create(reader, "Ignore")
1818

1919
static member Load: uri:string -> XmlProvider+Div
20-
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Prohibit")
20+
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Ignore")
2121

2222
static member Parse: text:string -> XmlProvider+Div
23-
XmlElement.Create(((new StringReader(text)) :> TextReader), "Prohibit")
23+
XmlElement.Create(((new StringReader(text)) :> TextReader), "Ignore")
2424

2525

2626
class XmlProvider+Div : FDR.BaseTypes.XmlElement

tests/FSharp.Data.DesignTime.Tests/expected/Xml,HtmlBody.xml,False,False,,True,,ValuesAndInlineSchemasHints.expected

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,26 +1,26 @@
11
class XmlProvider : obj
22
static member AsyncGetSample: () -> XmlProvider+Div async
3-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Prohibit"))
3+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Ignore"))
44
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "HtmlBody.xml"), f)
55

66
static member AsyncLoad: uri:string -> XmlProvider+Div async
7-
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Prohibit"))
7+
let f = new Func<_,_>(fun (t:TextReader) -> XmlElement.Create(t, "Ignore"))
88
TextRuntime.AsyncMap((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri), f)
99

1010
static member GetSample: () -> XmlProvider+Div
11-
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "HtmlBody.xml")), "Prohibit")
11+
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntimeWithDesignTimeRules "<RESOLUTION_FOLDER>" "" "XML" "" "HtmlBody.xml")), "Ignore")
1212

1313
static member Load: stream:System.IO.Stream -> XmlProvider+Div
14-
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Prohibit")
14+
XmlElement.Create(((new StreamReader(stream)) :> TextReader), "Ignore")
1515

1616
static member Load: reader:System.IO.TextReader -> XmlProvider+Div
17-
XmlElement.Create(reader, "Prohibit")
17+
XmlElement.Create(reader, "Ignore")
1818

1919
static member Load: uri:string -> XmlProvider+Div
20-
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Prohibit")
20+
XmlElement.Create(FSharpAsync.RunSynchronously((IO.asyncReadTextAtRuntime false "<RESOLUTION_FOLDER>" "" "XML" "" uri)), "Ignore")
2121

2222
static member Parse: text:string -> XmlProvider+Div
23-
XmlElement.Create(((new StringReader(text)) :> TextReader), "Prohibit")
23+
XmlElement.Create(((new StringReader(text)) :> TextReader), "Ignore")
2424

2525

2626
class XmlProvider+Div : FDR.BaseTypes.XmlElement

0 commit comments

Comments
 (0)