(declare (unit bar-v) (strict-types) (block)) (module bar-v () (import (prefix bar b:)) (import scheme chicken) (define six 6) (define (set-six! x) (set! six x)) (b:s-set-six! set-six!) (: bar (fixnum --> fixnum)) (define (bar x) (+ x six)) (b:s-bar! bar) )