Add an optional explanation string to `inv` (module `Invariant`)

queirozfcom / rachinations

Other

2 stars 0 forks source link

Add an optional explanation string to `inv` (module `Invariant`) #51

Closed queirozfcom closed 9 years ago

queirozfcom commented 9 years ago

Emulating the behaviour of other programming languages (e.g. Scala's require) :clap:), it should be possible to add an optional string in order to explain why a inv-type assertion (see module Invariant was declared.

queirozfcom commented 9 years ago

e9e1819d890c54fd3e054224ef6a71b44906e106