Re: Type Transcriptions

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Mon, 21 Apr 2014 18:54:23 +0200, Brad Moore <brad.moore@shaw.ca> a  
écrit:

> I'd suggest trying to make GenericAEADCipher a discriminated record  
> type, with the two length values as the discriminants, and then the  
> arrays are sized using the discriminants. No Generics needed.
>
> Brad
>

I guess Shark8 would already have figured it if this could be as simple.  
He says this, which is important: “certain class of record-type is  
dependent on the values in another record, yet distinctly separate”. With  
two separated things, a discriminant is not applicable. Or may be I've not  
understood.

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University