Zelphir Kaltstahl a80eae5cff remove algorithm stuff (moved to other repository) %!s(int64=2) %!d(string=hai) anos
..
ck-base.scm ad8adb976c add c-unquote (but it is only CK's base case) %!s(int64=2) %!d(string=hai) anos
ck-extra.scm a80eae5cff remove algorithm stuff (moved to other repository) %!s(int64=2) %!d(string=hai) anos
contract.scm 7c8aad72f3 add comment %!s(int64=2) %!d(string=hai) anos
exceptions.scm a80eae5cff remove algorithm stuff (moved to other repository) %!s(int64=2) %!d(string=hai) anos
readme.org be4024a71d add note %!s(int64=2) %!d(string=hai) anos
test.scm 87b9d8673e implement rest argument cases and tests %!s(int64=2) %!d(string=hai) anos

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