* Edwin Brady [2005-01-25 18:30]: > On Tue, Jan 25, 2005 at 05:49:10PM +0100, Sebastian Hanowski wrote: > > To me it's obvious that if i'll specify which things i expect in a data > > structure, i intend to compute with them hence will inspect them. But > > the signature doesn't suffice to communicate this to the elaborator. > > It is perhaps obvious that you intend to compute with them, but it isn't so > obvious how. Case analysis is just one thing you might want to do - you may > also for example want to call a helper function, or use a view.
Ah yes, i remember, there are more ways to examine things than breaking them to pieces. Seems i'm somehow stuck with my 'case study'. Thanks, Sebastian
