diff options
author | Per Bothner <per@bothner.com> | 2017-05-15 11:43:45 -0700 |
---|---|---|
committer | Per Bothner <per@bothner.com> | 2017-05-15 11:46:42 -0700 |
commit | 744f8eaca27bb454bac0d73a697fffe51abb9124 (patch) | |
tree | fd526032047721de49edb32bec4b3a9cbfb01ed7 | |
parent | 4b5e4d2ee3bf25c83ff4a38e6e83e25df1f9d25d (diff) |
* NodeConstructor.java (isSideEffectFree): New method.kawa-2.4
Fixes bug reported by Damien MATTEI <damien.mattei@oca.eu>,
-rw-r--r-- | gnu/kawa/xml/ChangeLog | 10 | ||||
-rw-r--r-- | gnu/kawa/xml/NodeConstructor.java | 2 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gnu/kawa/xml/ChangeLog b/gnu/kawa/xml/ChangeLog index 392e431fd..16acbb1be 100644 --- a/gnu/kawa/xml/ChangeLog +++ b/gnu/kawa/xml/ChangeLog @@ -1,3 +1,13 @@ +2017-05-15 Per Bothner <per@bothner.com> + + * NodeConstructor.java (isSideEffectFree): New method. + Fixes bug reported by Damien MATTEI <damien.mattei@oca.eu>, + +2016-11-28 Per Bothner <per@bothner.com> + + * XDataType.java (cast): Allow casting from CharSequence, + not just String. + 2016-10-29 Per Bothner <per@bothner.com> * KNode.java (toString): Default to "xhtml" style. diff --git a/gnu/kawa/xml/NodeConstructor.java b/gnu/kawa/xml/NodeConstructor.java index 57db39328..509098592 100644 --- a/gnu/kawa/xml/NodeConstructor.java +++ b/gnu/kawa/xml/NodeConstructor.java @@ -125,6 +125,8 @@ implements Inlineable return KNode.make((NodeTree) filter.out); } + public boolean isSideEffectFree() { return true; } + public void compile (ApplyExp exp, Compilation comp, Target target) { if (target instanceof IgnoreTarget) |