Hello Alan, Thursday, October 19, 2006, 5:54:06 PM, you wrote:
> I propose that haskell' include a standard syntax for invariants that > the programmer wants to express. > The intent is not to have standardized checks on the invariants, its > just to supply a common way to specify invariants to that the various > strategies for checking them can all work from the same data. For > example, one tool might use the invariants to generate QuickCheck > properties seems that it should be a sort of annotation, yes? so we again need to define common annotation syntax and you can add this as one more possible usage to annotations-proposal page -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime