Add 'len <expr>' operator.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 23 Feb 2012 14:56:05 +0000 (14:56 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 23 Feb 2012 14:56:05 +0000 (14:56 +0000)
commit5c7aa66dbdb32b4fc11d0f72a4cc028c7bfb1b55
tree30ede437ed28af1ee3540cf3a53ddf77b2885d09
parent108dd86b36e82df2a2029dbd12700f9c83e501c1
Add 'len <expr>' operator.
lib/whenexpr.ml
lib/whenexpr.mli
tools/whenjobs.pod