Zelphir Kaltstahl fc4850f1dc add contracts 1 年之前
..
ck-base.scm fc4850f1dc add contracts 1 年之前
ck-extra.scm fc4850f1dc add contracts 1 年之前
contract.scm fc4850f1dc add contracts 1 年之前
exceptions.scm fc4850f1dc add contracts 1 年之前
readme.org fc4850f1dc add contracts 1 年之前
test.scm fc4850f1dc add contracts 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.


  1. DEFINITION NOT FOUND