Zelphir Kaltstahl
fc4850f1dc
add contracts
|
преди 1 година | |
|---|---|---|
| .. | ||
| ck-base.scm | преди 1 година | |
| ck-extra.scm | преди 1 година | |
| contract.scm | преди 1 година | |
| exceptions.scm | преди 1 година | |
| readme.org | преди 1 година | |
| test.scm | преди 1 година | |
readme.org
About
This example contains an implementation of a contract system. It uses CK style macros to implement contracts. 1[Oleg Kiselyov's page about them]]]
This is still work in progress.
TODO Usage
See test.scm for usage examples.
To do [0/1]
TODO Consider using (use-modules (system base ck)) CK macros
Apparently Guile already has the CK macro stuff built-in. Consider switching to that, instead of defining them in this repository.
- DEFINITION NOT FOUND