annotate tests/subs_sig.urs @ 1168:69f1d39d3f2d

Use COALESCE to hide NULL results of aggregate functions; fix bug with improper ordering of query result columns
author Adam Chlipala <adamc@hcoop.net>
date Thu, 25 Feb 2010 14:55:35 -0500
parents 71bafe66dbe1
children
rev   line source
adamc@65 1 signature S = sig
adamc@65 2 type t
adamc@65 3 end
adamc@65 4
adamc@65 5 structure S : S