David MENTRE <dmen...@linux-france.org> writes: > Hello, > > 2012/3/9 Goswin von Brederlow <goswin-...@web.de>: >> I found myself in a situation where I needed to fill in a dummy Sha1.t >> into a record to initialize an array. I didn't want to use an Sha1.t >> option because the value is only every invalid during initialization >> and an option type would mean extracting from "Some x" at every other >> place. >> >> The attached patch adds a Sha*.zero value that can be used for this >> purpose. > > Why don't you define this Sha1.zero value in your code and use it > there? This patch seems to me very specific to your code and of > dubious use in a library. > > Best regards, > david
I can't because the Sha1.t is abstract. MfG Goswin -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org