comparison calendar.ur @ 29:93140c5cc972

Clean up dependencies and examples; add Style module
author Adam Chlipala <adam@chlipala.net>
date Sat, 12 May 2012 10:03:44 -0400
parents 5905b56e0cd9
children b5432d74841a
comparison
equal deleted inserted replaced
28:7d0014542199 29:93140c5cc972
128 | This => minf.ThisMonth 128 | This => minf.ThisMonth
129 | Next => if minf.ThisMonth = 12 then 1 else minf.ThisMonth + 1, 129 | Next => if minf.ThisMonth = 12 then 1 else minf.ThisMonth + 1,
130 Day = day} 130 Day = day}
131 in 131 in
132 cday <- SourceL.value t.Day; 132 cday <- SourceL.value t.Day;
133 return (if Record.equal thisDate cday then 133 return (if thisDate = cday then
134 <xml><td class={selday}>{[day]}</td></xml> 134 <xml><td class={selday}>{[day]}</td></xml>
135 else case month of 135 else case month of
136 This => <xml><td class={curday} 136 This => <xml><td class={curday}
137 onclick={SourceL.set t.Day thisDate}>{[day]}</td></xml> 137 onclick={SourceL.set t.Day thisDate}>{[day]}</td></xml>
138 | _ => <xml><td class={otherday}>{[day]}</td></xml>) 138 | _ => <xml><td class={otherday}>{[day]}</td></xml>)