>>>>> "A" == =?iso-8859-1?Q?Aleksi Niemel=E4?= <iso-8859-1> writes:

A> it seems to me you've created some small module to provide simple interface
A> to provide invariants and pre&post-condition checks.

  Yes, this is just a simple interface to pre&post conditions.

A>                                                       However it would be
A> much nicer for all if you provide a small description what is FL, 

 In french, the prononciation for FL is the same than Eiffel :-)

A> Otherwise, I might comment that the api seems clean, but can't say how
A> "complete" it is.

 * many bugs :-)
 * I don't know how to do a 'retry' in the post-condition
 * work only with 1.4
 * it's just a toy.


Guy Decoux