s.id = p.id
  var c := from TestEnt as te where te in elements(te.set) or te member of te.list and te.string = '1' and te.str = '1'
  var d := from TestEnt as te, TestEnt as te2 where te2 in elements(te.set) or te member of te2.list and te.string = '1' and te.str = '1' and te2.str = '1'

 :
    IfExp(_, ei, ee) -> <add-error(|["type ",<pp-type> te," of expression ", <pp-webdsl> ee, " is not compatible with type ",<pp-type> ti," of expression ",<pp-webdsl> ei])>
    where ti := <type-of> ei
        ; te := <type-of> ee
        ; not(<type-compatible> (ti,te))

  eq-

application test

  define page root(){
    <h1 foo="value">
    <br />
    "title"
    <bla:br/>
    <foo:h2> </foo:h2>
    </h1>
    bla("www.te\"st.test")
  }
  
  define bla(val : String){
    <a href=val>
    output(val)
    </a>
  }

// test for regressions related to drop unused templates analysis

application test

page root(){

}

template templ(){
  tmp1({ t00[] })
  output(rendertemplate(t01()))
  tmp2([({ t02[] },""),({ t03[] },"")])
}

template tmp1(t:TemplateElements){
  t
}

template tmp2(ts:[te:TemplateElements,s:String]){
  for(t in ts){
    t.te
  }
}

template t00(){
  "test00"
}

application test

  entity TestEntity{
    name :: String
  }

  define page root() {
    var st := "1"
    var ins := 3
    form{
      b(12345)  	
      submit action{ TestEntity{ name := st+ins }.save(); } {"save"}
    } 
    for(te:TestEntity){
      output(te.name)
    }

    define b(i:Int) = a(*,st,ins)
  }

  define a(i:Int, s:Ref<String>, ins: Ref<Int>){
    output(i)

 templ(b:Bool) { true }
  rule template templ(b:Bool *) { true }
  rule template templ(*) { true }
  rule template te*() { true }
  rule template te*(*) { true }
  rule template teml(u:User) { true }
  rule template templ(u:User) { true }
  rule template templ(u:User *) { true }

DerivedProperty(x, _, t, _, e)
  ; where( te := <type-of> e )
  ; not(<type-compatible> (te, t))
  ; add-error(|["The expression of the derived property ", x, " should have type ", <pp-type> t, " but has type ", <pp-type> te])

  constraint-error-data =
    ?ent@Entity(x_id, x_super, _)

|button)$/i,J=/^h\d$/i,K=/^[^{]+\{\s*\[native \w/,Z=/^(?:#([\w-]+)|(\w+)|\.([\w-]+))$/,ee=/[+~]/,te=new RegExp("\\\\[\\da-fA-F]{1,6}"+M+"?|\\\\([^\\r\

appendChild(e).id=S,!C.getElementsByName||!C.getElementsByName(S).length}),d.getById?(b.filter.ID=function(e){var t=e.replace(te,ne);return function(e){

filter.ID=function(e){var n=e.replace(te,ne);return function(e){var t="undefined"!=typeof e.getAttributeNode&&e.getAttributeNode("id");return t&&t.

_hideNextMonthArrow||!!l.maxRangeDate&&l.maxRangeDate<new Date(l.currentYear,l.currentMonth+1,1)):te();var d=D("div","dayContainer");d.appendChild(i),

currentYear+=l.currentMonth>11?1:-1,l.currentMonth=(l.currentMonth+12)%12,Q("onYearChange")),P(),Q("onMonthChange"),te(),n&&document.activeElement&&

function q(){l.config.noCalendar||l.isMobile||(A(),te(),P())}function z(e){e.preventDefault(),e.stopPropagation();var t=function e(t,n){return n(t)?t:t.

_getMinMaxDate(t,"max"),Z=t.drawMonth-V,te=t.drawYear;if(0>Z&&(Z+=12,te--),J)for(e=this._daylightSavingAdjust(new Date(J.getFullYear(),J.getMonth()-U[0]*U[1]+1,J.getDate())),e=Q&&Q>e?Q:e;this._daylightSavingAdjust(new Date(te,Z,1))>e;)Z--,0>Z&&(Z=11,te--);for(t.drawMonth=Z,t.drawYear=te,i=this._get(t,"prevText"),i=K?this.formatDate(i,this._daylightSavingAdjust(new Date(te,Z-$,1)),this._getFormatConfig(t)):i,s=this._canAdjustMonth(t,-1,te,Z)?"<a class='ui