Zelphir Kaltstahl 480d0a911b use new contract lib and get rid of shell script 2 роки тому
..
ck-base.scm 480d0a911b use new contract lib and get rid of shell script 2 роки тому
ck-extra.scm 480d0a911b use new contract lib and get rid of shell script 2 роки тому
contract.scm 480d0a911b use new contract lib and get rid of shell script 2 роки тому
exceptions.scm 480d0a911b use new contract lib and get rid of shell script 2 роки тому
readme.org 480d0a911b use new contract lib and get rid of shell script 2 роки тому
test.log 480d0a911b use new contract lib and get rid of shell script 2 роки тому
test.scm 480d0a911b use new contract lib and get rid of shell script 2 роки тому

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