[racket] importing signatures

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Mon Jul 26 14:10:26 EDT 2010

On Mon, Jul 26, 2010 at 1:55 PM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> Here's the file "sig":
>
>  #lang racket
>  (define-signature Foo (make-foo foo?))

(provide Foo)

> Here's another file:
>
>  #lang racket/unit
>  (require "sig")
>  (import)
>  (export Foo)
>  (define-struct foo ())
>
> When I execute this, I get
>
>  define-unit: unknown signature in: Foo
>
> I would have thought that the the signature is precisely what the
> (require "sig") line would have imported.  I must be missing something
> in the grammar -- anyone?
>
> Shriram


Posted on the users mailing list.