chicken-type-extensions

Miscellaneous extensions for the CHICKEN type system.

Description

This extension adds support for complex type abbreviations to CHICKEN's native define-type form.

$ cat pair-of.scm
(define-type (pair-of a) (pair a a))

(: pair (forall (a) (a -> (pair-of a))))
(define (pair x) (cons x x))

(compiler-typecase (pair 1)
  ((pair-of fixnum)
   (print '(pair-of fixnum)))
  (else
   (print 'else)))

$ csc -X type-extensions pair-of.scm
$ ./pair-of
(pair-of fixnum)

Requirements

Installation

$ git clone http://git.foldling.org/chicken-type-extensions.git
$ cd chicken-type-extensions
$ chicken-install

Usage

Load type-extensions as a compiler extension with the -extend flag to csc(1):

$ csc -extend type-extensions <file>

Documentation is available at chickadee and on the CHICKEN wiki.

Author

Evan Hanson evhan@foldling.org

License

BSD. See LICENSE for details.